Graph colouring (source code)

= Graph colouring
{wiki=Graph_coloring}

= Graph coloring
{synonym}

A graph colouring assigns labels called colours to graph elements subject to specified constraints. A proper vertex colouring gives adjacent vertices different colours.