Полиномиальная иерархия/Задачи/NP^SAT=\Sigma^p 2 — различия между версиями

Материал из DISCOPAL
Перейти к: навигация, поиск
(Массовая правка: замена :Решенные задачи]] на :Нерешенные задачи]])
(Массовая правка: замена :Решенные задачи на :Нерешенные задачи)
(не показана одна промежуточная версия этого же участника)
(нет различий)

Версия 07:45, 21 февраля 2019

Докажите