Изменения

*[http://neerc.ifmo.ru/wiki/index.php?title=[КНФ - | КНФ]]*[http://neerc.ifmo.ru/wiki/index.php?title=[Специальные_формы_КНФ - | Специальные формы КНФ. КНФ в форме Крона (2-КНФ)]]*[http://neerc.ifmo.ru/wiki/index.php?title=[Основные_определения_теории_графов#.D0.9E.D1.80.D0.B8.D0.B5.D0.BD.D1.82.D0.B8.D1.80.D0.BE.D0.B2.D0.B0.D0.BD.D0.BD.D1.8B.D0.B5_.D0.B3.D1.80.D0.B0.D1.84.D1.8B - | Ориентированные графы]]*[http://neerc.ifmo.ru/wiki/index.php?title=[3CNFSAT - | NP-полнота задачи о выполнимости булевой формулы в форме 3-КНФ]]