NP-complete problems
Clique
Matching
Vertex cover
Tree
Circuit
Aanderaa–Karp–Rosenberg conjecture
Path decomposition
Graph theory
Theoretical computer science
Mathematics