Die Datenflussanalyse erfolgt über ein Kontrollflussdiagramm. Wenn eine betrachtete Sprache Ausnahmen unterstützt, kann das Kontrollflussdiagramm explodieren. Was sind die Standardtechniken für den Umgang mit dieser Explosion? Können wir ausnahmsweise hervorgerufene Kanten ignorieren?...
Definition. Bei einem gegebenen Graphen und zwei Scheitelpunkte s und t , die k -shortest-Pfade Problem ist das Finden der k kürzesten einfache Wege zwischen s und t in G .G = ( V., E.)G=(V,E)G=(V,E)ssstttkkkkkkssstttGGG Es ist zu beachten, dass die Länge dieser Pfade nicht notwendigerweise gleich...
Es ist bekannt, dass eine "Pump" -Eigenschaft (Wörter einer bestimmten Länge implizieren das Vorhandensein von Schleifen im sprachdefinierenden Mechanismus) für reguläre und kontextfreie Sprachen und einige weitere (normalerweise verwendet, um die Zugehörigkeit einer Sprache zu einer bestimmten...
In Computational Complexity: Modern Approach von Arora und Barak wird dies erwähnt Wir benötigen jedoch da das Arbeitsband die Länge , und wir möchten, dass sich die Maschine zumindest den Index der Zelle des aktuell gelesenen Eingabebandes merken kann.S.( n ) > lognS(n)>lognS(n)> \log nnnn...
Gestern war StackOverflow eine halbe Stunde lang nicht verfügbar. Später schrieben sie einen Blog-Beitrag darüber , in dem sie ausführlich darlegten, dass das Problem auf eine unerwartet hohe Komplexität des Abgleichs regulärer Ausdrücke zurückzuführen sei. Kurz gesagt, der reguläre Ausdruck...
Adams beschreibt einen Divide-and-Conquer-Algorithmus zum Finden der Vereinigung zweier Mengen (dargestellt als gewichtsausgeglichene binäre Suchbäume). Anschließend beschreibt er einen damals neuen "Hedge Union" -Algorithmus, von dem er behauptet, dass er den Divide-and-Conquer-Algorithmus...
[Hinweis: Dieses Problem wurde von Pokemon Go inspiriert. Ich werde das Problem zuerst in mathematischen Begriffen erklären und dann die Verbindung zu Pokemon Go erklären. Mein Ziel ist es nicht, im Spiel zu schummeln. Wenn ich schummeln wollte, wären bessere Informationen leichter verfügbar.]...
Ich lese den Artikel NJ Larsson, A. Moffat: Offline Dictionary-Based Compression , der einen Komprimierungsalgorithmus beschreibt, der, wenn ich ihn richtig verstehe, der Bytepaar-Codierung ziemlich ähnlich ist . Bei einer Zeichenfolge der Länge versuche ich zu verstehen, wie man sie mit dieser...
Mein Problem ist es, alle ganzzahligen Lösungen für einen ILP zu finden. Als Beispiel verwende ich ein ILP mit zwei Variablen, aber möglicherweise habe ich mehr als zwei Variablen. Ich beschreibe die Methode, die ich derzeit verwende, um dieses Problem gegen Ende zu lösen, aber ich bin daran...
Nach einigen Folien I in Google gefunden, die Baumweite jedes Graph quadratischen Gitter ist . Ich habe gerade angefangen, über Baumbreite und Baumzersetzung zu recherchieren, und zum größten Teil macht es Sinn. Ich interessiere mich jedoch besonders für den Fall des Quadratgittergraphen, habe mich...
Mein Lehrbuch enthält die folgende Definition eines Primärschlüssels in einer relationalen Datenbank, die ich nicht ganz verstehe. Hilfe wäre sehr dankbar. Sei eine Beziehung. Dann ist der Primärschlüssel für R eine Teilmenge der Menge von Attributen von R , beispielsweise K , die die folgenden...
Ein Reed-Solomon-Fehlerkorrekturcode, der aus N Symbolen besteht, erkennt garantiert bis zu N Einzelsymbol-Ersetzungen in einer beliebig langen Eingabe plus dem ECC selbst und korrigiert garantiert bis zu Etage (N / 2) Einzelsymbol Ersatz in der gleichen. Ich kann nicht behaupten, die Mathematik...
Vor kurzem habe ich mein Studium in Typentheorie / Typensystemen und Lambda-Kalkül begonnen. Ich habe bereits über Simple Typed Lambda Calculus im Church- und Curry-Stil gelesen. Das letzte ist auch als Type Assignment System (TA) bekannt. Ich denke über die Beziehungen zwischen TA und...
Betrachten Sie Begriffe, die aus Elementen von und den Operationen und für jede natürliche Zahl . Gibt es angesichts des Versprechens, dass zwei Terme gut geformt sind - das heißt, es gibt keine Division durch Null und keine geraden Wurzeln negativer Zahlen - einen Algorithmus, der entscheidet,...
Im Unterricht zeigte uns unser Professor drei Methoden zum Nachweis der Nichtregelmäßigkeit: Myhill-Nerode-Theorem Pumping Lemma für reguläre Sprachen Beweis der Nichtregelmäßigkeit, basierend auf der Kolmogorov-Komplexität Jetzt habe ich die ersten beiden, Myhill-Nerode-Theorem und Pumping-Lemma,...
Bei einer Menge von Datenpunkten X={x1,x2,…,xm}X={x1,x2,…,xm}X = \{x_1, x_2, \ldots, x_m\} wobei xi∈Rdxi∈Rdx_i \in \mathbb{R}^d wir K-Mittel auf XXX und erhalten die Cluster c1,c2,…,ckc1,c2,…,ckc_1, c_2, \ldots, c_k . Wenn wir nun einen neuen Datensatz wobei und und K-means auf ausführen , um die...
Frage: Gibt es Einführungstexte in der formalen Sprache oder in der Programmiersprachentheorie, in denen erläutert wird, wie sie auf das Studium der optimalen Notation angewendet werden können? Insbesondere interessiert mich, was Stapelsprachen, Analysebäume und Indizes sind und wie man vorhersagt,...
Geschlossen. Diese Frage ist nicht zum Thema . Derzeit werden keine Antworten akzeptiert. Möchten Sie diese Frage verbessern? Aktualisieren Sie die Frage so dass es beim Thema für Informatik Stapel Börse. Geschlossen vor 3 Jahren . Computer und Programmiersprachen sind in der Regel deterministisch...
Ich habe ein Hausaufgabenproblem, das mich verwirrt, weil die Mathematik über das hinausgeht, was ich getan habe, obwohl uns gesagt wurde, dass es unnötig sei, dies mathematisch zu lösen. Geben Sie einfach eine enge Obergrenze an und begründen Sie diese. Sei Geben Sie eine asymptotische Obergrenze...
Ich denke, dass diese beiden Klassen gleich sein sollten, aber ich kann keine Literatur dazu finden und habe einen begrenzten Hintergrund zu diesem Thema. Dies ist meine Argumentation, und ich würde gerne wissen, ob (1) dies bereits bekannt ist oder (2) ich etwas falsch verstanden habe oder (3) ich...