Als «p-vs-np» getaggte Fragen



9
Was wären die realen Implikationen eines konstruktiven
Ich verstehe das Problem auf hohem Niveau und verstehe, dass es die Tür für die Lösung zahlreicher Probleme im Bereich der Informatik öffnen würde, wenn es sich mit einer bereitgestellten Lösung als absolut "erwiesen" herausstellen würde.P= NPP=NPP=NP Meine Frage ist, wenn jemand einen unbestreitbaren, konstruktiven Beweis für , welche unmittelbaren …





3
Bedeutet
Diese Frage wurde von Theoretical Computer Science Stack Exchange migriert, da sie über Computer Science Stack Exchange beantwortet werden kann. Vor 6 Jahren migriert . Ist es möglich, dass und die Kardinalität von der Kardinalität von ? Oder bedeutet , dass und unterschiedliche Kardinalitäten haben müssen?P≠NPP≠NP\mathsf{P} \not = \mathsf{NP}PP\mathsf{P}NPNP\mathsf{NP}P≠NPP≠NP\mathsf{P} \not …

1
Warum implizieren die Sätze von Shaefer und Mahaney nicht P = NP?
Ich bin sicher, jemand hat darüber nachgedacht oder es sofort verworfen, aber warum impliziert Schäfers Dichotomietheorie zusammen mit Mahaneys Theorem über spärliche Mengen nicht P = NP? Hier ist meine Argumentation: Erstellen Sie eine Sprache die SAT entspricht und von einer unendlichen, entscheidbaren, spärlichen Menge durchschnitten wird. Dann muss auch …




2
Wie beweise
Mir ist bewusst, dass dies eine sehr dumme (oder zu naheliegende) Frage ist. Irgendwann bin ich jedoch verwirrt. Wir können zeigen, dass P NP=== genau dann ist, wenn wir einen Algorithmus entwerfen können, der ein gegebenes Problem in NP in polynomialer Zeit löst . Ich verstehe jedoch nicht, wie um …


5
Fehler in meinem NP = CoNP Proof?
Ich habe diesen sehr einfachen "Beweis" für NP = CoNP und ich glaube, ich habe irgendwo etwas falsch gemacht, aber ich kann nicht finden, was falsch ist. Kann mir jemand weiterhelfen? Sei A ein Problem in NP und sei M der Entscheider für A. Sei B das Komplement, dh B …

Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.