难解性：intractability

直观感觉：给图灵机更多的时间或空间就能扩大它所能求解的问题类。

例如图灵机在时间内能比其在时间内判定更多的语言。

层次定理可以证明其正确性：时空界限较大的类比较小的类包含更多的语言。

一：层次定理

   1）空间层次定理

f(n)在O(f(n))空间内可计算：作为只读输入带，输出带是二进制f(n),而工作带所用空间不超过O(f(n).

常见的空间可构造函数：

线性加速定理：

证明思路：修改字母表，多个相邻格子作为一个格子；修改转移函数，若干步转为一步。

意义：采用大O记号，常数没有意义。

填塞引理：识别同一个语言的TM有无穷多个（给程序添加一些无用语句或者无用转移状态）

空间层次定理

TH:

 证明思路:构造一个语言A,

几个推论：

 看一下推论3：

   2）时间层次定理

TH:

二：EXPSPACE