Viele mit Turing-Maschinen definierte Komplexitätsklassen haben Definitionen in Bezug auf einheitliche Schaltkreise. Beispielsweise kann P auch unter Verwendung von Schaltkreisen mit einheitlicher Polynomgröße definiert werden, und in ähnlicher Weise können BPP, NP, BQP usw. mit einheitlichen...
Ist bekannt, ob Problem mit der Schaltkreisbewertung in ? Wie wäre es mit (uniform )?NC1NC1\mathsf{NC^1}NC1NC1\mathsf{NC^1}ALogTimeALogTime\mathsf{ALogTime}NC1NC1\mathsf{NC^1} Wir wissen, dass Schaltkreise der Tiefe mit Schaltkreisen der Tiefe bewertet werden können, wobei eine universelle...
und N L o g T i m e sind zwei der kleinsten Komplexitätsklassen, die wir haben. (Beachten Sie, dass die logarithmische Zeithierarchie L H gleich A C 0 ist und dies die ersten beiden Ebenen von L H sind.
Vor kurzem habe ich eine Einführung in holographische Algorithmen durchgesehen. Ich bin auf einige kombinatorische Objekte gestoßen, die Pfaffianer genannt werden. Ich weiß im Moment nicht viel darüber und bin auf einige überraschende Anwendungen gestoßen, für die sie eingesetzt werden können. Ich...
Vertex Cover kann einfach auf Independent Set reduziert werden und umgekehrt. Im Kontext der parametrisierten Komplexität ist die unabhängige Menge jedoch schwieriger als die Vertex-Abdeckung. Für Vertex Cover existiert ein Kernel mit Vertices, aber Independent Set ist W 1 hard.2k2k2k Wie verändert...
Sei die Majoritätsfunktion, dh genau dann, wenn . Ich habe mich gefragt, ob es einen einfachen Beweis für die folgende Tatsache gibt (mit "einfach" meine ich, dass ich mich nicht auf die probabilistische Methode wie Valiant 84 oder auf das Sortieren von Netzwerken verlasse; am besten eine...
Angenommen, NP! = CoNP, dann gibt es kein polynomiales Größenzertifikat für das coNP-vollständige Problem. Aber was ist mit subexponentiellen Größenbescheinigungen? Gibt es insbesondere für coSAT einen subexponentiellen Größenbeweis, um zu beweisen, dass eine Formel nicht befriedigend ist? Wenn...
Was ich als Zählen bezeichne, ist das Problem, das darin besteht, die Anzahl der Lösungen für eine Funktion zu finden. Genauer gesagt, bei gegebener Funktion f:N→{0,1}f:N→{0,1}f:N\to \{0,1\} (nicht unbedingt Blackbox), approximieren Sie #{x∈N∣f(x)=1}=|f−1(1)|#{x∈N∣f(x)=1}=|f−1(1)|\#\{x\in N\mid...
Die Hierarchie ist eine Hierarchie von Komplexitätsklassen W [ t ] in parametrisierter Komplexität . Definitionen finden Sie im Complexity Zoo . Eine alternative Definition definiert W [ t ] unter Verwendung der gewichteten Fagin-Definierbarkeit für Π t -Formeln der Logik erster Ordnung, siehe das...
Diese Frage wird durch eine MathOverflow-Frage von Peng Zhang motiviert . Valiant hat gezeigt, dass das Zählen maximaler Cliquen in einem allgemeinen Graphen # P-vollständig ist, aber was ist, wenn wir uns auf Unvergleichbarkeitsgraphen beschränken (dh, wir möchten maximale Antichains in einem...
Parity-L, auch bekannt als L, ist die Menge von Sprachen, die von einer nicht deterministischen Turing-Maschine erkannt werden, die nur zwischen einer geraden Anzahl oder einer ungeraden Anzahl von "Akzeptanz" -Pfaden unterscheiden kann. Eine kürzlich gestellte verwandte Frage wurde von Niel de...
Es ist bekannt , dass , wenn N P ⊆ P / P o l yNP⊆P/PolyNP\subseteq P/Poly dann das Polynom Hierarchie kollabiert zu Σ P 2ΣP2\Sigma_2^{P} und M A = A MMA=AMMA = AM . Was sind die stärksten bekannten Zusammenbrüche, wenn N E X P ⊆ P / P o l yNEXP⊆P/PolyNEXP\subseteq P/Poly...
Ich hatte einige Nachforschungen angestellt, konnte aber in keiner Weise eine Antwort finden. Huck antwortete voll und ganz. Vielen Dank
Es gibt mehrere bekannte -Schaltungsgrößen-Untergrenzen-Ergebnisse, die auf Zufallsbeschränkungen und dem Umschalt-Lemma basieren .AC0AC0\mathsf{AC^0} Können wir ein Switching-Lemma-Ergebnis entwickeln, um eine Größenuntergrenze für -Schaltungen zu beweisen (ähnlich zu den Untergrenzenbeweisen für...
Cohn, Kleinberg, Szegedy und Umans stellen in ihrer bahnbrechenden Arbeit Gruppentheoretische Algorithmen für Matrixmultiplikationen das Konzept des einzigartig lösbaren Puzzles (unten definiert) und der USP-Kapazität vor. Sie behaupten , dass Copper und Winograd, in ihrem eigenen wegweisenden...
Die Gaußsche Eliminierung macht die Determinante einer Matrixpolynomzeit berechenbar. Die Verringerung der Komplexität bei der Berechnung der Determinante, die ansonsten die Summe der Exponentialausdrücke ist, beruht auf dem Vorhandensein alternativer negativer Vorzeichen (deren Fehlen die...
Die kleinste bekannte Formel für die Determinante hat die Größe gemäß der Folklore (oder laut Ran Raz in seiner Arbeit Multi-Lineare Formeln für Permanent und Determinante haben die Größe Super-Polynom ).nO(logn)nO(logn)n^{\mathcal O(\log n)} Haben Sie eine Referenz dafür? Was ist diese Formel im...
Ein Verteilungstestalgorithmus für eine Verteilungseigenschaft P (die nur eine Teilmenge aller Verteilungen über [n] ist) erlaubt den Zugriff auf Stichproben gemäß einer Verteilung D und muss entscheiden (whp), ob D∈PD∈PD\in P oder d(D,P)>ϵd(D,P)>ϵd(D,P)>\epsilon ( ddd hier normalerweise der...
Kennen Sie Probleme (vorzugsweise zumindest einigermaßen bekannte), bei denen für eine praktische Problemgröße ein Exponentialalgorithmus viel schneller ausgeführt wird als ein bekanntes Gegenstück zur Polynomzeit. Angenommen, ein Problem hat eine praktische Größe * von und es gibt zwei bekannte...
Wir kennen das Problem, die Anzahl der erfüllenden Zuordnungen in einer gegebenen allgemeinen Booleschen Formel (CNF-SAT), einer gegebenen DNF-Formel oder sogar einer gegebenen 2SAT-Formel zu zählen, als ein # P-vollständiges Problem. Betrachten Sie nun ein CNF-SAT ohne negatives Literal (no ,...