Требуется авторизация
Материал из DISCOPAL
Вы должны представиться для изменения страниц.
Возврат к странице Обсуждение:Временная и пространственная сложность алгоритмов/Задачи/QSAT in PSPACE.