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