Was sind einige nicht-triviale Probleme, bei denen wir wissen, dass der derzeitige Algorithmus der asymptotisch optimale ist? (Für Turingmaschinen) Und wie ist das bewiesen?
Das Auftragspflegeproblem (oder "Auftrag in einer Liste pflegen") besteht darin, die folgenden Vorgänge zu unterstützen: singleton: Erstellt eine Liste mit einem Element und gibt einen Zeiger darauf zurück insertAfter: einen Zeiger auf ein Element gegeben, fügt ein neues Element danach ein und gibt einen Zeiger auf das neue Element zurück …
Beim Lesen der Abhandlung " Eine anwendungsbezogene Theorie für FPH " können Sie folgende Passage finden: In Anbetracht der Theorien, die Klassen von Rechenkomplexität charakterisieren, gibt es drei verschiedene Ansätze: in einem Fall sind die Funktionen, die innerhalb der Theorie definiert werden können, innerhalb einer bestimmten Komplexitätsklasse "automatisch". In einem …
Es wird gesagt, dass ein Problem P in APX vorliegt, wenn eine Konstante c> 0 existiert, so dass ein Polynomzeit-Approximationsalgorithmus für P mit einem Approximationsfaktor von 1 + c existiert. APX enthält PTAS (durch einfaches Auswählen einer beliebigen Konstanten c> 0) und P. Ist APX in NP? Bedeutet die Existenz …
Die Komplexitätsklasse BQP entspricht polynomiellen Zeitquanten-Subroutinen, die klassische Eingaben aufnehmen und eine probabilistische klassische Ausgabe ausgeben. Der Quantenratschlag modifiziert diesen, um Kopien einiger vorbestimmter Quantenratschlagzustände einzuschließen, jedoch mit klassischen Eingaben wie üblich. Was ist die Komplexitätsklasse für Polynomialzeit-Quantensubroutinen, die willkürliche Quantenzustände als Eingaben annehmen, wobei nur eine Kopie ohne Klonen …
Wir betrachten häufig Komplexitätsklassen, bei denen wir in Bezug auf den Platz, den unsere Turing-Maschine verwenden kann, begrenzt sind, zum Beispiel: oder NSPACE ( f ( n ) ) . Es scheint, dass es in der frühen Komplexitätstheorie viel Erfolg mit diesen Klassen wie dem Raumhierarchiesatz und dem Erstellen wichtiger …
Gibt es interessante Probleme in jedoch nicht bekannt ist, dass sie in N C 2 sind ? In der Arbeit 'Eine Taxonomie der Probleme mit schnellen parallelen Algorithmen' erwähnt Cook, dass MIS bekanntermaßen nur in N C 5 vorkommt , dies jedoch inzwischen auf N C 2 reduziert wurde . …
In unserer jüngsten Arbeit, lösen wir ein Rechenproblem , das in der kombinatorischen Kontext entstanden ist , unter der Annahme , dass , wo ⊕EXP≠⊕EXPEXP≠⊕EXP\mathsf{EXP} \ne \mathsf{\oplus{}EXP} ist die E X P -Version von ⊕⊕EXP⊕EXP\mathsf{\oplus{}EXP}EXPEXP\mathsf{EXP} . Das einzige Papier auf ⊕⊕P⊕P\mathsf{\oplus{}P} , das wir fanden, war dasPapier vonBeigel-Buhrman-Fortnow von1998, das …
Ich lese den Anhang über ACC-Untergrenzen für NEXP in Aroras und Baraks Computational Complexity- Buch. http://www.cs.princeton.edu/theory/uploads/Compbook/accnexp.pdf Eines der Schlüsselmotive ist eine Transformation von -Kreisen zu mehrlinearen Polynomen über die ganzen Zahlen mit polylogarithmischem Grad und Quasipolynomkoeffizienten oder äquivalent dazu die Schaltungsklasse , die die Klasse der zwei tiefen Schaltungen mit …
Die längste Zeit habe ich gedacht, dass ein Problem NP-vollständig ist, wenn es sowohl (1) NP-schwer als auch (2) NP ist. In der berühmten Veröffentlichung "Die Ellipsoidmethode und ihre Konsequenzen für die kombinatorische Optimierung" behaupten die Autoren jedoch, dass das Problem der fraktionalen chromatischen Zahl zu NP gehört und NP-hart …
Diese Frage stellte Jan Pax auf der Mailingliste Foundations of Mathematics . Sicherlich P⊕P⊆P#P=PPPP⊕P⊆P#P=PPPP^{\oplus P} \subseteq P^{\#P} = P^{PP} aber ich vermute , aus den Antworten auf diese Frage , dass es nicht bekannt , ob ⊕P⊆PP⊕P⊆PP\oplus P \subseteq PP (sonst PPPPPP wäre eine mögliche Antwort auf diese Frage). Wenn …
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 n]}PNP||PNP||\mathsf{P}^{\mathsf{NP}||} Wenn bekannt ist, dass es wahr ist, wäre ein Zeiger wirklich hilfreich.FPNP[logn]=FPNP||FPNP[logn]=FPNP|| …
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 …
Beantworten Sie bei zwei CNF die Frage mit "Ja", wenn sie die gleiche Anzahl von Aufgaben haben, um sie zu erfüllen, andernfalls mit "Nein". Es ist leicht zu erkennen, dass es sich um , da wir, wenn wir die genaue Anzahl der Lösungen für diese beiden CNF kennen, sie nur …
P / poly ist die Klasse von Entscheidungsproblemen, die durch eine Familie von Booleschen Schaltungen polynomialer Größe lösbar sind. Es kann alternativ als eine Polynom-Zeit-Turing-Maschine definiert werden, die eine Hinweiszeichenfolge empfängt, die in n polynomisch ist und die ausschließlich auf der Größe von n basiert. mP / poly ist die …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.