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...
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...
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...
Es sei daran erinnert, dass die Breite einer Auflösungs-Widerlegung einer CNF-Formel die maximale Anzahl von Literalen in einer Klausel ist, die in . Für jedes gibt es nicht erfüllbare Formeln in 3-CNF. Jede Auflösungs-Widerlegung von erfordert eine Breite von mindestens .RRRFFFRRRwwwFFFFFFwww Ich...
Wir sagen , daß eine Funktion f:N→Nf:N→Nf:\mathbb{N}\rightarrow\mathbb{N} ist zeit konstruierbar , wenn es ein deterministisches Mehrbandturingmaschine existiert MMM daß an allen Eingängen der Länge nnn Fabrikate höchstens f(n)f(n)f(n) Schritte und für jeden nnn dort eine Eingabe besteht aus Länge...
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...
Definieren Sie als die Klasse von Sprachen, die von einer (Multitape-) Turing-Maschine in der Zeit f ( n ) + 1 akzeptiert werden können . (Die " + 1 " dient nur zur Vereinfachung der Notation und zur Vermeidung von Verwirrung.) Beachten Sie, dass um f ( n ) + 1 kein O ( ⋅ ) vorhanden ist...
Ich habe einen Teil eines Beweises Versuch von ⊕P⊆NP⊕P⊆NP\oplus \mathbf{P} \subseteq \mathbf{NP} . Der Beweisversuch besteht aus einer Karp-Reduktion vom ⊕P⊕P\oplus \mathbf{P} vollständigen Problem ⊕⊕\oplus 3-REGELMÄSSIGE VERTEX-ABDECKUNG auf SAT. Bei einem kubischen Graphen GGG gibt die Reduktion...
Durch http://www.cs.umd.edu/~jkatz/complexity/relativization.pdf Wenn AAA eine PSPACE-vollständige Sprache ist, PA=NPAPA=NPAP^{A}=NP^{A} . Wenn ein deterministisches Polynom-Zeit-Orakel ist, ist P B ≤ N P B (unter der Annahme von P ≤ N P ).BBBPB≠NPBPB≠NPBP^{B}\ne NP^{B}P≠NPP≠NPP\ne NP ist die...
CMSOL zählt die monadische Logik zweiter Ordnung, dh eine Logik von Graphen, bei der die Domäne die Menge von Scheitelpunkten und Kanten ist, es Prädikate für die Scheitelpunkt-Adjazenz und die Scheitelpunkt-Inzidenz gibt, es gibt eine Quantifizierung über Kanten, Scheitelpunkte, Kantensätze und...
Nehmen wir an, wir entdecken fremde Zivilisationen, die Nachrichten über einen interstellaren digitalen Kommunikationskanal senden und empfangen können. (Sagen wir, wir verwenden modulierte Radiowellen, Laserpulse und positionieren Sterne in verschiedenen Umlaufbahnen.) Nehmen wir an, wir haben uns...
Was ist die minimale Baumbreite einer Schaltung über {∧,∨,¬}{∧,∨,¬}\{\wedge,\vee,\neg\} für die Berechnung von MAJ? Hier MAJ :{0,1}n→{0,1}:{0,1}n→{0,1}:\{0,1\}^n \rightarrow \{0,1\} gibt 1 aus, wenn mindestens die Hälfte seiner Eingänge 111 . Ich kümmere mich nur um die Größe der Schaltung (sollte...
Wissen wir, dass die -Hierarchie nicht zusammenbricht ( für alle d )?TC0TC0\mathsf{TC^0}TC0d⊊TC0d+1TCd0⊊TCd+10\mathsf{TC^0_d} \subsetneq \mathsf{TC^0_{d+1}}ddd Der Zoo-Eintrag für TC0TC0\mathsf{TC^0} erwähnt nur die Trennung zwischen Tiefe 2 und 3. Gibt es auch eine Standardreferenz für die...
Bei einem gerichteten Graphen mit n Knoten, bei dem jeder Scheitelpunkt genau zwei ausgehende Kanten hat, und einer natürlichen Zahl N, die binär codiert ist, zwei Scheitelpunkte s und t, Ich möchte die Anzahl der (nicht unbedingt einfachen) Pfade von s bis t innerhalb von N Schritten zählen. Ist...
Es ist nun bekannt, dass die untere Grenze des allgemeinen Gegners die Komplexität von Quantenabfragen aufgrund der bahnbrechenden Arbeiten von Reichardt et al. Dieselbe Arbeitslinie stellt auch Verbindungen zum Span-Programm-Framework her, um Quantenalgorithmen zu entwerfen. Viele interessante...
Let bezeichnen die Mindestgröße eines (nicht-monotone) arithmetic ( + , x , - ) Schaltung Berechnen eines gegebenen multi Polynom f ( x 1 , ... , x n ) = Σ e ∈ E c e n Π i = 1 x e i iA(f)A(f)A(f)(+,×,−)(+,×,−)(+,\times,-) und B ( f ) bezeichnen die minimale Größe einer (nicht monotonen) booleschen...
In dem berühmten Gegenbeispiel zur Graphisomorphie nach Weisfeiler-Lehman (WL) wurde das folgende Gadget in dieser Arbeit von Cai, Furer und Immerman konstruiert . Sie konstruieren einen Graphen Xk=(Vk,Ek)Xk=(Vk,Ek)X_k = (V_k, E_k) gegeben durch
Fix ein NP-vollständiges Suchproblem zB die Suchform von SAT. Die Levinsuche liefert einen Algorithmus zum Lösen von der in gewissem Sinne optimal ist. Im Einzelnen lautet der Algorithmus "Führe alle möglichen Programme in Verzahnung mit der Eingabe , sobald die Antwort zurückgibt prüft, ob sie...
Ein Hauptproblem bei TCS ist das Problem, eine bleibende Karte als Determinante auszudrücken. Ich habe Agrawals Artikel Determinant Versus Permanent gelesen und in einem Absatz behauptet er, das umgekehrte Problem sei einfach. Es ist leicht zu erkennen, dass die Determinante einer Matrix als die...