空间复杂性学习笔记（space complexity）

1)空间复杂性类

SPACE(f(n))：SPACE(f(n))={L|L是O(f(n))空间的确定型图灵机判定的语言}

NSPACE(f(n))：NSPACE(f(n))={L|L是O(f(n))空间的非确定型图灵机判定的语言}

 

2）SAT属于PSPACE类（见第4条）问题，SAT可以在多项式空间的复杂度内判定->O（n）。

 

3）萨维奇定理

对于任何函数f（f(n)>=logn），其中f(n)>=n，则有：SPACE(f(n))⊆NSPACE(f² (n))。

该定理表明确定型机器可以用非常少的空间模拟非确定性机器。

 

4）PSPACE类

PSPACE是在确定型图灵机上、在多项式空间 内可判定的语言类。

（P类的定义：P是确定型单带图灵机在多项式时间 内可判定的语言类。）

 

5）PSPACE与P和NP的关系

显然，P⊆PSPACE，因为运行快的机器不可能消耗大量的空间。更精确地说，当t(n)>n时，由于在每个计算步上最多能访问一个新单元，因此，任何在时间t(n)内运行的机器最多能消耗t(n)的空间。

同样NP⊆NPSPACE，所以NP⊆PSPACE。

则有：P⊆NP⊆PSPACE=NPSPACE⊆EXPTIME

 

6）PSPACE完全性（PSPACE-complete）

<