Ich habe diese Webanwendung gefunden, mit der Sie einen kostenlosen Satz für einen bestimmten Typ erstellen können. Die generierten Theoreme quantifizieren über Typen und Beziehungen zu diesen Typen. Diese Sätze (Formeln) sind Sätze von welcher Theorie / welchem logischen System? In welcher...
Ich habe das berühmte Buch von Alon und Spencer über die probabilistische Methode in der Kombinatorik gelesen. Gibt es eine Umfrage oder Vorlesungsunterlagen zu den jüngsten Fortschritten und Beziehungen zu den folgenden komplexitätstheoretischen Themen dieser Methode über dieses Lehrbuch hinaus?...
Betrachten Sie jede Sprache . Definieren Sie s ( L ) ∈ { 0 , 1 } ω (eine unendliche Folge von Bits) durch die rekursive FormelLLLs(L)∈{0,1}ωs(L)∈{0,1}ωs(L) \in {\lbrace 0, 1 \rbrace}^\omega s(L)n=χL(s(L)<n)s(L)n=χL(s(L)<n)s(L)_n=\chi_L(s(L)_{>0:s(L)_n=\chi_U(s(L)_{0:s(L, a)_{2n}=\chi_V(s(L,...
Gibt es einen alternativen Beweis oder eine Darstellung des Ergebnisses von Grigoriev und Karpinski (STOC 1998, doi: 10.1145 / 276698.276872 ) für die exponentiellen Untergrenzen für arithmetische Schaltungen der Tiefe 3, die über ein festes endliches Feld berechnen ?D E T.n ×...
Dies ist durch meine vorherige Frage, Superpolynom-Zeitnäherungsalgorithmen für MAX-3SAT, motiviert . Für viele Optimierungsprobleme haben wir für jedes eine ungefähre Untergrenze Annahme einer weithin angenommenen komplexitätstheoretischen Vermutung. Mit anderen Worten, es gibt keinen...
Ich las Harry Frankfurts On Bulls * t , einen philosophischen Aufsatz von 1986 über diese verschwommene Vorstellung zwischen Wahrheit und Falschheit. Dies ist keine unentgeltliche Übung. Dies kann Anwendungen in der Informatik haben, da wir immer Datensätze ineinander leiten . Einige dieser...
Ich möchte den Goldberg & Rao-Algorithmus implementieren, um einen Maxflow in einem Diagramm zu finden. Mein Problem ist der Aktualisierungsschritt, in dem in jedem Papier und Bericht angegeben ist: "Suchen Sie in der resultierenden Grafik einen blockierenden Fluss oder einen Wertfluss Delta."...
Um Nicht-Mathematikern das P vs NP-Problem erklären zu können, hätte ich gerne ein pädagogisches Beispiel dafür, wann eine Brute-Force-Suche vermieden werden kann. Das Problem sollte im Idealfall sofort verständlich sein und der Trick sollte weder zu einfach noch zu schwer sein. Das Beste, was ich...
Wir möchten wissen, ob es bekannte Approximationsergebnisse für den kardinalitätsbeschränkten minimalen - - Schnitt in gerichteten Graphen gibt. Ein solches Ergebnis konnten wir in der Literatur nicht finden.sssttt Das Problem ist wie folgt definiert: Instanz: Ein gerichteter Graph , eine...
In der Arbeit "Effiziente CNF-Codierung zur Auswahl von 1 aus N Objekten" stellen die Autoren ihre "Commander Variable" -Technik zur Codierung der Einschränkung vor und sprechen dann über das Pigeonhole-Problem. Da mein Fehler möglicherweise im Verständnis auf niedrigerer Ebene besteht, möchte ich...
Akzeptierte Antwort Scott Aaronsons Antwort wurde "akzeptiert" (hauptsächlich, weil es die einzige Antwort ist!) Zusammenfassung der Antwort in einem Satz Plausibel natürliche Verallgemeinerungen der Frage P gegen NP sind offensichtlich nicht einfacher zu lösen als P gegen NP selbst. Ein...
Ford-Fulkerson kann spärliche zeitliche Strömungen in der Größe der Strömung und der Anzahl der Knoten finden, wenn die Kanten eine Einheitskapazität haben. Wie könnte ich einen spärlichen st-Fluss verwenden, um einen st-min-Zeitschnitt zu finden, der proportional zur Größe des Flusses und zur...
Angenommen, wir haben einen Graphen mit n Eckpunkten, der weder eine Clique der Größe 3 log ( n ) noch einen unabhängigen Satz der Größe 3 log ( n ) enthält (zum Beispielerfüllt G ( n , 0,5 ) diese Eigenschaft mit hoher Wahrscheinlichkeit). Stimmt esdass die Anzahl der Kanten von G wenigstens n 2 /...
Während ich die Frage diskutiere, die ich hier gestellt habe , stoßen @NealYoung und ich auf ein anderes Problem, nämlich die Beurteilung der Komplexität des folgenden Problems: Bei einem verbundenen ungerichteten Graphen wird eine Teilmenge der Kanten mit maximaler Größe gefunden, sodass jeder...
Die Komplexitätstheorie scheint eher auf Entscheidungsproblemen als auf Funktionen zu beruhen. Wer hat dies zuerst eingeführt und was ist der Grund für diese Wahl? Zum Beispiel wird Edmonds 'Papier "Pfade, Bäume und Blumen" im Allgemeinen als Quelle des Begriffs " der die Menge der...
Ein bekannter Trick zum Speichern von Bitvektoren unter Verwendung eines nicht initialisierten Speichers kann einen Bitvektor der Größe zuweisen, bei dem alle Bits auf 0 gesetzt werden, indem ( 2 n + 1 ) ⌈ lg n ⌉ Speicherbits zugewiesen und nur ⌈ lg initialisiert werden n ⌉ von ihnen. Diese...
Ich suche nach Beispielen in Spielen wie Go, Chess und Backgammon, bei denen sich der als optimal erachtete Zug als suboptimal herausstellte, da ein Computer bessere Strategien gefunden
Betrachten Sie einen Graphen mit Eckpunkten und maximalem Grad Δ . Ich würde gerne herausfinden, ob der Graph s Cliquen hat, wobei s ≤ Δ ist und beide im Vergleich zu n klein sind . Ich muss nur eine einzige solche Clique finden (oder bestätigen, dass es keine gibt)nnnΔΔ\Deltassss≤Δs≤Δs \leq...
Definieren Sie das SAT-Problem: Gegeben sei , eine erfüllbare 3-CNF-Formel, und , eine 2-CNF-Formel ( und sind für dieselben Variablen definiert). Ist erfüllbar?(3,2)s(3,2)s(3,2)_sF3F3F_3F2F2F_2F3F3F_3F2F2F_2F3∧F2F3∧F2F_3 \wedge F_2 Was ist die Komplexität dieses Problems? (Wurde es schon einmal...
Angenommen, Alice empfängt eine Teilmenge und Bob empfängt T ⊆ { 1 , … , n } . Es wird versprochen, dass | S ∩ T | = 1 . Was ist die zufällige Kommunikationskomplexität bei der Bestimmung des gemeinsamen Elements S ∩ T ?S.⊆ { 1 , … , n }S⊆{1,…,n}S \subseteq \{1,\dots,n\}T.⊆ { 1 , … , n }T⊆{1,…,n}T...