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完全的。
萨维奇定理
确定型机器可以用非常少的空间模拟非确定型机器。
计算理论笔记--6
最新推荐文章于 2024-08-21 00:07:22 发布