Related Tags
proofs × 88cc.complexity-theory × 16
ds.algorithms × 10
reference-request × 8
np-hardness × 7
lo.logic × 7
computability × 6
big-list × 6
complexity-classes × 5
optimization × 5
sat × 5
randomness × 5
graph-theory × 4
co.combinatorics × 4
fl.formal-languages × 4
soft-question × 4
turing-machines × 4
halting-problem × 4
big-picture × 3
p-vs-np × 3
undecidability × 3
quantum-computing × 2
automata-theory × 2
time-complexity × 2
lower-bounds × 2