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...
Nach meinem Verständnis müsste ein Beweis, dass P = NP oder P ≠ NP ist, nicht relativierbar sein (wie in Orakeln der Rekursionstheorie). Praktisch alle Beweise scheinen jedoch relativierbar zu sein. Was sind gute Beispiele für nicht relativierbare Beweise, wie sie ein P = NP / P ≠ NP-Beweis...
Kann das folgende alles gleichzeitig halten? LsLsL_s ist in für alle positiven ganzen Zahlen .Ls+1Ls+1L_{s+1}sss L=⋃sLsL=⋃sLsL = \bigcup_s L_s ist die Sprache aller endlichen Wörter über .{0,1}{0,1}\{0,1\} Es besteht eine gewisse Komplexitätsklasse und eine Vorstellung der Reduktion geeignet für ,...
In einer kürzlich gestellten Frage (siehe Konsequenzen von NP = PSPACE ) wurden die "schlimmen" Konsequenzen von erfragt . Die Antworten Liste nicht wenige Zusammenbruch Folgen, einschließlich N P = c o N P und andere, viel von Gründen zu glauben , N P ≠ P S P A C E
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...
Ich beschäftige mich kürzlich mit dem BSS-Berechnungsmodell (vgl. Zum Beispiel Complexity and Real Computation; Blum, Cucker, Shub, Smale). Für reelle ist gezeigt, dass bei gegebenem System von Polynomen f 1 , ⋯ , f m ∈ R [ x 1 , ⋯ , x n ] die Existenz von Nullen N P R -komplett ist. Ich frage mich...
Der Titel ist ein bisschen irreführend, aber die Frage ist hoffentlich nicht: Grønlund und Pettie das neue Ergebnis zeigt , dass 3sum nur Entscheidungsbaum Komplexität hat mich gefragt:O(n3/2)O(n3/2)O(n^{3/2}) Gibt es ein einfaches Beispiel für ein Problem mit einer Entscheidungsbaumkomplexität von...
Ich habe eine Reduzierung des folgenden Partitionsproblems auf ein bestimmtes Planungsproblem: Eingabe: Eine Liste positiver Ganzzahlen in nicht absteigender Reihenfolge.a1⩽⋯⩽ana1⩽⋯⩽ana_1\leqslant\cdots\leqslant a_n Frage: Gibt es einen Vektor so
Hintergrund: Entscheidungsbaumkomplexität oder Abfragekomplexität ist ein einfaches Berechnungsmodell, das wie folgt definiert ist. Sei eine Boolesche Funktion. Die deterministische Abfragekomplexität von , bezeichnet mit , ist die minimale Anzahl von Bits der Eingabe , die (im schlimmsten Fall)...
Wenn ein Algorithmus in der Zeit abläuft, können wir ihn für das gleiche Größenproblem in eine "triviale" einheitliche Schaltkreisfamilie umwandeln, höchstens .≈ t ( n ) log t ( n )t ( n )t(n)t(n)≈ t ( n ) logt ( n )≈t(n)Logt(n)\approx t(n)\log t(n) Andererseits könnte es sein, dass wir für dieses...
Beim Erweiterbarkeitsproblem erhalten wir einen Teil der Lösung und wir möchten entscheiden, ob wir es zu einer vollständigen Lösung erweitern können. Einige Erweiterbarkeitsprobleme sind effizient lösbar, während andere Erweiterbarkeitsprobleme ein einfaches Problem in ein schweres verwandeln. Zum...
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...
Bei einer Gruppe GGG von Permutationen auf [n]={1,⋯,n}[n]={1,⋯,n}[n]=\{1, \cdots, n\} und zwei Vektoren u,v∈Γnu,v∈Γnu,v\in \Gamma^n wobei ΓΓ\Gamma ein endliches Alphabet ist, das hier nicht ganz relevant ist, ist die Frage, ob es etwas π∈Gπ∈G\pi\in G , so dass π(u)=vπ(u)=v\pi(u)=v wo π(u)π(u)\pi(u)...
Während ich einen kleinen Beitrag über die Komplexität der Videospiele Nibbler und Snake schreibe ; Ich fand heraus, dass beide als Rekonfigurationsprobleme auf ebenen Graphen modelliert werden können. und es ist unwahrscheinlich, dass solche Probleme im Bereich der Bewegungsplanung nicht gut...
Ist etwas über den zweitkleinsten - t - Schnitt in einem Fließnetz bekannt? Oder allgemeiner zu diesem Problem:sssttt Eingabe: Ein Netzwerk und eine Zahl k , alle binär. Ausgabe: A k kleinster s - t Schnitt.NNNkkkkkksssttt Ein - ten kleinsten s - t Schnitt ( S , T ) ist keine s - t geschnitten, so...
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...
Betrachten Sie das Problem, bei dem wir als Eingabe einen gerichteten azyklischen Graphen , eine Markierungsfunktion λ von V bis zu einer Menge L mit einer Gesamtordnung < L (z. B. die ganzen Zahlen) erhalten und dazu aufgefordert werden Berechnen Sie die lexikographisch kleinste topologische...
Wenn wir beweisen wollen , dass ein ist -komplette, dann wird der Standard - Ansatz ist ein Polynom berechenbare viel eine Reduktion eines bekannten zu zeigen -komplette Problem zu . In diesem Zusammenhang brauchen wir keine feste Grenze für die Laufzeit der Reduktion. Es genügt, jedes Polynom...
Ich suche nach: Michael O. Rabin, "Schwierigkeitsgrad der Berechnung einer Funktion und eine teilweise Anordnung von rekursiven Mengen", Hebrew University, Jerusalem, 1960 Zusammenfassung: „Wir versuchen, den Arbeitsaufwand zu messen, der mit der Berechnung einer bestimmten berechenbaren...
Lance Fortnow behauptete kürzlich, dass der Nachweis von L! = NP einfacher sein sollte als der Nachweis von P! = NP : NP vom logarithmischen Raum trennen. Ich habe in einer vor dem Blog 2001 durchgeführten Umfrage zur Diagonalisierung (Abschnitt 3) vier Ansätze genannt, von denen jedoch keiner eine...