Default logic
article-link
What links here
Polynomial hierarchy
Reduction (complexity)
article-link
Alternating Turing machine
article-link
Exponential hierarchy
article-link
List of complexity classes
article-link
Arthur–Merlin protocol
article-link
PP (complexity)
article-link
P (complexity)
article-link
Complexity class
article-link
List of computability and complexity topics
article-link
List of mathematical logic topics
article-link
Richard M. Karp
article-link
Graph isomorphism
article-link
Arithmetical hierarchy
article-link
Polynomial-time reduction
article-link
NP-easy
article-link
♯P
article-link
Presburger arithmetic
article-link
Oracle machine
article-link
NP (complexity)
article-link
Co-NP
article-link
P versus NP problem
article-link
BPP (complexity)
article-link
BQP
article-link
PH (complexity)
redirect