Variablen für 3-Färbbarkeit

Für jeden Knoten $u\in V(G)$ und jede Farbe $i\in \{1,2,3\}$ wird eine Variable $X_{u,i}$ eingeführt.

• Intention: $X_{u,i}$ ist wahr, wenn Knoten u mit Farbe $C_i$ gefärbt wird.