Обсуждение:Полиномиальная иерархия/Задачи/PH collapse if PHC exists/c000123