Die negative Gegnermethode ( ) ist eine SDP, die die Komplexität von Quantenabfragen charakterisiert. Es ist eine Verallgemeinerung der weit verbreiteten Gegner-Methode ( A D V ) und überwindet die beiden Hindernisse, die der Gegner-Methode im Wege standen:A D V±ADV±ADV^\pmA D VADVADV Die...
Ich habe kürzlich einen Beweis gelesen, der zeigen soll, dass ein Problem stark NP-hart ist, indem ich es einfach (in Polynomialzeit) auf ein stark NP-hartes Problem reduziere. Das ergab für mich keinen Sinn. Ich hätte gedacht, dass Sie zeigen müssten, dass alle in der Reduktion verwendeten Zahlen...
Teaser Da das Problem hier länger ist, handelt es sich um einen Sonderfall, der seine Essenz erfasst. Problem: Sei A ein detrministischer Algorithmus für 3-SAT. Ist das Problem der vollständigen Simulation des Algorithmus A (bei jedem Auftreten des Problems). P-Space schwer? (Genauer gesagt, gibt...
Planare Graphen haben die Gattung Null. Auf einem Torus einbettbare Grafiken haben höchstens die Gattung 1. Meine Frage ist einfach: Gibt es irgendwelche Probleme, die auf planaren Graphen polynomiell lösbar sind, auf Graphen der Gattung 1 jedoch NP-hart? Gibt es allgemeiner irgendwelche Probleme,...
Ich habe heute Untergrenzen unterrichtet , und einer der Schüler fragte nach dem Grund für den Namen . Die offizielle Erklärung ist, dass das "A" für "Alternation" steht.AC0AC0AC^0ACACAC Ich kann mich vage daran erinnern, dass ich vor vielen Jahren erfahren habe, dass Nick Pippenger Steve Cook nach...
Kurze Version. Der Beweis , dass Original # 2-SAT ist #P -komplette zeigt in der Tat, dass diese Instanzen von # 2-SAT die beide monotone (nicht unter Einbeziehung der Negationen aller Variablen) und bipartite (der Graph durch die Klauseln über die geformte Variablen ist ein zweigliedriger Graph)...
Die Schaltungskomplexität mit begrenzter Tiefe ist eines der Hauptforschungsgebiete der Schaltungskomplexitätstheorie. Dieses Thema hat Ursprünge in Ergebnissen wie "Die Paritätsfunktion befindet sich nicht in " und "Die Mod- Funktion wird nicht von berechnet ", wobei die Klasse ist von Sprachen,...
Ich suche nach natürlichen Beispielen für effiziente Algorithmen (dh in Polynomialzeit) st ihre Richtigkeit und Wirksamkeit kann konstruktiv nachgewiesen werden (zB in PR APRAPRA oder HEINHAHA ), aber Es ist kein Beweis bekannt, bei dem nur effiziente Konzepte verwendet werden (dh wir wissen nicht,...
Vor kurzem bin ich auf die folgende Variante der Kantenfärbung gestoßen. Suchen Sie bei einem zusammenhängenden ungerichteten Graphen eine Färbung der Kanten, die die maximale Anzahl von Farben verwendet, und erfüllen Sie gleichzeitig die Bedingung, dass für jeden Scheitelpunkt die Kanten, die auf...
Eine Sache, die Quantencomputer tun können (möglicherweise sogar mit nur BPP + log-tiefen Quantenschaltungen), ist die Fourier-Transformation einer Booleschen bewerteten Funktion in P zu approximieren.± 1±1\pm 1 Hier und unten, wenn ich über das Abtasten der Fourier-Transformation spreche, meine...
Betrachten Sie das folgende ProblemQ.Q.Q n k [ l i , r i ] 1 ≤ l i ≤ r i ≤ 2 n 2 n d 1 , ... , d 2 n ≥ 0 [ l i , r i ] i = 1 , ... , 2 n d i i : Wir erhalten eine ganze Zahl und Intervalle mit . Wir erhalten auch ganze Zahlen . Die Aufgabe besteht darin, eine minimale Anzahl von Intervallen so dass...
Gibt es einen Standardverweis, um Ökonomen von der Relevanz der Komplexitätstheorie im Druck zu überzeugen? Ich kenne Noam Nisans Blogpost , Tim Roughgardens Umfrage und Kapitel 11 von Scott Aaronsons Aufsatz . Diese Stellen sind für Informatiker zugänglich, verwenden jedoch nicht die Sprache von...
Ich mache eine Literaturübersicht über das Graph-Isomorphismus-Problem. Die meisten Artikel, die ich lese, sind von EM Luks und Laszlo Babai geschrieben. Diese Arbeiten basieren auf den Kenntnissen der Gruppentheorie und der Komplexitätstheorie. Da ich auf diesem Gebiet neu bin, sind mir viele...
Angenommen, ich betrachte die folgende Variante von BPP, die wir E (xact) BPP nennen lassen: Eine Sprache ist in EBPP, wenn es eine polynomiell zeitlich zufällige TG gibt, die jedes Wort der Sprache mit einer Wahrscheinlichkeit von genau 3/4 akzeptiert und jedes Wort nicht in die Sprache mit genau...
Beim Durchsuchen des Informationssystems zu Graphenklassen und ihren Einschlüssen fand ich mehrere Graphenklassen, für die das Hamilton-Zyklus-Problem NP-vollständig ist, während die Komplexität von Hamilton-Pfad-Problemen NICHT bekannt ist. Einige dieser Klassen sind zweigeteilte Diagramme mit...
Ich folge dem Vorschlag von Josh Grochow und wandle meinen Kommentar von einer vorherigen Frage in eine neue Frage um. Welche Beweise haben wir für ?UP≠NPUP≠NP\mathsf{UP} \neq \mathsf{NP} Hier ist die Klasse von Sprachen, die durch nicht deterministische Polynomzeit-Turing-Maschinen erkennbar sind,...
Die Arbeit "Subquadratic Algorithms for 3SUM" von Ilya Baran, Erik D. Demaine und Mihai Patrascu hat die folgende Komplexität für die 3SUM Problem: Geben Sie eine Liste LLL von nnn ganzen Zahlen an, wenn es x,y,z∈Lx,y,z∈Lx,y,z \in L so dass x+y=z.x+y=z.x+y=z. w−w−w-A C 0 O ( n 2 / w 2 log w ) O ( n...
Es ist bekannt, dass die minimale Größe von -Schaltungen, die die Paritätsfunktion genau berechnen, gleich 3 ( n - 1 ) ist . Der untere Grenznachweis basiert auf der Gate-Eliminierungsmethode.U2U2U_23 ( n - 1 )3(n-1)3(n-1) Kürzlich ist mir aufgefallen, dass die Gate-Eliminierungsmethode auch für...
Wenn die Symmetriegruppe und zwei Untergruppen G , H ≤ S n und π ∈ S n gegeben sind , gilt G π ∩ H = ∅ ?SnSnS_nG , H≤ SnG,H≤SnG, H\leq S_nπ∈ Snπ∈Sn\pi\in S_nG π∩ H= ∅Gπ∩H=∅G\pi\cap H=\emptyset Soweit ich weiß, ist das Problem als Coset-Schnittpunkt-Problem bekannt. Ich frage mich, was ist die...
Betrachten Sie dieses Problem: Suchen Sie anhand einer Liste endlicher Mengen eine Reihenfolge , die | minimiert s 1 | + | s 1 ∪ s 2 | + | s 1 ∪ s 2 ∪ s 3 | + … .s1, s2, s3, …s1,s2,s3,…s_1, s_2, s_3, \ldots| s1| + | s1∪ s2| + | s1∪ s2∪ s3| +…|s1|+|s1∪s2|+|s1∪s2∪s3|+…|s_1| + |s_1 \cup s_2| + |s_1...