计算理论笔记--7

L类是单带图灵机在对数时间内可判定的语言类。
NL类是非确定单带图灵机在对数时间内可判定的语言类。
NL完全满足NL难和NL。
PATH问题是PSPACE完全的，也是NL完全的。
NL等于coNL。
难解性：理论上可解，时间耗费大量时间空间的问题。如SAT。
NL P
计算理论总结（P、NP、NPC总结）
PSPACE难的语言也是NP难的。
PSPACE在并、补和星号运算下封闭。
NL在并、连接和星号运算下封闭。
TQBF（真的全量词化的布尔表达式）是PSPACE完全的。
难解性
某些计算问题在理论上虽然是可解的，但是获得其解需要耗费大量时间或空间，导致其难以在实践中应
用。
层次定理
空间可构造
存在某个图灵机在O(f(n))空间内运行，在输入 时，总能停机，停机时f(n)的二进制出现在带子上。
空间层次定理
对任何空间可构造函数，存在语言A，在空间O(f(n))内可判定，但不能在空间o(f(n))内判定。
时间可构造
存在某个图灵机在O(t(n))时间内运行，在输入 时，总能停机，停机时t(n)的二进制出现在带子上。
时间层次定理
对任何时间可构造函数，存在语言A，在时间O(t(n))内可判定，但不能在时间o(t(n)/logt(n))内判定。
EQ = Q和R是等价的带指数运算的正则表达式。
EQ是EXPSPACE完全的。
电路复杂性
电路的规模是它所包含的门的数量。
如果一个电路没有与之等价的更小电路，则它是（规模）极小的。
若A TIME(t(n))，则A的电路复杂度为
电路可满足性CIRCUIT-SAT是NP完全的。
P问题：有多项式时间算法，算得很快的问题。
NP问题：算起来不确定快不快的问题，但是我们可以快速验证这个问题的解。
NP-complete问题：属于NP问题，且属于NP-hard问题。