Bei der Beantwortung dieser Frage auf cstheory habe ich (informell) das folgende Theorem im Fluge bewiesen: Theorem : Für jede feste der Hamilton - Operator Zyklus probem bleibt NP-complete auch eingeschränkt , wenn bipartite ungerichtete Graphen der maximalen Grad planar 3, die keine Zyklen der...
Wir können uns die Kolmogorov-Komplexität eines Strings xxx als die Länge des kürzesten Programms PPP und yyy so eingeben , dass x=P(y)x=P(y)x = P(y) . Normalerweise werden diese Programme aus einem Turing-Komplett-Set erstellt (wie PPP die Beschreibung einer Turing-Maschine oder ein Programm in...
Wenn ein Graph mit maximalen Grad 3 und eine kleinere von ist , dann ist eine topologische minor von .GGGHHHGGGHHH Wikipedia zitiert dieses Ergebnis aus Diestels "Graphentheorie". Es ist als Prop 1.7.4 in der neuesten Version des Buches aufgeführt. Dem Buch fehlen Beweise oder Zitate. Sind die...
Ich suche einen Verweis (kein Beweis, den ich machen kann) auf die folgende Erweiterung von Chernoff. Lassen sind boolesche Zufallsvariablen, die nicht unbedingt unabhängig sind . Stattdessen ist garantiert, dass P r ( X i = 1 | C ) < p für jedes i und jedes Ereignis C ist , das nur von { X j |...
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...
Unique SAT ist das bekannte Problem: Stimmt es, wenn eine CNF-Formel ist, dass F genau ein Modell hat?FFFFFF Ich interessiere mich für das Problem «Genau SAT»: Stimmt es, wenn eine CNF-Formel F und eine ganze Zahl m > 1 gegeben sind , dass F genau m Modelle hat?mmmFFFm>1m>1m>1FFFmmm Beide...
Wir alle kennen also die untere Grenze des Vergleichsbaums von Über die ungünstigste Anzahl von Vergleichen, die mit einem (deterministischen) Vergleichs-Sortieralgorithmus durchgeführt wurden. Dies gilt nicht für die randomisierte Vergleichssortierung (wenn wir die erwarteten Vergleiche für die...
Es gibt Forscher, die zeigen, dass das Löschen von Bits Energie verbrauchen muss. Gibt es jetzt Forschungen zum durchschnittlichen Energieverbrauch von Algorithmen mit der Rechenkomplexität ? Ich vermute, die Komplexität von hängt mit dem durchschnittlichen Energieverbrauch zusammen. Ich hoffe, ich...
Ich bin mir ziemlich sicher, dass ich nicht der erste bin, der die Idee aufgreift, die ich präsentieren werde. Es wäre jedoch hilfreich, wenn ich Literatur zu dieser Idee finden könnte. Die Idee ist, eine Turing-Maschine M mit der Eigenschaft zu konstruieren, dass wenn P = NP, dann M 3-SAT in der...
Angenommen, man hat einen randomisierten (BPP) Algorithmus AAA Verwendung von rrr Zufallsbits . Natürliche Wege , um ihre Erfolgswahrscheinlichkeit zu verstärken 1−δ1−δ1-\delta , für jede gewählte δ>0δ>0\delta>0 , sind Unabhängige Läufe + Mehrheitsabstimmung: Laufen Sie AAA unabhängig...
Ich habe Freyds Artikel "Algebraically Complete Categories" in der berühmten Como90 gelesen und habe zwei Fragen zu dem Begriff der algebraischen Kompaktheit, den er in diesem Artikel definiert hat. (Wenn Sie mit der Definition nicht vertraut sind, ist es hier: Eine Kategorie heißt algebraisch...
Ich suche bibliografische Referenzen für den folgenden Algorithmus / das folgende Problem: Ich habe es "BiSelect" oder "t-ary Select" oder "Select in Union of Sorted Arrays" genannt, aber ich denke, es wurde zuvor unter einem anderen Namen eingeführt? Problem Betrachten Sie das folgende Problem:...
Ich mache derzeit einige formale Sprachrecherchen mit Sprachklassen über Regular, aber unter Context Free. Ich betrachte Dinge wie umkehrbar gebundene Multicounter-Maschinen, Single-Stack-Counter-Maschinen, deterministische CFLs usw. Ich frage mich, ob irgendjemand ein gutes Buch oder einen...
Ich lese Umfragen von Trevisan und Lovett zu Anwendungen von additiven kombinatorischen in TCS. Die Mehrzahl dieser Anwendungen fällt unter Rechenaufwand , z. B. Untergrenzen. Ich frage mich, ob additive Kombinatorik auch im Algorithmus-Design Anwendung gefunden hat . Die Motivation für meine Frage...
Ich hoffe, dass jemand einen Hinweis darauf kennt, sodass ich die Literatur nicht lesen muss ... Betrachten Sie eine Folge von Zahlen . Stellen Sie sich die Sequenz als n - 1 Intervalle [ x 1 , x 2 ] , [ x 2 , x 3 ] , … , [ x n - 1 , x n ] vor . Es ist klar, dass die ursprüngliche Sequenz bitonisch...
Ist bekannt, ob das Problem der Rückkopplungsscheitelpunktmenge auf ungerichteten planaren Graphen mit begrenztem Grad -hart ist?N
Ein MPA (Multipebble-Automat) ist ein 2DFA (bidirektionaler deterministischer endlicher Automat), der eine beliebige Anzahl von Steinen verwenden kann (tatsächlich höchstens Steine auf einer gegebenen Eingabe w - die Eingabe wird auf das Band zwischen zwei Enden geschrieben -Markierungen als # w...
Dyck-Sprachen durch die folgende Grammatik S → S S definiertDyck(k)Dyck(k)\mathsf{Dyck}(k) über der Menge der Symbole { ( 1 , … , ( k , ) 1 , … , ) k } . Intuitiv sind Dyck-Sprachen die Sprachen der ausgeglichenen Klammern von kS→SS|(1S)1|…|(kS)k|ϵS→SS|(1S)1|…|(kS)k|ϵ S \rightarrow SS \,|\, (_1 S...
Wenn Sie eine Sammlung von Teilaufträgen erhalten, werden Sie anhand der topologischen Sortierung darüber informiert, ob eine Erweiterung der Sammlung auf einen Gesamtauftrag vorliegt (eine Erweiterung ist in diesem Fall ein Gesamtauftrag, der mit jedem der Teilaufträge übereinstimmt). Ich bin auf...
Ich bin ein Mathematik-Hauptfach, das sich für TCS interessiert. Ich möchte die Algorithmen und deren Komplexität zum Lösen der gruppentheoretischen Probleme wie Reihenfolge der Elemente finden, Aufzählung der Nebenmengen, Generator finden und testen, ob eine gegebene Teilmenge die Gruppe erzeugt....