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

Материал из DISCOPAL
Перейти к: навигация, поиск
(Массовая правка: добавление Категория:Теоретические задачи)
 
(не показана одна промежуточная версия этого же участника)
Строка 12: Строка 12:
 
и где сложение по модулю 2.
 
и где сложение по модулю 2.
  
[[Категория:Нешенные задачи]]
+
[[Категория:Нерешенные задачи]]
 +
[[Категория:Теоретические задачи]]

Текущая версия на 06:51, 4 мая 2023

Покажите NP-полноту языка совместимых систем квадратичных уравнений в булевых переменных. Т.е. разрешимых систем вида

и где сложение по модулю 2.