NP-complete problems
Graph coloring
Graph theory
NP-complete
One-in-three 3SAT
2-satisfiability
Theoretical computer science
Mathematics
Computational complexity theory