http://kenji.blog/de/tags/pnp-vermutung/Recent content in P≠NP-Vermutung on kenji.blogHugo -- gohugo.iodekenjinoteWed, 11 Sep 2024 02:22:39 +0900http://kenji.blog/de/p/pnp%E4%BA%88%E6%83%B3/Wed, 11 Sep 2024 02:22:39 +0900http://kenji.blog/de/p/pnp%E4%BA%88%E6%83%B3/<h1 id="überblick">Überblick </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">Die Klasse P ist die Klasse von Problemen, die in polynomieller Zeit von einer deterministischen Turingmaschine entschieden werden können, und die Klasse NP ist die Klasse von Problemen, bei denen bei Vorliegen eines Beweises (genannt Witness oder Zeuge) für die Antwort &#34;Ja&#34; die Gültigkeit des Witness in polynomieller Zeit beurteilt (das nennt man Verifikation) werden kann. Da in polynomieller Zeit entscheidbare Probleme in polynomieller Zeit verifiziert werden können, ist offensichtlich P⊆NP, aber es ist nicht klar, ob P eine echte Teilmenge von NP ist. Es gibt noch keinen Beweis, aber viele Forscher glauben, dass P≠NP ist. Die Vermutung, dass diese Klasse P und Klasse NP nicht gleich sind, wird als &#34;P≠NP-Vermutung&#34; bezeichnet. </span></span></code></pre></td></tr></table> </div> </div><p>Referenzseite : <a class="link" href="https://daigakudenki.com/np-hard/" target="_blank" rel="noopener" >https://daigakudenki.com/np-hard/</a></p>