24
правки
Изменения
2SAT
,Добавлено использование 2-SAT
Компоненты сильной связности найдем за <tex>O(N + M)</tex>, затем проверим каждую из <tex>N</tex> переменных за <tex>O(N)</tex>. Следовательно асимптотика <tex>O(N + M)</tex>
== Использование 2-SAT ==
*[https://ru.wikipedia.org/wiki/Латинский_квадрат Латинские квадраты]
*[https://ru.wikipedia.org/wiki/Квазигруппа_(социология) Квазигруппы]
*[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/Система_Штейнера Система Штейнера]
*Проектирование протоколов (пример: для сетевых коммуникаций)
*Электронная коммерция (Электронные аукционы и автоматизированные брокеры
*Теории кодирования, криптографии
*Проектирование и тестирование лекарств (мед. препаратов)
== См. также ==
