Discussion on answer by jmite: Assuming P = NP, how would one solve the graph coloring problem in polynomial time?

Imported from a comment discussion on https://cs.stackexchange.com/questions/121710/assuming-p-np-how-would-one-solve-the-graph-coloring-problem-in-polynomial-ti/121718#121718