Graph colouring, the assignment of colours to the vertices of a graph so that no two adjacent vertices share the same colour ...