Es ist bekannt, dass zufällige CNF-Formeln über Variablen mit Klauseln mit hoher Wahrscheinlichkeit für eine ausreichend große Konstante erfüllt werden können (dh sie sind Widersprüche) . Zufällige CNF-Formeln (für groß genug) bilden somit eine natürliche Verteilung über nicht erfüllbare Boolesche...
Eine gegebene Vertex ungerichteten Graphen, was ist das bekannteste Laufzeit für gebundene finden einen Untergraphen , die eine -biclique? Gibt es schneller parametrisierte Algorithmen als den -Zeitalgorithmus zum "Erraten" einer Seite des Fahrrads und zum Überprüfen, ob es mindestens andere...
Während ich Dick Liptons Blog las, stieß ich gegen Ende seines Bourne-Factor- Posts auf folgende Tatsachen : Wenn für jedes nnn eine Beziehung der Form (2n)!=∑k=0m−1akbckk(2n)!=∑k=0m−1akbkck (2^n)! = \sum_{k=0}^{m-1} a_k b_k^{c_k} wobei m=poly(n)m=poly(n)m = poly(n) , und jedes der akaka_k ,...
Ich bin daran interessiert, ein Array positiver ganzzahliger Werte in linearer Zeit zu sortieren (im RAM-Modell mit einheitlichem Kostenmaß, dh ganze Zahlen können bis zu logarithmischer Größe haben, aber es wird angenommen, dass arithmetische Operationen auf sie angewendet werden Zeiteinheit)....
Nehmen Sie einen gerichteten Graphen bei dem die Kanten mit einer natürlichen Zahl verziert sind. Wir wollen die Menge aller Pfade P zwischen zwei Eckpunkten v 1 und v 2 so, dass jede aufeinanderfolgende Kante im Pfad mit einer natürlichen Zahl verziert wird, die größer ist als die natürliche Zahl,...
Das Zählen von Dreiecken in allgemeinen Diagrammen kann trivial in und ich denke, dass es schwierig ist, viel schneller zu arbeiten (Referenzen erwünscht). Was ist mit planaren Graphen? Das folgende unkomplizierte Verfahren zeigt, dass es in O ( n log n ) Zeit durchgeführt werden kann. Meine Frage...
Ich werde mein Problem mit einem Beispiel vorstellen. Angenommen, Sie entwerfen eine Prüfung, die aus einer bestimmten Menge von nnn unabhängigen Fragen besteht (die die Kandidaten entweder richtig oder falsch beantworten können). Sie möchten sich für eine Punktzahl entscheiden, die für jede der...
Ich frage mich, ob es Papiere oder Forschungsergebnisse gibt, die sich mit sichtbaren Pushdown-Automaten befassen, aber es erlaubt, dass Wörter anstatt einzelner Buchstaben auf den Stapel geschoben werden. Alternativ könnte eine Konstruktion, mit der Symbole auf symbols- verschoben werden können,...
Ist das folgende Manuskript öffentlich verfügbar? Dana Scott, 1969, Eine Theorie von berechenbaren Funktionen höheren Typs . Unveröffentlichte Seminarunterlagen, 7 Seiten, University of Oxford. In Abschnitt 8.1.2, Typen als Mengen , in Cardone & Hindley, 2006 History of Lambda-calculus and...
π 1 : A × B → A π 2 : A × B → BA × B≜ ∀ & agr; .( A → B → α ) → αA×B≜∀α.(A→B→α)→α A \times B \triangleq \forall\alpha.\; (A \to B \to \alpha) \to \alpha π1: A × B → Aπ1:A×B→A\pi_1 : A \times B \to Aπ2: A × B → Bπ2:A×B→B\pi_2 : A \times B \to B Dies ist nicht so überraschend, obwohl die...
Gibt es mittlerweile einfachere Algorithmen / Beweise zur Triangulation eines planaren Polygons in linearer Zeit? Was ist eine gute Informationsquelle zum Stand der Technik für dieses berühmte
Ich interessiere mich für die Erzeugung von Pseudozufallszahlen für die Kryptographie. Neben Kapitel 5 von Menezes / Oorschot / Vanstone ; Kapitel 8 von Stinson ; und Kapitel 3 von Goldreich , wo sonst könnte ich mehr finden? Ich interessiere mich für allgemeine Prinzipien zum Entwerfen von PRNGs...
Beim Lesen der Abhandlung " Eine anwendungsbezogene Theorie für FPH " können Sie folgende Passage finden: In Anbetracht der Theorien, die Klassen von Rechenkomplexität charakterisieren, gibt es drei verschiedene Ansätze: in einem Fall sind die Funktionen, die innerhalb der Theorie definiert werden...
Wie jeder weiß, bietet das berühmte Buch von Garey und Johnson (und viele andere) eine hervorragende Referenz für die Reduktionstechnik in klassischer Umgebung. Gibt es Umfragen oder Bücher zum Thema Reduktionstechnik in parametrisierten Algorithmen, etwa zur
Was soll ich lesen, um dieses Problem zu verstehen? Die Leistung von Quantenschaltungen mit geringer Tiefe. Ist ? Mit anderen Worten, kann der "Quanten" -Teil eines beliebigen Quantenalgorithmus auf Polylog (n) -Tiefe komprimiert werden, vorausgesetzt, wir sind bereit, eine klassische...
Ich habe eigentlich zwei Fragen: Wer benutzte zuerst logische Beziehungen, um die Semantik in Beziehung zu setzen? Ich habe sie auf Reynolds " Über die Beziehung zwischen direkter und Fortsetzungssemantik " zurückgeführt, aber ich kann nicht behaupten, eine erschöpfende Suche durchgeführt zu haben....
Ich benutze den Titelbegriff sehr locker. Die evolutionäre Spieltheorie, einschließlich ihrer mathematischen Grundlagen, ist in erheblichem Umfang erforscht. Mir wurde "Evolutionary Games and Population Dynamics" empfohlen, aber ich habe mich noch nicht damit befasst. Es gibt auch viel Arbeit zur...
Lassen Sie bezeichnen die Menge { 1 , . . . , n } und C (n, k) bezeichnen die Menge aller k- Kombinationen von Elementen aus [ n ] ohne Wiederholung. Sei p = p 1 p 2 . . . p k ist ein k- Tupel in C ( n , k ) . Wir sagen, dass eine Permutation π : [ n ] → [
Bearbeiten: Da ich seit einer Woche keine Antworten / Kommentare mehr erhalten habe, möchte ich hinzufügen, dass ich froh bin, etwas über das Problem zu hören. Ich arbeite nicht in der Gegend, auch wenn es eine einfache Beobachtung ist, weiß ich es vielleicht nicht. Sogar ein Kommentar wie "Ich...
Bei gegebenen Mengen und B wird eine difunktionelle Beziehung ( ∼ ) ⊆ A × B zwischen ihnen als eine Beziehung definiert, die die folgende Eigenschaft erfüllt:EINEINABBB (∼)⊆A×B(∼)⊆A×B(\sim) \subseteq A \times B Wenn und a ' ∼ b ' und a ∼ b ' , dann ist a ' ∼ b . ein∼ba∼ba \sim ba′∼b′a′∼b′a' \sim...