1) Ist es möglich, eine sparsame Reduktion von einem # P-vollständigen Problem #A zu einem Zählproblem #B zu haben, wenn (die Entscheidungsversion) A NP-vollständig ist und das B in P ist? Kann es zum Beispiel eine sparsame Reduktion von #SAT auf #B geben, wenn B in P ist? 2) Wenn B in P ist,...
Das ist ein Name, den ich mir für dieses Problem ausgedacht habe. Ich habe es noch nirgends zuvor beschrieben gesehen. Ich habe noch keinen Beweis für die NP-Vollständigkeit oder einen polynomialen Zeitalgorithmus für dieses Problem finden können. Es ist kein Problem mit den Hausaufgaben - es hängt...
Betrachten Sie eine Sprache so, dass:LLL L∈DTIME(O(f(n)))∩DSPACE(O(g(n)))L∈DTIME(O(f(n)))∩DSPACE(O(g(n)))L \in DTIME(O(f(n))) \cap DSPACE(O(g(n))) und so das L∉DTIME(o(f(n)))∪DSPACE(o(g(n)))L∉DTIME(o(f(n)))∪DSPACE(o(g(n)))L \not\in DTIME(o(f(n))) \cup DSPACE(o(g(n))) Mit anderen Worten, die...
Sei eine CNF-Formel mit Variablen und Sätzen. Es sei eine Variablenzuordnung und die Anzahl von Klauseln, die durch eine Variablenzuordnung zu erfüllt sind. . Definieren Sie dann Median-SAT als das Problem der Berechnung des Medianwerts von über alle . Wenn beispielsweise eine Tautologie ist,...
Man betrachte das # P-vollständige Problem des Zählens der Anzahl der Scheitelpunktabdeckungen eines gegebenen Graphen .G=(V,E)G=(V,E)G = (V, E) Ich würde gerne wissen, ob es ein Ergebnis gibt, das zeigt, wie die Härte eines solchen Problems mit einem Parameter von variiert (zum Beispiel...
Zwei Teile von TCS sind Algorithmen und Komplexität. Ich sage vereinfacht gesagt, dass Algorithmen das Studium von Obergrenzen sind und zeigen, dass Sie etwas (mit bestimmten eingeschränkten Ressourcen) tun können , und Komplexität bedeutet, dass Sie es nicht ohne einige minimale Ressourcen tun...
Es ist seit langem bekannt, dass es bei jedem Wiederholungsgrad eine endlich präsentierte Gruppe gibt, deren Wortproblem in diesem Grad liegt. Meine Frage ist, ob das Gleiche für beliebige Polynomzeit- Turing-Grade gilt. Speziell existiert bei einer entscheidbaren Menge eine endlich dargestellte...
Es gibt eine Reihe von Problemen in der kombinatorischen Darstellungstheorie und der algebraischen Geometrie, für die keine positive Formel bekannt ist. Es gibt mehrere Beispiele, an die ich denke, aber lassen Sie mich die Berechnung der Kronecker-Koeffizienten als mein Beispiel nehmen....
Beigi, Shor und Watrous haben eine sehr gute Arbeit über die Möglichkeiten von quanteninteraktiven Proofs mit kurzen Botschaften. Sie betrachten drei Varianten von "Kurznachrichten", und die spezielle, die mir wichtig ist, ist ihre zweite Variante, bei der eine beliebige Anzahl von Nachrichten...
In der Komplexitätstheorie treten Orakel am häufigsten wie folgt auf: Ein festes Orakel wird beispielsweise einer Turing-Maschine mit bestimmten begrenzten Ressourcen zur Verfügung gestellt, und es wird untersucht, wie das Orakel die Rechenleistung der Maschine erhöht. Es gibt jedoch eine andere...
Zugehöriges Problem: Der Satz von Veblen besagt, dass "ein Graph eine Zykluszerlegung nur dann zulässt, wenn sie gerade ist". Die Zyklen sind kantendisjunkt, aber nicht notwendigerweise knotendisjunkt. Anders ausgedrückt: "Die Kantenmenge eines Graphen kann genau dann in Zyklen unterteilt werden,...
Ich weiß, dass (logarithmisch viele Aufrufe an das NP-Orakel) P N P | entspricht | (Polynomzahl paralleler Anfragen an das NP-Orakel). Ich habe mich gefragt, ob die "Funktions" -Version dieser Klassen auch gleichwertig ist, das heißt, obPNP[logn]PNP[logn]\mathsf{P}^{\mathsf{NP}[\log...
Diese Frage bezieht sich auf eine meiner vorherigen Fragen, NP-harte Probleme an Bäumen . Ich suche nach Problemen, die auf Bäumen P-vollständig sind.
Gibt es größere Konsequenzen, wenn SAT höchstens subexponentielle Beweise für unsat hätte oder noch stärker, wenn SAT Algorithmen für subexponentielle Zeit
Das Graphbandbreitenproblem ist wie folgt definiert. Wenn ein Graph , ist ein Layout von eine Eins-zu-Eins-Abbildung der Eckpunkte von auf die ganzen Zahlen . Die Bandbreite von ist definiert alsG=(V,E)G=(V,E)G=(V,E) fffGGGGGG{1,…,|V|}{1,…,|V|}\{1, \ldots, |V|\}fff
Frage. In ihrer Arbeit Verbesserte Simulation von Stabilisatorschaltungen behaupten Aaronson und Gottesman, dass die Simulation einer CNOT-Schaltung ⊕L- vollständig ist (unter logspace Reductions). Es ist klar, dass es in ⊕L enthalten ist ; Wie hält das Härteergebnis? Äquivalent: Gibt es eine...
In der Arbeit von Ben-Dor / Halevi [1] wird ein weiterer Beweis dafür erbracht, dass die bleibende Karte #P-vollständig ist. Im späteren Teil der Arbeit wird die Reduktionskette während der permanente Wert in der Kette erhalten bleibt. Da sich die Anzahl der zufriedenen Zuordnungen einer...
Ich interessiere mich für die frühe Geschichte der veröffentlichten Ergebnisse zu Allzweck-Raum-Zeit-Kompromissen. Insbesondere möchte ich wissen, wer zuerst die folgende Art von Algorithmus zur Auswertung einer Berechnung mit einem beliebigen Datenflussdiagramm mit Grad O (1) unter Verwendung...
Was ist der Rechenaufwand für die Optimierung verschiedener Funktionen über die Einheitsgruppe U( n )U(n)\mathcal{U}(n) ? Eine typische Aufgabe, entstehen oft in der Theorie der Quanteninformation, würde eine Menge an Typ sein Maximierung TrAUBU†TrAUBU†\mathrm{Tr}AUBU^{\dagger} (oder Polynome...
Antwort: nicht bekannt. Die gestellten Fragen sind natürlich, offen und anscheinend schwierig. die frage ist jetzt ein community wiki. Überblick Die Frage versucht, Sprachen der KomplexitätsklassePPP - zusammen mit den Entscheidungs-Turing-Maschinen (TMs), die diese Sprachen akzeptieren - in zwei...