一千萬個為什麽
搜索
理論信息學
最佳$ \ Pi_k \ text {SAT} $運行時間?
cc.complexity-theory
complexity-classes
MONOTONE WSAT可以在多項式時間內解決嗎?
cc.complexity-theory
np-complete
sat
polynomial-time
Dependent QBF有標準格式嗎?
lo.logic
sat
boolean-formulas
通過折線圖在$ N $頂點上顯示$ D $ - 正規圖的UES
graph-theory
graph-algorithms
logspace
減少功能之間的時間和空間復雜性
reference-request
reductions
space-bounded
是否有lambda術語的數據集?
lambda-calculus
data-sets
解決$ BPP $ vs $ PSPACE $的影響
cc.complexity-theory
complexity
pspace
不同形式的遺傳算法
genetic-algorithms
NP類中存在這些問題嗎?
computability
np
complexity
澄清最左邊的最大周期
string-search
無三角圖的下界
graph-theory
lower-bounds
生成樹類的NP完整性
cc.complexity-theory
np-hardness
np
如何開始學習形式語言理論
fl.formal-languages
grammars
不同“復雜性理論”與復雜系統理論的關系
cc.complexity-theory
kolmogorov-complexity
有向圖和3d網格的平面測試
graph-theory
planar-graphs
一個有效可計算的非單向置換是否可以寫成多項式易於計算的多項式的組合?
permutations
circuit-complexity
對於一個特定的無界圖靈機,它的停機問題難以辨認嗎?
turing-machines
halting-problem
universal-turing-machines
什麽是可逆自動機及其工作原理?
reversible-computing
與SMT理論相關的研究論文(特別是QF_ABV)
reference-request
sat
Multipplicative Proof Nets是一組良好形成的單一代理交互網絡的適當子集嗎?
linear-logic
interaction-nets
如果$ W [i] = W [i-1] $會有什麽後果?
cc.complexity-theory
complexity-classes
big-picture
fixed-parameter-tractable
$ DTIME(2 ^ {t(n)})$中的語言是否不在$ NTIME(t(n))$中?
complexity-classes
具有嵌套組合搜索的算法如何是準線性的?
ds.algorithms
approximation-algorithms
我們在森林中找到和斷開根的速度有多快?
tree
ds.data-structures
lower-bounds
作為仿函數的圖的色數
graph-theory
ct.category-theory
求解一組k個隱藏元素的大部分算法
cc.complexity-theory
ds.algorithms
ds.data-structures
在各種各樣的n x n棋盤遊戲中,為什麽有些有趣?
board-games
combinatorial-game-theory
防垃圾箱包裝
ds.algorithms
integer-programming
bin-packing
申請非交換Khinchine不等式
cg.comp-geom
randomized-algorithms
st.statistics
derandomization
W [1] - FPT時間近似算法的難題
ds.algorithms
approximation-algorithms
parameterized-complexity
fixed-parameter-tractable