Wie wir wissen, nimmt die Clique-Funktion einen ( überspannenden ) Teilgraphen eines vollständigen Vertex-Graphen und gibt wenn eine Clique enthält . Variablen entsprechen in diesem Fall Kanten von . Es ist bekannt (Razborov, Alon-Boppana), dass diese Funktion für monotone Schaltkreise mit einer...
Mir ist aufgefallen, dass reguläre Sprachen über dem Alphabet natürlich als Poset und in der Tat als Gitter gedacht werden können. Darüber hinaus definiert die Verkettung zusammen mit der leeren Sprache eine strenge monoidale Struktur in dieser Kategorie, die über Joins verteilt ist (ich bin nicht...
Gibt es ein Beispiel für ein natürliches Problem, das in BPP vorkommt, bei RP oder Co-RP jedoch nicht bekannt
Betrachten Sie die folgenden Überlegungen: Sei die Kolmogorov-Komplexität der Zeichenkette x . Chaitins Unvollständigkeitssatz sagt das ausK(x)K(x)K(x)xxx für jedes konsistentes und formales System ausreichend starkes gibt es eine Konstante T (nur abhängig von dem formalen System und seiner...
Unter Verwendung des Carry-Look-Ahead-Algorithmus können wir die Addition unter Verwendung einer Schaltkreisfamilie mit einer Polynomgrößentiefe von 5 (oder 4?) berechnen . Ist es möglich, die Tiefe zu verringern? Können wir die Addition von zwei Binärzahlen unter Verwendung einer...
Ich bin ein Student und habe mich kürzlich mit der Tatsache abgefunden, dass ich möglicherweise nicht den Intellekt habe, um in der theoretischen Informatik zu forschen, oder nicht in der Lage bin, in ein Doktorandenprogramm aufgenommen zu werden und es abzuschließen. Ich würde mich aber trotzdem...
O(nlogn)O(nlogn)O(n\log n)1+O(n−c)1+O(n−c)1+O(n^{-c})cccO(n)O(n)O(n)(max−min)n−(c+1)(max−min)n−(c+1)(\max-\min)n^{-(c+1)}des ursprünglichen Werts, und verwenden Sie dann die Radix-Sortierung. Aber Modelle mit Rundung haben eine problematische Komplexitätstheorie, und dies führte mich zu der Frage,...
Die beste bekannte obere Schranke für die zeitliche Komplexität der Multiplikation ist Martin Fürers Schranke , die mehr als die lineare zeitliche Komplexität der Addition ist. Haben wir einen Beweis, dass Addition von Natur aus einfacher ist als Multiplikation?n logn 2O ( log∗n...
Ich werde nächstes Semester eine Standard-Grundstudienklasse für Sprachen und Automaten unterrichten und würde es vorziehen, einen legitimen kostenlosen oder kostengünstigen Text zu verwenden. Irgendwelche Vorschläge? Ich liebe den Sipser-Text, aber die neueste Ausgabe kostet 196 US-Dollar, was im...
Viele wichtige Ergebnisse in der rechnerischen Komplexitätstheorie und insbesondere in der "strukturellen" Komplexitätstheorie haben die interessante Eigenschaft, dass sie aus algorithmischen Ergebnissen, die für einige einen effizienten Algorithmus oder ein effizientes Kommunikationsprotokoll...
In Übereinstimmung mit KW Regans Artikel "Connect the Stars" erwähnt er am Ende, dass es immer noch ein offenes Problem ist, eine Darstellung von ganzen Zahlen zu finden, so dass die Additions-, Multiplikations- und Vergleichsoperationen in linearer Zeit berechenbar sind: Gibt es eine Darstellung...
Wir alle wissen, dass die Elementunterscheidbarkeit im vergleichsbasierten Modell nicht in der Zeit kann. Auf einem Wort-RAM kann man jedoch möglicherweise bessere Ergebnisse erzielen.o(nlogn)o(nlogn)o(n\log n) Wenn man davon ausgeht, dass es eine perfekte Hash-Funktion gibt, die in linearer Zeit...
Während ein bisschen auf Argumentation dieser Frage habe ich versucht , all die verschiedenen Gründe für die eine grafische Darstellung zu identifizieren nicht sein kann einfärbbar. Dies sind die einzigen 2 Gründe, die ich bisher identifizieren konnte:kG=(VG,EG)G=(VG,EG)G = (V_G,E_G)kkk GGG enthält...
Es gibt viele Stellen, an denen die Zahlen und angezeigt werden. Ich bin gespannt auf Algorithmen, deren Laufzeit den goldenen Schnitt oder im Exponenten
Hintergrund: Sei zwei Eckpunkte eines ungerichteten Graphen . Eine Vertexmenge ist ein Trennzeichen, wenn und zu verschiedenen verbundenen Komponenten von . Wenn keine geeignete Teilmenge eines Trennzeichens ein Trennzeichen ist, dann ist ein minimaler Trennzeichen. Ein Eckpunkt ist ein (minimaler)...
In einer cartesianischen Closed - Kategorie ( CCC ), gibt es die so genannten exponentiellen Objekte , geschrieben . Wenn ein CCC wird als ein Modell der einfach-typisiert Kalkül , ein exponentielles Objekt wie kennzeichnet die Funktion Raum vom Typ zu Typ . Ein exponentielles Objekt wird durch...
Motiviert durch Shors Antwort zu verschiedenen Begriffen der NP-Vollständigkeit suche ich nach einem Problem, das unter P-Reduktionen NP-vollständig ist, unter Logspace-Reduktionen jedoch (vorzugsweise für längere Zeit) nicht als NP-vollständig bekannt ist. Ist es auch schwieriger,...
Gibt es eine (sinnvolle) Möglichkeit, eine gleichmäßig zufällige boolesche Funktion deren Grad als reales Polynom höchstens beträgt ?df:{0,1}n→{0,1}f:{0,1}n→{0,1}f:\{0,1\}^n \to \{0,1\}ddd EDIT: Nisan und Szegedy haben gezeigt, dass eine Funktion des Grades von höchstens Koordinaten abhängt , daher...
Betrachten Sie die Sprache .EQUALITY={anbn∣n≥0}EQUALITY={anbn∣n≥0} \mathtt{EQUALITY} = \{ a^nb^n \mid n \geq 0 \} Es ist bekannt, dass von keiner sublogarithmisch-raumwechselnden Turing-Maschine (ATM) erkannt werden kann (Szepietowski, 1994) . (Es gibt einen Geldautomaten, der sublogarithmischen...
OK, das mag wie eine Hausaufgabe erscheinen und in gewissem Sinne ist es das auch. Als Hausaufgabe in einem Bachelor-Algorithmuskurs gab ich den folgenden Klassiker: Geben Sie bei einem ungerichteten Graphen G=(V,E)G=(V,E)G=(V,E) einen Algorithmus an, der einen solchen Schnitt