Question 71
What is the known inclusion chain for logarithmic space classes?
Logarithmic space classes satisfy nested bounds L ⊆ NL ⊆ P.
What is the known inclusion chain for logarithmic space classes?
Logarithmic space classes satisfy nested bounds L ⊆ NL ⊆ P.
In polynomial time reductions, what property must the reduction function f satisfy?
Karp reductions mandate polynomial time computability for instance transformations.
If problem A is NP-Complete and A $\le _p B$ where B ∈ NP, what is the complexity status of B?
Reducing a known NP-Complete problem A to B ∈ NP proves B is NP-Complete.
If problem A is NP-Complete and A $\le _p B (where B$ is NOT known to be in NP), what is the complexity status of B?
Demonstrating A $\le _p B establishes B as$ at least as hard as NP-Complete problems (NP-Hard).
What was the first problem proved to be NP-Complete without relying on reduction from another NP-Complete problem?
Cook and Levin directly encoded NDTM execution tableaux to prove SAT NP-Complete.