计算理论笔记--6

coNP类：
如果 语言 L 在 c o N P中 , 那么 该语言的补集在 N P 中 ;
coNP完全类：
① 计算问题 在 c o N P 中 ;
② c o N P中 任何计算问题 , 都可以在 多项式时间内规约 到该计算问题中 ;
P在并、连接和补运算下封闭。
NP在并和连接运算下封闭。
空间复杂性
PSPACE是在确定型图灵机上，在多项式空间内可判定的语言类。
NPSPACE是在非确定型图灵机上，在多项式空间内可判定的语言类。
PSPACE完全满足PSPACE难和PSPACE。
判定全量词化布尔公式问题是PSPACE完全的。
公式博弈是PSPACE完全的。
广义地理游戏是PSPACE完全的。
萨维奇定理
确定型机器可以用非常少的空间模拟非确定型机器。