L是一个co-NP语言,这个暗示有一个多项式时间的验证机 C(; )
(1)对任何一个不属于L字符串s,有一个证书t(在多项式长度输入)C(s; t)拒绝
(2)对任何一个属于L字符串s,这里没有一个证书t说拒绝。
从而这里有一个问题,当对任何一个属于L字符串s,这个分支,我们没有办法在多项式时间进行验证。
引出了co-NP问题和NP问题是否相等。
L是一个co-NP语言,这个暗示有一个多项式时间的验证机 C(; )
(1)对任何一个不属于L字符串s,有一个证书t(在多项式长度输入)C(s; t)拒绝
(2)对任何一个属于L字符串s,这里没有一个证书t说拒绝。
从而这里有一个问题,当对任何一个属于L字符串s,这个分支,我们没有办法在多项式时间进行验证。
引出了co-NP问题和NP问题是否相等。
您可能感兴趣的与本文相关的镜像
Stable-Diffusion-3.5
Stable Diffusion 3.5 (SD 3.5) 是由 Stability AI 推出的新一代文本到图像生成模型,相比 3.0 版本,它提升了图像质量、运行速度和硬件效率
6505
6197

被折叠的 条评论
为什么被折叠?