PSPACE

Материал из DISCOPAL
Перейти к: навигация, поиск

Класс задач, разрешимых на машине Тьюринга, причем существует алгоритм (машина Тьюринга), использующий память не более чем полиномиального размера от длины входа.

Более формально, через определение класса DSPACE: