Als «cc.complexity-theory» getaggte Fragen

P gegen NP und andere ressourcengebundene Berechnungen.

2
Ist
Durch http://www.cs.umd.edu/~jkatz/complexity/relativization.pdf Wenn AAA eine PSPACE-vollständige Sprache ist, PA=NPAPA=NPAP^{A}=NP^{A} . Wenn ein deterministisches Polynom-Zeit-Orakel ist, ist P B ≤ N P B (unter der Annahme von P ≤ N P ).BBBPB≠NPBPB≠NPBP^{B}\ne NP^{B}P≠NPP≠NPP\ne NP ist die Klasse der Entscheidungsprobleme analog zu # P und P ⊆ P P ⊆ P S …
3
Gibt es eine natürliche Einschränkung der VO-Logik, die P oder NP erfasst?
Das Papier Lauri Hella und José María Turull-Torres, Berechnen von Abfragen mit Logik höherer Ordnung , TCS 355 197–214, 2006. doi: 10.1016 / j.tcs.2006.01.009 schlägt Logik VO vor, Logik variabler Ordnung. Dies ermöglicht eine Quantifizierung über Ordnungen über die Variablen. VO ist ziemlich leistungsfähig und kann einige nicht berechenbare Abfragen …
1
Technisches Problem mit dem PCP-Theorembeweis
Ich lese den Beweis von hier und bin auf ein technisches (aber entscheidendes) Problem gestoßen. Ich weiß, dass dies ziemlich spezifisch und der Kontext problematisch ist, aber ich konnte es selbst nicht herausfinden. Auf den Seiten 51 und 55 ändern sie nach der Präsentation der "Standard" -Verifizierer die Verifizierer, um …
1
Ist
Definieren Sie als die Klasse von Sprachen, die von einer (Multitape-) Turing-Maschine in der Zeit f ( n ) + 1 akzeptiert werden können . (Die " + 1 " dient nur zur Vereinfachung der Notation und zur Vermeidung von Verwirrung.) Beachten Sie, dass um f ( n ) + …
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.