http://kenji.blog/ko/tags/pnp-%EC%98%88%EC%83%81/Recent content in P≠NP 예상 on kenji.blogHugo -- gohugo.iokokenjinoteWed, 11 Sep 2024 02:22:39 +0900http://kenji.blog/ko/p/pnp%E4%BA%88%E6%83%B3/Wed, 11 Sep 2024 02:22:39 +0900http://kenji.blog/ko/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는 Yes가 되는 증거(Witness라고 함)가 주어졌을 때 다항 시간에 Witness의 정당성 판정(이를 검증이라고 함)이 가능한 문제의 클래스이다. 다항 시간에 판정 가능한 문제는 다항 시간에 검증 가능하므로 P⊆NP인 것은 분명하지만, P가 NP의 진부분집합인지 여부에 대해서는 명확하지 않다. 아직 증명되지는 않았지만, 많은 연구자는 P≠NP라고 믿고 있다. 그리고 이 클래스 P와 클래스 NP가 같지 않다는 예상을 &#39;P≠NP 예상&#39;이라고 한다. </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>