Fragen, die um Hilfe beim Aufbau der Intuition für formale oder komplexe Konzepte bitten.
Ich glaube, ich habe ein vernünftiges Verständnis für Komplexitäten wie , Θ ( n ) und Θ ( n 2 ) .O (1)O(1)\mathcal{O}(1)Θ ( n )Θ(n)\Theta(n)Θ ( n2)Θ(n2)\Theta(n^2) In Bezug auf eine Liste ist eine konstante Suche, sodass es nur den Kopf der Liste erhält. Θ ( n ) ist die Stelle, an der ich die...
Ich verstehe den Beweis für die Unentscheidbarkeit des Halteproblems (zum Beispiel in Papadimitrious Lehrbuch), basierend auf der Diagonalisierung. Obwohl der Beweis überzeugt (ich verstehe jeden Schritt davon), ist er für mich nicht intuitiv in dem Sinne, dass ich nicht sehe, wie jemand ihn...
Diese Frage wurde durch einen Kommentar zu StackOverflow inspiriert . Abgesehen von der Kenntnis der NP-vollständigen Probleme des Buches von Garey Johnson und vieler anderer; Gibt es eine Faustregel, um zu wissen, ob ein Problem wie ein NP-vollständiges Problem aussieht? Ich suche nicht etwas...
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...
Manchmal ist es einfach, die zeitliche Komplexität eines Algorithmus zu erkennen, wenn ich ihn sorgfältig untersuche. Algorithmen mit zwei verschachtelten Schleifen von NNN sind offensichtlich N2N2N^2 . Algorithmen , die alle möglichen Kombinationen von explore NNN Gruppen von zwei Werten ist...
Ich dachte , ich verstand abhängig Typisierung (DT) richtig, aber die Antwort auf diese Frage: /cstheory/30651/why-was-there-a-need-for-martin-l%C3% B6f-to-create-Intuitionistic-Type-Theorie hat mich anders denken lassen. Nachdem ich mich über DT informiert und versucht habe zu verstehen, was sie...
Angenommen, wir arbeiten mit einer Infinite-Tape-Turing-Maschine. Wenn ich jemandem den Begriff der Zeitkomplexität erläutere und erkläre, warum er im Verhältnis zur Eingabegröße einer Instanz gemessen wird, bin ich auf die folgende Behauptung gestoßen: [..] Zum Beispiel ist es normal, dass Sie...
Bei der Arbeit wurde ich beauftragt, einige Typinformationen über eine dynamische Sprache abzuleiten. Ich schreibe Folgen von Anweisungen in verschachtelte letAusdrücke um, wie folgt: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z =>...
Ich erhalte den Beweis, von einem Enumerator zu einer Turing-Maschine zu wechseln (führen Sie den Enumerator weiter aus und prüfen Sie, ob er mit der Eingabe übereinstimmt), aber ich sehe nicht, wie der andere Weg funktioniert. Gemäß meinen Notizen und dem Buch (Einführung in die Theorie der...
Wie kann ich bei einer Sprache direkt sagen, ohne auf die Produktionsregeln zu achten, dass diese Sprache nicht regulär ist?L = { anbncn}}L={anbncn} L= \{a^n b^n c^n\} Ich könnte Pumping Lemma gebrauchen, aber einige Leute sagen nur mit Blick auf die Grammatik, dass dies keine reguläre ist. Wie ist...
Ich habe viele Dokumente über die Faltung in der Bildverarbeitung gelesen , und die meisten von ihnen sagen über die Formel einige zusätzliche Parameter aus. Niemand erklärt die Intuition und die wahre Bedeutung, die hinter der Faltung eines Bildes stehen. Die Intuition der Ableitung im Diagramm...
Ich bin mir nicht sicher, ob ich es sehe. Soweit ich weiß, ergänzen sich Kanten und Eckpunkte, und es ist ziemlich überraschend, dass dieser Unterschied besteht. Gibt es eine gute / schnelle / einfache Möglichkeit zu erkennen, dass es viel schwieriger sein sollte, einen Hamilton-Pfad zu finden, als...
Wenn Sie eine Sprache L haben, ohne Beweise zu machen, gibt es eine Möglichkeit zu erkennen, ob sie erkennbar oder miterkennbar oder entscheidbar ist? Grundsätzlich alle Hinweise oder Tricks, die verwendet werden können, um zu erzählen. Oder vielleicht die gängigen Muster, nach denen gesucht werden...
Ich implementiere einen Interpreter für Lambda-Kalkül und möchte jetzt den Gleichheitstyp hinzufügen. Die Einführungsregel dafür ist einfach, aber die Eliminierungsregel ist für mich ziemlich dunkel. Ich habe diesen Stackoverflow-Thread gefunden, aber er erklärt das J-Axiom nur in einem Satz. Wie...