Related Tags
decision-problem × 563complexity-theory × 188
np-complete × 146
np × 93
turing-machines × 78
computability × 71
algorithms × 69
reductions × 66
np-hard × 65
undecidability × 61
graphs × 26
optimization × 26
time-complexity × 25
satisfiability × 23
complexity-classes × 18
polynomial-time × 18
halting-problem × 17
p-vs-np × 17
search-problem × 17
formal-languages × 16
semi-decidability × 16
regular-languages × 14
context-free × 14
terminology × 12
finite-automata × 11