Matfyz Wiki
Navigation
Index
Tags
Login
Summary: Transformace 3-SAT ∝ 3-COLOR