Musteranpassung höherer Ordnung ist ein unentscheidbares Problem. Das heißt es gibt keinen Algorithmus, der eine Gleichung gegeben a => b, wo aund bsind offen Begriffe auf dem einfach Lambda - Kalkül eingegeben hat , findet eine Substitution , Sso daß aS => bS, wo =>steht für „die gleiche...
Auf der Wikipedia-Seite für Fixed Point Combinators ist der eher mysteriöse Text geschrieben Der Y-Kombinator ist ein Beispiel dafür, was den Lambda-Kalkül inkonsistent macht. Es ist also mit Argwohn zu betrachten. Es ist jedoch sicher, den Y-Kombinator nur dann zu berücksichtigen, wenn er in der...
Ich lerne die automatische Theoremprüfung / SMT-Löser / Proof-Assistenten selbst und stelle hier eine Reihe von Fragen zum Prozess. Beachten Sie, dass diese Themen ohne Hintergrundwissen in (mathematischen) Logik nicht einfach zu verarbeiten sind. Wenn Sie Probleme mit grundlegenden Begriffen...
Es gibt diesen Standardalgorithmus zum Finden des längsten Pfades in ungerichteten Bäumen unter Verwendung von zwei Tiefensuchen: Starten Sie DFS von einem zufälligen Scheitelpunkt und suchen Sie den am weitesten entfernten Scheitelpunkt. sag es ist .v ′vvvv′v′v' Starten Sie nun ein DFS von , um...
Was ist der Unterschied zwischen dem Minimum-Spanning-Tree-Algorithmus und einem Shortest-Path-Algorithmus? In meiner Datenstrukturklasse haben wir zwei Minimum-Spanning-Tree-Algorithmen (Prim und Kruskal) und einen Shortest-Path-Algorithmus (Dijkstra) behandelt. Der minimale Spannbaum ist ein Baum...
Angenommen, ich bin ein Programmierer und habe ein NP-vollständiges Problem, das ich lösen muss. Welche Methoden stehen zur Verfügung, um mit NPC-Problemen umzugehen? Gibt es eine Umfrage oder ähnliches zu diesem
Ich habe gesehen, dass abhängige Typsysteme nicht ableitbar, sondern überprüfbar sind. Ich habe mich gefragt, ob es eine einfache Erklärung dafür gibt, warum das so ist, und ob es eine Grenze der "Abhängigkeit" gibt, in der Typen durch Werte indiziert werden können, unterhalb derer eine Typinferenz...
Ich habe da im ganzen Stack - Überlauf, zB hier , hier , hier , hier , hier und einige andere , die ich interessiere mich nicht zu erwähnen, dass „jedes Programm , das Verwendung Rekursion in ein Programm umgewandelt werden kann unter Verwendung von Iteration nur“. Es gab sogar einen hochrangigen...
In unserer Vorlesung über Computersysteme wurde uns der MIPS-Prozessor vorgestellt. Es wurde im Laufe des Begriffs (neu) entwickelt und war in der Tat recht einfach zu verstehen. Es verwendet ein RISC- Design, dh , die elementaren Befehle werden regelmäßig codiert und es gibt nur wenige, um die...
Beim Schreiben eines Interpreters, der sich an externe Programme / Funktionen anhängt (anhängen sollte), ist ein merkwürdiges Problem aufgetreten: Funktionen in 'C' und 'C ++' können keine unterschiedlichen Funktionen anhängen , z. B. kann ich keine Funktion erstellen , die 'printf' aufruft. mit...
Ich versuche, die Algorithmen von Peterson und Dekker zu verstehen, die sehr ähnlich sind und viele Symmetrien aufweisen. Ich habe versucht, die Algorithmen in informeller Sprache wie folgt zu formulieren: Peterson's: "I want to enter." flag[0]=true; "You can enter next." turn=1; "If you want to...
Nehmen wir die folgende Definition eines rot-schwarzen Baums an: Es ist ein binärer Suchbaum. Jeder Knoten ist entweder rot oder schwarz gefärbt. Die Wurzel ist schwarz. Zwei durch eine Kante verbundene Knoten können nicht gleichzeitig rot sein. Hier sollte eine gute Definition eines NIL-Blattes...
In dieser Antwort wird es erwähnt Eine reguläre Sprache kann von einem endlichen Automaten erkannt werden. Für eine kontextfreie Sprache ist ein Stapel erforderlich, und für eine kontextsensitive Sprache sind zwei Stapel erforderlich (dies entspricht der Angabe, dass eine vollständige...
Ich versuche eine Rechtschreibprüfung zu schreiben, die mit einem ziemlich großen Wörterbuch funktionieren sollte. Ich möchte wirklich, dass meine Wörterbuchdaten auf effiziente Weise indexiert werden, um anhand einer Damerau-Levenshtein- Distanz zu bestimmen, welche Wörter dem falsch geschriebenen...
Ich bin seit vielen, vielen Jahren ein Computer-Nerd. Ich kann in einigen Sprachen programmieren und sie sogar erstellen. Ich habe mich neulich mit einem Kumpel zusammengesetzt und gefragt, wie ein Computer tatsächlich Strom verbraucht und etwas damit macht, und wir konnten es einfach nicht...
In "Big O" haben allgemeine Notationen allgemeine Namen (anstatt "Oh eines konstanten Faktors" zu sagen): O (1) ist "konstant" O (log n) ist "logarithmisch" O (n) ist "linear" O (n ^ 2) ist "quadratisch" O (n * log n) ist ??? Ist es nur "n log n" oder hat es einen speziellen Namen wie...
Ich werde in ein paar Wochen an einer Art Tag der offenen Tür an meiner Universität teilnehmen. Als Teil dieser Zeit bekomme ich (zusammen mit einem Kollegen) zwei Stunden lang eine ganze Gruppe von Schülern und ein Computerlabor, das groß genug ist, um sie alle aufzunehmen, und ich muss eine Art...
In Bezug auf Algorithmen und Komplexität konzentrieren wir uns auf die asymptotische Komplexität von Algorithmen, dh die Menge an Ressourcen, die ein Algorithmus verwendet, wenn die Größe der Eingabe unendlich wird. In der Praxis wird ein Algorithmus benötigt, der auf einer begrenzten (wenn auch...
In der Berechenbarkeits- und Komplexitätstheorie (und vielleicht auch in anderen Bereichen) sind Reduktionen allgegenwärtig. Es gibt viele Arten, aber das Prinzip bleibt dasselbe: Zeigen Sie, dass ein Problem mindestens so schwer ist wie ein anderes Problem indem Sie Instanzen von auf Instanzen in...
Es scheint, dass die Leute auf dieser Seite oft andere wegen verwirrender "Algorithmen" und "Probleme" korrigieren. Was ist der Unterschied zwischen diesen? Woher weiß ich, wann ich Algorithmen und Probleme in Betracht ziehen sollte? Und in welcher Beziehung stehen diese zum Sprachbegriff in der...