Hinweis: Ich habe diese Frage von stackoverflow.com verschoben Ich habe ein algorithmisches Problem, bei dem ich sehen möchte, ob es besser gelöst werden kann als O(n)O(n)O(n):: Ich habe einen Tisch gegeben TTT von nnn Elemente, bei denen jedes Element ein Tupel ist (si,ei)(si,ei)(s_i, e_i) mit...
Dies sind keine Hausaufgaben. Ich habe die Lösung, aber es ist nicht das, was ich bekomme. Ich weiß, dass es mehrere Lösungen für das Problem gibt, aber ich möchte sicherstellen, dass mir nichts entgeht. Die Frage lautet wie folgt: Man beweise, dass 2 - 4n + 7 = Θ ( ) ist. Geben Sie die Werte der...
Ich habe zwei verschiedene Lambda-Ausdrücke für die logische NOT-Funktion gesehen. Einer von ihnen wendet seinen Parameter nur auf Konstanten trueund falseintern in umgekehrter Reihenfolge an: NOT=λx.xfalsetrue=λx.x(λt.λf.f)(λt.λf.t)NOT=λx.xfalsetrue=λx.x(λt.λf.f)(λt.λf.t)NOT \;\;=\;\; \lambda x.\;...
Bei einem gerichteten Graphen ist ein Rückkopplungsbogensatz ein Satz von Bögen, deren Entfernung einen azyklischen Graphen hinterlässt. Das Problem besteht darin, die minimale Kardinalität eines solchen Satzes zu finden.G=(V,A)G=(V,A)G = (V,A) Ich möchte herausfinden, ob es einen...
Wikipedia : Das strukturierte Programm [...] besagt, dass [...] jeder Algorithmus mit nur drei Kontrollstrukturen ausgedrückt werden kann. Sie sind Ausführen eines Unterprogramms und dann eines anderen Unterprogramms (Sequenz) Ausführen eines von zwei Unterprogrammen gemäß dem Wert eines booleschen...
Dies ist eine Frage aus der Prüfung unseres Kurses "Automaten und formale Sprachen". Es wurde eine Frage gestellt, um zu beweisen oder zu widerlegen, dass jede "relative Komplement" -Operation zwischen zwei kontextsensitiven Sprachen auch eine kontextsensitive Sprache erzeugt. Aus den...
3-PARTITION ist stark NP-vollständig , dh es bleibt NP-vollständig, selbst wenn die Eingabe unär ist . Ich suche zwei oder drei Beispiele für (möglicherweise bekannte) nicht numerische Probleme , die sich mit einer Reduktion von 3-PARTITION als NP-vollständig erwiesen haben (und die Reduktion...
Ich denke, die Frage ist autark. Ist die Syntax der C-Sprache vollständig durch kontextfreie Grammatiken definiert, oder haben wir Sprachkonstrukte, für die im Verlauf des Parsens möglicherweise nicht kontextfreie Definitionen erforderlich sind? Ein Beispiel für ein Nicht-CFL-Konstrukt, das ich...
Um diesen Beitrag fortzusetzen , definieren wir das monotone -SAT-Problem:(+,2−)(+,2−)(+, 2^-) Gegeben eine monotone CNF-Formel , bei der jede Variable genau einmal erscheint (als positives Literal), und eine monotone 2-CNF-Formel definiert für dieselben Variablen wie , wobei alle Variablen negiert...
Sei eine 3-CNF-Formel über die Variablen . Jede Variable , , kommt in gleich oft als positives Literal und als negatives Literal vor .ϕϕ\phix1,x2,…,xnx1,x2,…,xnx_1,x_2,\ldots,x_nxixix_ii∈[n]i∈[n]i \in [n]ϕϕ\phi Ist es NP-vollständig, über die Erfüllbarkeit einer solchen Formel zu entscheiden?...
Es ist bekannt, dass jede CNF-Formel in Polynomzeit unter Verwendung neuer Variablen in eine 3-CNF-Formel umgewandelt werden kann ( siehe hier ). Wenn die Verwendung neuer Variablen nicht zulässig ist, ist dies nicht immer möglich (nehmen Sie zum Beispiel die Einzelklauselformel:...
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 6 Jahren . Ich spreche von diesem einen Forschungsprojekt : Aber MS hat es...
Ich frage mich, wie ich beweisen kann, dass L regulär sein muss, wenn eine Sprache L in o (nlog (n)) entscheidbar ist. Ich sollte wahrscheinlich erwähnen, dass mit "entscheidbar" meine ich "mit einer deterministischen Einzelband-Turingmaschine entscheidbar sein". Danke und Grüße...
Lassen {ai}{ai}\{a_i\} und {bi}{bi}\{b_i\} nicht abnehmende Folgen nicht negativer Ganzzahlen sein. Wie schnell kann man finden cj=max0≤i<j{ai+bj−i−1}cj=max0≤i<j{ai+bj−i−1}c_j=\max_{0 \leq i< j}\{a_i+b_{j-i-1}\} für alle ?0≤j≤n−10≤j≤n−10\leq j\leq n-1 Naiv dauert es Zeit, aber ich hoffe, dass...
Das Institute for Advanced Study hat ein einjähriges Sonderprogramm für das Univalent Foundations-Programm durchgeführt . Am Ende haben sie ein Buch und ein Code-Repository erstellt . Am Ende sehen wir einen Blogeintrag in Scientific American, der behauptet: ... könnte eine neue, in sich...
Ich habe hier gehört dass das Hamilton-Zyklus-Problem auf Graphen mit begrenzter Baumbreite polynomisch ist. Ich interessiere mich für Beispiele / Verweise auf verschiedene Probleme, die im Wesentlichen schwierig sind, aber eine polynomielle Komplexität auf Graphen mit begrenzter Baumbreite...
Ich kann mir kein Problem vorstellen, das in exponentieller Zeit gelöst werden kann, aber nicht in Polynomzeit überprüft werden kann.
Das folgende Array belegt 10000 Speicherplätze: a = [0,1,2,3,4,5,6,7,8,9,10,...,10000] Aber man könnte leicht das gleiche Array darstellen wie: a = {len:10000, get: λ idx -> idx} Welches ist viel kompakter. Ebenso gibt es mehrere Arrays, die kompakt dargestellt werden können: a = {a:1000, get: λ...
Welche Bedeutung hat eine leere Zeichenfolge in CS (und insbesondere in formalen Sprachen) im Sinne einer Zeichenfolge, die sich von einer Nullreferenzzeichenfolge unterscheidet? Warum brauchen Sie ein separates Konzept, das der "leeren Zeichenfolge", die sogar einen eigenen griechischen Buchstaben...
Der Begriff "Vollständigkeit" wurde in mehreren von mir belegten Informatikkursen erörtert. Ich habe jedoch nie ein intuitives Gefühl dafür bekommen, was die Vollständigkeit von Turing tatsächlich erfordert. Ich habe diese Frage gefunden, aber die Antworten sind etwas mathematischer als das, wonach...