Временная и пространственная сложность алгоритмов/Задачи/PSPACE in EXPTIME