Complexity Flashcards
P
P is the class of decision problems that can be solved by a computer in polynomial time,
P vs NP
whether every problem that can be quickly checked for a solution can also be quickly solved by a computer.
NP
NP is the class of decision problems for which a proposed solution can be verified quickly by a computer in polynomial time.
NP-Hard
A problem is NP-hard if every problem in NP can be reduced to it by a polynomial-time reduction.
NP-Complete
A problem is NP-complete if it is both NP and NP-hard.
NP-complete problems are the hardest problems within NP.
If you could solve any one NP-complete problem quickly, you could solve every problem in NP quickly.
coNP
coNP is the class of decision problems whose complements are in NP.
PSPACE
PSPACE is the class of decision problems that can be solved using polynomial space, where the amount of memory used grows at most as a polynomial function of the size of the input.
CLIQUE
The CLIQUE problem asks whether a graph contains a complete subgraph of a certain size.
L
L is the class of decision problems that can be solved by a computer using logarithmic space, where the amount of memory used grows logarithmically with the size of the input.
NL
NL is the class of decision problems for which a proposed solution can be verified using logarithmic space.
Savitchs Theorem
shows that deterministic machines can simulate
nondeterministic machines by using a surprisingly
small amount of space
PSPACE Complete
Language B is PSPACE COMPLETE if:
1. Is in PSPACE, and
2. Every A in PSPACE is polynomial-time reducible to B.