http://kenji.blog/zh-cn/tags/pnp%E7%8C%9C%E6%83%B3/Recent content in P≠NP猜想 on kenji.blogHugo -- gohugo.iozh-cnkenjinoteWed, 11 Sep 2024 02:22:39 +0900http://kenji.blog/zh-cn/p/pnp%E4%BA%88%E6%83%B3/Wed, 11 Sep 2024 02:22:39 +0900http://kenji.blog/zh-cn/p/pnp%E4%BA%88%E6%83%B3/<h1 id="概要">概要 </h1><div class="highlight"><div class="chroma"> <table class="lntable"><tr><td class="lntd"> <pre tabindex="0" class="chroma"><code><span class="lnt">1 </span></code></pre></td> <td class="lntd"> <pre tabindex="0" class="chroma"><code class="language-fallback" data-lang="fallback"><span class="line"><span class="cl">P类问题是指在确定性图灵机上，能够在多项式时间内判定的问题类别。而NP类问题是指，当给定一个“是”的证据（称为Witness）时，能够在多项式时间内验证该Witness正确性的问题类别。由于在多项式时间内可以判定的问题，也必定能在多项式时间内被验证，因此P⊆NP是显而易见的。但P是否为NP的真子集，目前尚不明确。尽管目前尚未得到证明，但大多数研究人员都相信P≠NP。这种认为P类问题与NP类问题不相等的猜想，就被称为“P≠NP猜想”。 </span></span></code></pre></td></tr></table> </div> </div><p>参考网站 : <a class="link" href="https://daigakudenki.com/np-hard/" target="_blank" rel="noopener" >https://daigakudenki.com/np-hard/</a></p>