Wenn ein endlicher (deterministischer oder nicht deterministischer) Automat A und ein Schwellenwert n gegeben sind , akzeptiert A ein Wort, das höchstens n verschiedene Buchstaben enthält? (Mit k verschiedenen Buchstaben meine ich, dass aabaa zwei verschiedene Buchstaben hat, a und b .) Ich habe gezeigt, dass dieses Problem NP-vollständig ist, …
Angenommen, wir haben eine Graph-Eigenschaft, die in nicht deterministischer Polynomzeit überprüft werden kann, und einen Beweis in einem schwachen formalen System (sagen wir RCA 0 ), dass die Eigenschaft minor closed ist. Können wir etwas über die Stärke eines formalen Systems sagen, das beweisen kann, dass eine gegebene endliche Menge …
Adleman hat 1978 gezeigt, dass : Wenn eine boolesche Funktion von Variablen durch eine probabilistische boolesche Schaltung der Größe berechnet werden kann , dann kann auch durch eine deterministische berechnet werden Boolesche Schaltung des Größenpolynoms in und ; eigentlich von Größe . f n M f M n O ( …
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 Überlegung …
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 (rekursiven) Funktion verbunden ist. Ein Begriff des Schwierigkeitsgrades des Rechnens wird eingeführt und untersucht. …
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 gebunden zu haben …
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 der Größe von n basiert. mP / poly ist die …
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 Sorte von G in λ …
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 …
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 untersucht wurden (stellen Sie sich zum Beispiel eine Kette …
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 Lehrbuch von Flum und Grohe …
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) Mittel , um die Permutation Anwendung ππ\pi auf uuu …
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 Beispiel besagt das Konig-Hall-Theorem, dass alle kubischen zweigeteilten Graphen dreikantig färbbar sind, die …
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 …
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 dass(x1,…,xn)∈{−1,1}n(x1,…,xn)∈{−1,1}n(x_1,\ldots,x_n)\in\{-1,1\}^n ∑i=1naixi=0and∑i=1naixi=0and\sum_{i=1}^na_ix_i=0\qquad\text{and} ∑i=1kaixi⩾0for all k∈{1,…,n}∑i=1kaixi⩾0for all k∈{1,…,n}\sum_{i=1}^ka_ix_i\geqslant 0\quad\text{for all }k\in\{1,\ldots,n\} Ohne die zweite Bedingung ist es nur PARTITION, daher NP-hart. Die zweite Bedingung …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.