一、coNP 类

如果语言 L\rm LL 在 coNP\rm coNPcoNP 中 , 那么该语言的补集在 NP\rm NPNP 中 ;

coNP\rm coNPcoNP 示例 :

布尔逻辑 p\rm pp 是重言式 , 由重言式所组成的语言称为 TAUT\rm TAUTTAUT ,

TAUT\rm TAUTTAUT 语言就是在 coNP\rm coNPcoNP 中 ;

符号化表示 : TAUT={<p>:p是重言式}\rm TAUT = \{ <p> : p 是重言式 \}TAUT={<p>:p是重言式}

TAUT\rm TAUTTAUT 语言的补集 , 如果不是重言式 , 那就意味着存在这一个赋值 , 使得布尔逻辑 p\rm pp 为假 , 这个计算问题是 NP\rm NPNP 的 ;

重言式是永真式 , 矛盾式是永假式 ;

二、coNP 完全

上述 TAUT\rm TAUTTAUT 语言是 coNP\rm coNPcoNP 完全的 ;

coNP\rm coNPcoNP 完全 :

① 计算问题在 coNP\rm coNPcoNP 中 ;

② coNP\rm coNPcoNP 中任何计算问题 , 都可以在多项式时间内规约到该计算问题中 ;

三、P、NP、coNP 相互关系

coNP\rm coNPcoNP 与 NP\rm NPNP 是交叉的 , 但二者之间没有包含关系 ,

P\rm PP 在 coNP\rm coNPcoNP 与 NP\rm NPNP 交集部分 ,

NP\rm NPNP 完全是在 NP\rm NPNP 中除 " coNP\rm coNPcoNP 与 NP\rm NPNP 交集 " 之外的部分中 ;

coNP\rm coNPcoNP 完全是在 coNP\rm coNPcoNP 中除 " coNP\rm coNPcoNP 与 NP\rm NPNP 交集 " 之外的部分中 ;

计算问题的计算复杂度不只是有 P\rm PP , NP\rm NPNP , NP\rm NPNP 完全 , 三类 ;

从上述 P\rm PP , NP\rm NPNP , NP\rm NPNP 完全三个复杂类出发 , 可以得到不同的复杂类 ;

使用全程量词 , 存在量词 , 交替使用 , 定义不同的复杂类 ;

可以定义无穷多复杂类 ;

计算理论只关注 P\rm PP , NP\rm NPNP , NP\rm NPNP 完全三个复杂类 , 这是三个最基本的复杂类 , 通过三个基本复杂类可以衍生无数个复杂类 ;

【计算理论】计算复杂性 ( coNP 问题 | coNP 完全 | P、NP、coNP 相互关系 )相关推荐

【计算理论】计算复杂性 ( 证明团问题是 NP 完全问题 )
文章目录一.团问题是 NP 完全问题证明思路二.证明团问题是 NP 完全问题一.团问题是 NP 完全问题证明思路证明一个命题是 NP\rm NPNP 完全问题 : ① 证明是 NP\rm ...
【计算理论】计算复杂性 ( 多项式时间规约 | NP 完全 ★ | 布尔可满足性问题 ) ★
文章目录一.多项式时间规约分析二.NP 完全 ★ ( 计算理论最重要的概念 ) 一.多项式时间规约分析多项式时间规约概念 : [计算理论]计算复杂性 ( 多项式等价引入 | 多项式时间规约 ...
【计算理论】计算复杂性 ( NP 类不同表述 | 团问题 | P 对 NP 问题 )
文章目录一.NP 类不同表述二.团问题三.P 对 NP 问题 ( P vs NP ) 一.NP 类不同表述 NP\rm NPNP 对应的确定性图灵机表述 : NP\rm NPNP 类就是有 ...
【计算理论】计算复杂性 ( 阶段总结 | 计算理论内容概览 | 计算问题的有效性 | 语言与算法模型 | 可计算性与可判定性 | 可判定性与有效性 | 语言分类 ) ★
文章目录一.计算理论内容概览二.计算问题的有效性三.语言与算法模型四.可计算性与可判定性五.可判定性与有效性六.语言分类一.计算理论内容概览计算理论分为形式语言与自动机 ...
【计算理论】计算复杂性 ( 证明非确定性图灵机与确定性图灵机的时间复杂度之间的指数关系 )
文章目录证明非确定性图灵机与确定性图灵机的时间复杂度之间的指数关系证明非确定性图灵机与确定性图灵机的时间复杂度之间的指数关系在上一篇博客 [计算理论]计算复杂性 ( 非确定性 ...
【计算理论】计算复杂性 ( 两个带子的图灵机的时间复杂度 | 证明多个带子图灵机时间复杂度 )
文章目录一.确定性模型的计算复杂性关系二.证明 "多个带子图灵机时间复杂度是 O(n2)\rm O(n^2)O(n2)" 一.确定性模型的计算复杂性关系计算的复杂性取决于 ...
【计算理论】计算复杂性 ( 两个带子的图灵机的时间复杂度 )
文章目录一.两个带子的图灵机的时间复杂度一.两个带子的图灵机的时间复杂度讨论两个带子的图灵机的时间复杂度 ; 计算问题如下 : 给定语言 : A={0k1k:k≥0}\rm A = \{ 0^k ...
【计算理论】计算复杂性 ( 计算理论内容概览 | 计算问题的有效性 | 时间复杂性度量 | 输入表示 | 时间复杂度 )
文章目录一.计算理论内容概览二.计算问题的判定性三.计算问题的有效性四.时间复杂性度量五.算法有效性数学定义需求六.输入表示七.时间复杂度一.计算理论内容概览计算理论分为形式语 ...
【计算理论】计算复杂性 ( NP 完全问题 | 顶点覆盖问题 | 哈密顿路径问题 | 旅行商问题 | 子集和问题 )
文章目录一.顶点覆盖问题二.哈密顿路径问题三.旅行商问题四.子集和问题五.NP 完全问题一.顶点覆盖问题顶点覆盖 ( Vertex Cover ) : 给定一个无向图 G\rm GG ...

【计算理论】计算复杂性 ( coNP 问题 | coNP 完全 | P、NP、coNP 相互关系 )

文章目录

一、coNP 类

二、coNP 完全

三、P、NP、coNP 相互关系

【计算理论】计算复杂性 ( coNP 问题 | coNP 完全 | P、NP、coNP 相互关系 )相关推荐

最新文章

热门文章