Изменения

2SAT

Нет изменений в размере, 19:46, 18 января 2016

Изменен порядок последних трех разделов.

*теории кодирования, криптографии,

*проектирование и тестирование лекарств (мед. препаратов).

== См. также ==

*[[3CNFSAT | NP-полнота задачи о выполнимости булевой формулы в форме 3-КНФ]]

== Примечания ==

*[https://ru.wikipedia.org/wiki/Теорема_Рамсея#.D0.A7.D0.B8.D1.81.D0.BB.D0.B0_.D0.A0.D0.B0.D0.BC.D1.81.D0.B5.D1.8F Числа Рамсея]

*[https://ru.wikipedia.org/wiki/Система_Штейнера Система Штейнера]

~~== См. также ==~~

*[[3CNFSAT | NP-полнота задачи о выполнимости булевой формулы в форме 3-КНФ]]

== Источники информации ==

24

правки