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

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

Версия 16:51, 1 декабря 2014

Цыганова Светлана, 974гр.

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

Решение