Ich habe mehrere Orte gesehen, die einfach gesagt haben, dass es bekannt ist, dass P eine Teilmenge des Schnittpunkts von NP und Co-NP ist. Beweise, die zeigen, dass P eine Teilmenge von NP ist, sind nicht schwer zu finden. Um zu zeigen, dass es sich um eine Teilmenge der Schnittmenge handelt, muss lediglich gezeigt werden, dass P eine Teilmenge von Co-NP ist. Was könnte ein Beweis dafür sein? Vielen Dank!Warum ist P ⊆ Co-NP?
Antwort
Die Klasse P unter Komplementierung geschlossen: wenn L eine Sprache in P, dann das Komplement von L ist auch in P ist. Sie können dies sehen, indem Sie einen beliebigen Polynomzeitentscheider für L verwenden und die Zustände annehmen und ablehnen umschalten; diese neue Maschine entscheidet nun das Komplement von L und tut dies in polynomieller Zeit.
Eine Sprache L ist in NP wenn sein Komplement ist in NP. Betrachten Sie also jede Sprache L ∈ P. Das Komplement von L ist auch in P, so das Komplement von L ist daher in NP (weil P & subseteq; NP). Daher ist L in NP. Folglich P & subsete; NP.
Hoffe, das hilft!
Denken Sie auf diese Weise. Betrachten Sie die Klasse co-P. Da P unter Komplement geschlossen ist, ist P = co-P.
Es sollte auch klar sein, dass Co-P eine Teilmenge von Co-NP ist, weil P in NP enthalten ist. Da P = co-P ist, folgt daraus, dass P in Co-NP enthalten ist.
- 1. Optimierter Code: ist ++ p schneller als p ++?
- 2. Warum benötigt der Compiler `delete [] p` gegenüber` delete p [] `?
- 3. Warum ist COM-Interop gegenüber P/Invoke in .NET vorzuziehen?
- 4. Was ist der Unterschied zwischen & p und p
- 5. XPATH: p-Element, die unmittelbar vorhergehenden Geschwister ist ein p
- 6. Ist * p ++ + = 2 gut definiert?
- 7. DllNotFoundException mit Mono P/Invoke: Warum?
- 8. Warum rsync verwendet Mkdir ohne p-Option
- 9. Wie funktioniert "für (; * p; ++ p) * p = tolower (* p)" Arbeit in c?
- 10. p: dataTable onRowSelect - SelectEvent ist null
- 11. p (x) ⇒ xx.p (x) ist kontingent?
- 12. Unterschied zwischen * p ++ und * p ++ = * q
- 13. Was bedeutet/p in set/p?
- 14. Nach p = neuer String [0] und p = neuer int [0], warum die String-Version beim Löschen [] p abstürzt?
- 15. Vorausgesetzt, dass p ist ein Zeiger ist "p> nullptr" wohlgeformt?
- 16. Umgang mit Geschütztes Leerzeichen: <p> </p> gegen <p></p>
- 17. Wo ist% p mit printf nützlich?
- 18. mod_rewrite/p/about => p = etwa
- 19. 'P 0' <'P! 'in Python und Postgresql
- 20. ? P = index ODER? P = etwa auf der website urls
- 21. Warum $ (': not (: hat (*))'). Find ("p"); gibt keine Ausgabe
- 22. Semaphoren Notation - warum V und P statt S und W
- 23. warum ist nicht mein p-Tag Zentrierung innerhalb meiner zwei Inhalt divs
- 24. Warum ist ein Point-to-Volatile-Zeiger wie "volatile int * p" nützlich?
- 25. Warum der folgende Code "p .__ proto __. Aa" nicht gleich 200 ist?
- 26. Warum in p Validate nicht als XHTML verschachtelt bildet
- 27. Warum der erste Absatz nicht diesen Stil p: First-Kind?
- 28. Was ist der Unterschied zwischen int (* p) [3] und int * p [3]?
- 29. Was ist der Unterschied zwischen/\ p {Alpha}/i und/\ p {L}/i in Ruby?
- 30. Bildschirm auf dem Weg halten?</p> ist <p>Zuerst ein einfacher:
Ich persönlich stört diese Frage hier nicht, aber wenn andere object, können Sie auch auf http://cs.stackexchange.com fragen –
Diese Frage scheint off-topic zu sein, weil es um Mathematik geht –