<--Previous  Up  Next-->



Colourability

We can characterise four-colourability with a propositional formula.(The edge relation is E(x,y); R G B Y are colours)