The graph coloring problem asks for a k-coloring of a given graph, if one exists.

The graph coloring problem is NP-Complete, and so currently there are no known polynomial-time solutions to the problem.