Als «cc.complexity-theory» getaggte Fragen

P gegen NP und andere ressourcengebundene Berechnungen.

9
Optimale Greedy-Algorithmen für NP-harte Probleme
Gier ist, mangels eines besseren Wortes, gut. Eines der ersten algorithmischen Paradigmen, die im Einführungskurs zu Algorithmen vermittelt werden, ist der gierige Ansatz . Gieriger Ansatz führt zu einfachen und intuitiven Algorithmen für viele Probleme in P. Interessanterweise führt der offensichtliche und natürliche gierige / lokale Algorithmus bei einigen NP-harten …
5
Gibt es eine Logik ohne Induktion, die viel von P erfasst?
Das Immerman-Vardi-Theorem besagt, dass PTIME (oder P) genau die Klasse von Sprachen ist, die durch einen Satz der Logik erster Ordnung zusammen mit einem Festkommaoperator über die Klasse von geordneten Strukturen beschrieben werden kann. Der Fixpunktoperator kann entweder der kleinste Fixpunkt (wie von Immerman und Vardi betrachtet) oder der inflationäre …
4
Beispiele, bei denen die Eindeutigkeit der Lösung das Auffinden erleichtert
Die Komplexitätsklasse besteht aus denjenigen N P -Problemen, die von einer polynomiell zeitlich nicht deterministischen Turing-Maschine entschieden werden können, die höchstens einen akzeptierenden Rechenweg hat. Das heißt, die Lösung ist, wenn überhaupt, in diesem Sinne einzigartig . Es ist höchst unwahrscheinlich, dass alle U P -Probleme in P sind , …
6
Geometrische Probleme, die in
Eine Reihe von geometrischen Problemen ist in einfach , in für jedoch NP-vollständig (einschließlich eines meiner Lieblingsprobleme, Einheitsplattenabdeckung).R d d ≥ 2R1R1R^1RdRdR^dd≥ 2d≥2d\geq2 Kennt jemand ein Problem, das für und R 2 polyzeitlösbar , für R d jedoch NP-vollständig ist , d ≥ 3 ? R1R1R^1R2R2R^2Rd, d≥ 3Rd,d≥3R^d,d\geq3 Gibt es …
4
Ist
Wir wissen, dass die erste Ebene der Polynomhierarchie (dh NP und co-NP) in PP liegt und dass . Aus Todas Theorem wissen wir auch, dass .P H ⊆ P P PPP⊆ PSPA CEPP⊆PSPACEPP \subseteq PSPACEPH⊆ PPPPH⊆PPPPH \subseteq P^{PP} Wissen wir, ob ? Wenn nicht, warum ist mit einem Orakel stärker …
3
Ist
Soweit ich weiß, versucht das Programm der geometrischen Komplexitätstheorie, zu trennen, indem es beweist, dass das Permament einer komplexwertigen Matrix viel schwerer zu berechnen ist als die Determinante.VP≠ VNPVP≠VNPVP \neq VNP Die Frage , die ich hatte , nachdem sie durch das GCT Paper Skimming: Würde dies sofort bedeuten , …
3
Parametrisierte Komplexität des Schlagsets in endlicher VC-Dimension
Ich interessiere mich für die parametrisierte Komplexität des sogenannten d-dimensionalen Schlagsets-Problems: bei gegebenem Bereichsraum (dh einem festgelegten System / Hypergraph) S = (X, R) mit einer VC-Dimension von höchstens d und a positive ganze Zahl k, enthält X eine Teilmenge der Größe k, die jeden Bereich in R trifft? Die …
3
Erklärung der P- und NP-Klassen durch Lambda-Rechnung
In der Einführung und Erläuterung werden P- und NP-Komplexitätsklassen häufig durch Turing-Maschinen gegeben. Eines der Rechenmodelle ist die Lambda-Rechnung. Ich verstehe, dass alle Rechenmodelle gleichwertig sind (und wenn wir irgendetwas in Form von Turing-Maschine einführen können, können wir dies in Form eines Rechenmodells einführen), aber ich habe nie eine Erklärung …
3
Techniken, um zu zeigen, dass das Problem in der Schwebe der Härte liegt
Angesichts eines neuen Problems in dessen wahre Komplexität irgendwo zwischen P und NP-vollständig liegt, gibt es zwei Methoden, von denen ich weiß, dass sie verwendet werden können, um zu beweisen, dass es schwierig ist, dies zu lösen:NPNP\mathsf{NP}PP\mathsf{P} Zeigen Sie, dass das Problem GI-vollständig ist (GI = Graph Isomorphism) Zeigen Sie, …
4
Näherungshärte ohne den PCP-Satz
Eine wichtige Anwendung des PCP-Theorems ist, dass es Ergebnisse vom Typ "Härte der Approximation" liefert. In relativ einfacheren Fällen kann man eine solche Härte ohne PCP nachweisen. Gibt es jedoch einen Fall, in dem die Härte des Approximationsergebnisses zuerst mit dem PCP-Theorem bewiesen wurde, dh das Ergebnis war vorher nicht …
3
Gibt es ein Backup / Ersatz für den Complexity Zoo?
Dies ist eine nicht-technische Frage, aber sicherlich relevant für die TCS-Community. Wenn Sie dies für unangemessen halten, können Sie es jederzeit schließen. Die Complexity Zoo- Webseite (http://qwiki.stanford.edu/index.php/Complexity_Zoo) hat der TCS-Community im Laufe der Jahre zweifellos gute Dienste geleistet. Anscheinend ist es schon eine ganze Weile her. Ich habe mich gefragt, …
3
Warum wirkt sich Zufälligkeit stärker auf Verkleinerungen aus als auf Algorithmen?
Es wird vermutet, dass Zufälligkeit die Leistung von Polynom-Zeit-Algorithmen nicht erweitert, das heißt, es wird vermutet , dass P=BPPP=BPP{\bf P}={\bf BPP} gilt. Auf der anderen Seite scheint die Zufälligkeit eine ganz andere Wirkung auf Polynom Zeit haben Reduzierungen . Durch das bekannte Ergebnis Valiant und Vazirani, SATSATSAT reduziert sich auf …
3
Komplexität der Exponentialfunktion
Wir wissen, dass die Exponentialfunktion über natürliche Zahlen in der Polynomzeit nicht berechenbar ist, da die Größe der Ausgabe in der Größe der Eingaben nicht polynomiell begrenzt ist.exp(x,y)=xyexp⁡(x,y)=xy\exp(x,y) = x^y Ist dies der Hauptgrund für die Schwierigkeit, die Exponentialfunktion zu berechnen, oder ist die Exponentiation unabhängig von dieser Überlegung von …
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.