Ich bin ein Informatikstudent. Ich möchte meine eigene Programmiersprache erstellen (eine Basissprache mit wenigen Anweisungen). Ich weiß, wie man einen syntaktischen Analysator macht, ich habe es bereits in Perl gemacht. In einem Artikel habe ich etwas über den Compiler gelesen, ein Compiler ist...
Welche Notation wird verwendet, um die Funktionskoeffizienten in der Big-O-Notation zu diskutieren? Ich habe zwei Funktionen: f(x)=7x2+4x+2f(x)=7x2+4x+2f(x) = 7x^2 + 4x +2 g(x)=3x2+5x+4g(x)=3x2+5x+4g(x) = 3x^2 + 5x +4 Offensichtlich sind beide Funktionen , tatsächlich , aber das erlaubt keinen...
Für Funktionen oder Berechnungen haben wir Begriffe wie: Deterministisch - Determinismus Reinheit Was ist nun das richtige entsprechende Substantiv für nebenwirkungsfrei ? "Nebenwirkungsfreiheit"? "Nebenwirkungsfreiheit"? "Nicht
Mein Problem ist wie folgt: Ich habe ein physisches Layout als Grafik dargestellt. Die Knoten stellen Haken / Kanäle dar, an denen ein Draht verankert werden kann, und Kanten sind die mögliche Verbindung zwischen zwei Knoten, von denen aus der Draht verlaufen kann. Es gibt einige spezielle Knoten,...
Betrachten Sie die linearen Programme Primal:Ax⃗ ≤b⃗ maxc⃗ Tx⃗ Primal:Ax→≤b→maxc→Tx→\begin{array}{|ccc|} \hline Primal: & A\vec{x} \leq \vec{b} \hspace{.5cm} & \max \vec{c}^T\vec{x} \\ \hline \end{array} Dual:c⃗ ≤y⃗ TAminy⃗ Tb⃗ Dual:c→≤y→TAminy→Tb→\begin{array}{|ccc|} \hline Dual: & \vec{c} \leq...
Einführung und Notationen: Hier ist eine neue und einfache Version meines Algorithmus, die (gemäß meinen Experimenten) zu enden scheint, und jetzt möchte ich das beweisen. Die Notation beziehe sich auf einen p- dimensionalen Datenpunkt (einen Vektor). Ich habe drei Sätze A, B und C, so dass | A | =...
Hintergrund Ich lerne selbst Hilfe, Coq. Bisher habe ich Yves Bertots Coq in Eile gelesen . Mein Ziel ist es nun, einige grundlegende Ergebnisse bezüglich der natürlichen Zahlen zu beweisen, die mit dem sogenannten Divisionsalgorithmus gipfeln. Auf meinem Weg zu diesem Ziel bin ich jedoch auf...
Ich suche nach einem Algorithmus, um einen Digraphen (gerichteten Graphen) reversibel in einen ungerichteten Graphen umzuwandeln, dh der Digraph sollte rekonstruierbar sein, wenn wir den ungerichteten Graphen erhalten. Ich verstehe, dass dies zu Lasten des ungerichteten Graphen mit mehr Eckpunkten...
Wir hatten mehrere Fragen zum Verhältnis von Cook- und Karp-Reduktionen . Es ist klar, dass Cook-Reduktionen (Poluring-Zeit-Turing-Reduktionen) nicht den gleichen Begriff der NP-Vollständigkeit definieren wie Karp-Reduktionen (Polynom-Zeit-Viel-Eins-Reduktionen), die normalerweise verwendet werden....
Ich arbeite an einem kleinen Lambda-Kalkül-Compiler, der über ein funktionierendes Inferenzsystem vom Typ Hindley-Milner verfügt und jetzt auch rekursive Let's (nicht im verknüpften Code) unterstützt. Ich verstehe, dass dies ausreichen sollte, um Turing vollständig zu machen . Das Problem ist...
Nach dem Beweis von Miller-Rabin muss eine Zahl, die den Fermat-Primalitätstest besteht , auch den Miller-Rabin-Test mit derselben Basis (eine Variable im Beweis) bestehen. Und die Komplexität der Berechnung ist dieselbe.einaa Folgendes stammt aus dem Fermat-Primalitätstest : Während...
In meinem Lehrbuch heißt es: "Wir definieren die Funktion wie folgt: und . Beachten Sie, dass wir bei gegebener leicht in Zeit die Zahl so dass zwischen und . "f:N→Nf:N→Nf\colon
Beschreiben Sie eine reguläre Sprache, die von keinem DFA mit nur drei Zuständen akzeptiert werden kann. Ich bin mir nicht sicher, wo ich damit anfangen soll und habe mich gefragt, ob mir jemand Tipps oder Ratschläge geben könnte. Ich verstehe, dass das Pump-Lemma verwendet werden kann, um zu...
Bei der Algorithmusanalyse nehmen wir eine generische Random Access Machine (RAM) mit einem Prozessor an. Soweit ich weiß, ist die RAM-Maschine nicht effizienter als die Turing-Maschine. Alle Algorithmen können in der Turingmaschine implementiert werden. Meine Fragen sind also: Wenn die...
Ich beginne gerade mit der Berechnungstheorie, die untersucht, was wie schnell berechnet werden kann, wie viel Speicher verwendet wird und mit welchem Rechenmodell. Ich habe eine ziemlich grundlegende Frage, hoffe aber wirklich, dass einige von euch mir helfen können, das Konzept dahinter zu...
Die Frage steht so ziemlich im Titel. Gibt es überhaupt eine Zeit , wo einige Sprache kann durch eine minimale DFA mit akzeptiert werden n Staaten, sondern L R , die Umkehrung der L kann von einem DFA mit akzeptiert m Staaten, in denen m < n
In Chaitins Meta Math! Die Suche nach Omega , er spricht kurz über Hilberts 10. Problem. Er sagt dann, dass jede diophantinische Gleichung in zwei gleiche Polynome mit positiven ganzzahligen Koeffizienten geändert werden kann: p = 0p = 0p=0p=0 .p = 0⟺p1= p2p=0⟺p1=p2p=0 \iff p_1 = p_2 Dann sagt er,...
In den späten neunziger Jahren, als ich in der Graduiertenschule war, die Zeitung JH Saltzer; DP Reed; DD Clark: End-to-End-Argumente im Systemdesign . ACM Trans. Comput. Syst. 2 (4): 277-288, 1984. DOI = 10.1145 / 357401.357402 Es war ziemlich wichtig, in jeder Betriebssystemklasse an jeder...
Um über Dinge wie die NP-Vollständigkeit nachzudenken, verwenden wir normalerweise Mehrfachreduktionen (dh Karp-Reduktionen). Dies führt zu Bildern wie diesen: (unter Standardvermutungen). Ich bin sicher, wir sind alle mit solchen Dingen vertraut. Welches Bild bekommen wir, wenn wir mit...
Wenn ist, kollabiert die Hierarchie auf ihre zweite Ebene (nach dem Karp-Lipton-Theorem). Aber was ist mit und ?N P c o N P.R P = N P.RP=NP\sf RP = NPN P.NP\sf NPc o N P.coNP\sf coNP Ich habe versucht zu beweisen, dass in (die andere Richtung ist trivial, wenn ), aber ohne Erfolg, und ich bin mir...