Als «check-my-proof» getaggte Fragen


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 …


1
Teilmengen unendlicher rekursiver Mengen
Eine aktuelle Prüfungsfrage lautete wie folgt: ist eine unendliche rekursiv aufzählbare Menge. Beweisen Sie, dass A eine unendliche rekursive Teilmenge hat.AAAAAA Lassen eine unendliche rekursive Untergruppe von seiner A . Muss C eine Teilmenge haben, die nicht rekursiv aufzählbar ist?CCCAAACCC Ich habe schon 1. geantwortet. In Bezug auf 2. antwortete …

1
Der Nachweis von NP ist eine Teilmenge der Vereinigung von exponentiellem DTIME
Ich muss beweisen, dass eine Teilmenge der Vereinigung von für alle .NPNP\mathsf{NP}DTIME(2nc)DTIME(2nc)\mathsf{DTIME}(2^{n^c})c>1c>1c > 1 Sei ein Sprach- / Entscheidungsproblem in . Dann kann mit einer Turingmaschine anhand eines Polynomgrößenzertifikats in Polynomzeit entschieden werden . Dann zählen wir alle möglichen Zertifikate mit Polynomgröße auf. Es gibt mögliche Zertifikate für ein Zertifikat …
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.