The 3-coloring problem
Is NP-complete