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