14

В теории сложности вычислений P-пространство (англ. PSPACE) – это совокупность всех задач разрешимости, поддающихся решению с помощью машины Тьюринга в пределах полиномиального объема пространства.