Полиномиальная иерархия/Задачи/PH collapse if PHC exists