Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/ex-equiv-in-3knf — различия между версиями

Материал из DISCOPAL
Перейти к: навигация, поиск
Строка 1: Строка 1:
 
Выразите логическое отношение эквивалентности в виде 3-КНФ формулы.
 
Выразите логическое отношение эквивалентности в виде 3-КНФ формулы.
  
[[Category:Решенные задачи]]
+
[[Category:Нерешенные задачи]]
  
 
<!--Вообще-то, решения уже есть-->
 
<!--Вообще-то, решения уже есть-->

Версия 07:49, 24 апреля 2014

Выразите логическое отношение эквивалентности в виде 3-КНФ формулы.