Полиномиальные сводимости и NP-полные задачи. Классы NP, coNP, NPC/Задачи/QBEQ-NPC-NPC — различия между версиями
Материал из DISCOPAL
StasFomin (обсуждение | вклад) (Новая страница: «Покажите NP-полноту языка совместимых систем квадратичных уравнений в булевых переменны…») |
(нет различий)
|
Версия 18:37, 29 мая 2014
Покажите NP-полноту языка совместимых систем квадратичных уравнений в булевых переменных. Т.е. разрешимых систем вида
и где сложение по модулю 2.