(Colouring of a graph ) A graph is -colourable if such that if . The chromatic number is defined as
One can compute chromatic number easily for simple graphs; See Section 11.7. Trivially, we have that where is the size of the largest clique (complete subgraph) in . The lower bound is trivial as each of the vertices in the clique needs to be assigned a different colour. As for the upper bound, start with the vertex of degree say . Assign and all its neighbours distinct colours. Pick an uncoloured vertex. Note that since it has at most coloured neighbours, we can assign it a new colour among distinct colours.
Further, a graph is -colourable iff we can partition into independent sets.
is -colourable if there exists an homomorphism from to .
For some motivation on chormatice number in scheduling or allocation problems, see [Sudakov 2019, Section 7.2].