In Andrew W. Appels Buch Modern Compiler Implementation in ML sagt er unter Kapitel 17, dass die Computability-Theorie zeigen wird, dass es immer möglich sein wird, neue Optimierungstransformationen zu erfinden, und fährt fort, um zu beweisen, dass ein vollständig optimierter Compiler das...
Einige komplizierte Algorithmen ( Union-Find ) haben die nahezu konstante inverse Ackermann-Funktion, die in der asymptotischen Zeitkomplexität auftritt, und sind im ungünstigsten Fall zeitoptimal, wenn der nahezu konstante inverse Ackermann-Term ignoriert wird. Gibt es Beispiele für bekannte...
Diese Frage wurde von Artificial Intelligence Stack Exchange migriert, da sie über Computer Science Stack Exchange beantwortet werden kann. Vor 5 Jahren migriert . Bei den meisten Implementierungen genetischer Algorithmen liegt der Fokus auf Crossover und Mutation. Aber irgendwie lassen die...
Ok, bevor ich anfange, stelle ich fest, dass dies am Rande des Themas liegt (ich habe die Hilfe zu Fragen für diese Site gelesen), zumal dies kein reales Problem ist. Jedoch: Ich kann bei Google nichts Relevantes finden Aus puristischer Sicht muss es doch in die Informatik fallen? In jedem Fall,...
Ich weiß, was Berechnung in einem vagen Sinn ist (es ist das, was Computer tun), aber ich möchte eine strengere Definition. Dictionary.comDie Definitionen von Computing, Computing, Calculate und Computing sind zirkulär und helfen daher nicht weiter. WikipediaDefiniert Berechnung als "jede Art von...
Nun, das ist eine allgemeine Frage. Und wenn jemand es implementierungsspezifisch machen möchte, dann bevorzuge ich Unix-bezogene Sachen. Aber zuerst müssen folgende Probleme allgemein bekannt sein: Ich habe gelesen, dass ein einzelner Prozess mehrere Threads haben kann. Mehrere Threads desselben...
Ich höre oft, dass Zeilenpolymorphismus ein besserer Ansatz ist als Subtypisierung, aber ich habe Schwierigkeiten, irgendetwas zu finden, das sie im Detail vergleicht. Mich interessiert vor allem die Perspektive eines Anwenders des Systems. Ich bin auf diesen Blog-Beitrag gestoßen, habe aber mehr...
Nur aus Interesse habe ich versucht, ein Problem aus der Kategorie "Recent" von Project Euler ( Digit Sum Sequence ) zu lösen . Ich kann mir aber keinen Weg ausdenken, um das Problem effizient zu lösen. Das Problem ist wie folgt (in der ursprünglichen Fragensequenz sind am Anfang zwei vorhanden,...
Vergleicht man ein geordnetes Paar (x, y) mit einem ungeordneten Paar {x, y} (gesetzt), so beträgt die Differenz theoretisch nur ein Bit, da es genau eines einzelnen Bits bedarf, um darzustellen, ob x zuerst kommt oder y. Wenn wir also eine Menge {x, y} haben, in der x, y zwei verschiedene...
Ein Artikel mit dem Titel " Die Ableitung eines regulären Typs " zeigt, dass der "Reißverschluss" eines Typs - seine Einlochkontexte - den Unterscheidungsregeln in der Typalgebra folgen. Wir haben: ∂xx∂x0∂x1∂x( S+ T)∂x( S× T)↦ 1↦ 0↦ 0↦ & part;xS+ ∂xT↦ & part;xS× T+ S×...
Ich suche nach einer Datenstruktur, die sein ältestes / letztes Element herausdrückt, wenn ein neues Element eingefügt wird. Stellen Sie beispielsweise Ddie Struktur dar. DEnthält 3 Elemente, werden die Number DStandardwerte des Typs auf 1, 2und initialisiert 3. D=[1,2,3]D=[1,2,3]D = [1, 2, 3] Wenn...
Der gesetzte Differenzoperator (z. B. EXCEPTin einigen SQL-Varianten) ist einer der vielen grundlegenden Operatoren der relationalen Algebra. Es gibt jedoch einige Datenbanken, die den Mengenunterschiedsoperator nicht direkt unterstützen, die jedoch LEFT JOIN(eine Art äußere Verknüpfung)...
In vielen Referenzen zu Betriebssystemen wird angegeben, dass bei kooperativem (im Gegensatz zu präventivem) Multitasking ein Prozess die CPU so lange hält, bis er sich explizit freiwillig ausschaltet. Wenn ein laufender Prozess eine E / A-Anforderung ausführt, die nicht sofort erfüllt werden kann...
Ich beginne eine persönliche bibliografische Recherche über Algorithmen zur Typprüfung und möchte einige Tipps. Was sind die am häufigsten verwendeten Algorithmen, Strategien und allgemeinen Techniken zur Typprüfung? Ich interessiere mich besonders für komplexe Algorithmen zur Typprüfung, die in...
Ich arbeite seit einiger Zeit an dynamischer Programmierung. Die kanonische Methode zum Auswerten einer dynamischen Programmierrekursion besteht darin, eine Tabelle mit allen erforderlichen Werten zu erstellen und zeilenweise zu füllen. Siehe zum Beispiel Cormen, Leiserson et al .: "Introduction to...
Das Sipser-Buch "Einführung in die Berechnungstheorie" auf Seite 286 enthält eine Reduktion von 3SAT zu Hamilton-Pfadproblem. Gibt es eine einfachere Reduzierung? Mit einfacher meine ich eine Reduktion, die (für Studenten) leichter zu verstehen wäre. Gibt es eine Reduktion, die eine lineare Anzahl...
Ich bin ein Doktorand, der einen Kurs in Rechentheorie belegt, und ich habe ernsthafte Probleme, Inhalte zu produzieren, wenn ich dazu aufgefordert werde. Ich kann dem Lehrbuch (Einführung in die Computertheorie von Michael Sipser) und den Vorlesungen folgen; Wenn ich jedoch gebeten werde, etwas zu...
Unser Professor hat uns gebeten, uns eine Funktion in OCaml zu überlegen, die den Typ hat 'a -> 'b dh eine Funktion eines Arguments, das alles sein kann und das etwas anderes zurückgeben kann. Ich dachte an die Verwendung raisein einer Funktion, die ihr Argument ignoriert: let f x = raise Exit...
In Hromkovičs Algorithmics for Hard Problems (2. Auflage) gibt es diesen Satz (2.3.3.3, Seite 117): Es gibt ein (entscheidbares) Entscheidungsproblem so dass es für jeden Algorithmus , der löst, einen anderen Algorithmus , der auch löst und zusätzlich erfülltAPPPEINAAA ' PPPPEIN′A′A'PPP...
De Morgans Gesetz wird oft in einem Mathematik-Einführungskurs für Informatiker eingeführt, und ich sehe es oft als eine Möglichkeit, Aussagen durch Negieren von Begriffen von UND zu ODER umzukehren. Gibt es eine intuitivere Erklärung, warum dies funktioniert, anstatt sich nur an Wahrheitstabellen...