Участник:Павел Дидин/задача NP=PSPACE/решение