A generalisation of graph colouring problems – mathoverflow.net

If I have two finite sets $V$ and $C$ and a set of conditions of the form $f(u) \neq f(v)$ for some $u$, $v \in V$, and I want to find functions $f: V \to C$ that satisfy all these condition, then ...