Summary: Transformace 3-SAT ∝ 3-COLOR
Transformace 3-SAT ∝ 3-COLOR