Dies ist ein Teil des Assembly-Codes section .text global _start ;must be declared for using gcc _start: ;tell linker entry point mov edx, len ;message length mov ecx, msg ;message to write mov ebx, 1 ;file descriptor (stdout) mov eax, 4 ;system call number (sys_write) int 0x80 ;call kernel mov...
Nehmen wir an , dass . N P I ist die Klasse von Problemen in N P, die weder in P noch in N P -hard sind. Eine Liste der Probleme, von denen vermutet wird, dass sie N P I sind, finden Sie hier .P ≠ N PP≠NP\mathsf{P} \neq \mathsf{NP}N P INPich\mathsf{NPI}N PNP\mathsf{NP}PP\mathsf{P}N PNP\mathsf{NP}N...
Gibt es eine "natürliche" Sprache, die unentscheidbar ist? mit "natürlich" meine ich eine sprache, die direkt durch die eigenschaften von strings definiert ist und nicht über maschinen und deren äquivalent. Mit anderen Worten, wenn die Sprache wie folgt aussieht: wobei TM, DFA (oder reguläre Exp),...
Bei JIT-Compilern für Sprachen wie Java, Ruby und Python herrschte großer Hype. Inwiefern unterscheiden sich JIT-Compiler von C / C ++ - Compilern, und warum heißen die für Java, Ruby oder Python geschriebenen Compiler JIT-Compiler, während C / C ++ - Compiler nur Compiler genannt...
In einer früheren Frage gab es eine Definition von gewichtsausgeglichenen Bäumen und eine Frage zu rot-schwarzen Bäumen. Diese Frage ist die gleiche Frage zu stellen, aber für AVL-Bäume . Die Frage ist, angesichts der Definition von μμ\mu ausgeglichenen Bäumen wie in der anderen Frage, Gibt es...
Ich verstehe die Theorie hinter den Bayes'schen Netzwerken und frage mich, was es braucht, um ein solches Netzwerk in der Praxis aufzubauen. Nehmen wir für dieses Beispiel an, ich habe ein Bayes'sches (gerichtetes) Netzwerk von 100 diskreten Zufallsvariablen; Jede Variable kann einen von bis zu 10...
Diese Frage wurde von Theoretical Computer Science Stack Exchange migriert, da sie über Computer Science Stack Exchange beantwortet werden kann. Vor 7 Jahren migriert . Ich suche nach mathematischen Theorien, die sich mit der Beschreibung formaler Sprachen (Mengen von Zeichenfolgen) im Allgemeinen...
Sei ein vollständiger, gewichteter, ungerichteter Graph. Wir konstruieren einen zweiten Graphen G ' = ( V , E ' ), indem wir die Kanten einzeln von E nach E ' addieren . Wir addieren Θ ( | V | ) Kanten zu G ' insgesamt.G = ( V, E)G=(V,E)G=(V,E)G′= ( V, E′)G′=(V,E′)G'=(V, E')EEEE′E′E'Θ ( | V|...
Bei einer kontextfreien Grammatik G existiert ein nicht deterministischer Pushdown-Automat N, der genau die Sprache akzeptiert, die G akzeptiert. (und umgekehrt) Es kann auch einen deterministischen Pushdown-Automaten D geben, der genau die Sprache akzeptiert, die auch G akzeptiert. Es kommt auf...
Generische Sortieralgorithmen verwenden im Allgemeinen einen Datensatz zum Sortieren und eine Komparatorfunktion, mit der zwei einzelne Elemente verglichen werden können. Wenn der Komparator eine Ordnungsrelation¹ ist, ist die Ausgabe des Algorithmus eine sortierte Liste / ein sortiertes Array. Ich...
Eine Turing-Maschine, die mit ihrem Lese- / Schreibkopf auf derselben Zelle des exakt gleichen Bandes in einen zuvor angetroffenen Zustand zurückkehrt, wird in einer Schleife gefangen. Eine solche Maschine hält nicht an. Kann jemand ein Beispiel für eine ununterbrochene Maschine nennen, die keine...
Ich habe etwas über die Kolmogorov-Komplexität studiert, einige Artikel und Bücher von Vitanyi und Li gelesen und das Konzept der normalisierten Kompressionsentfernung verwendet , um die Stilometrie der Autoren zu überprüfen (identifiziere, wie jeder Autor einige Text- und Gruppendokumente anhand...
Beim Lesen von Uday Reddys Antwort auf Was ist die Beziehung zwischen Funktoren in SML und Kategorietheorie? Uday sagt aus Die Kategorietheorie kann noch nicht mit Funktionen höherer Ordnung umgehen. Eines Tages wird es. Da ich dachte, dass die Kategorietheorie als Grundlage für Mathematik dienen...
Die funktionale Programmierung verwendet persistente Datenstrukturen und unveränderliche Objekte. Meine Frage ist, warum es hier entscheidend ist, solche Datenstrukturen zu haben. Ich möchte auf einer niedrigen Ebene verstehen, was passieren würde, wenn die Datenstruktur nicht persistent ist. Würde...
Das Spezifizieren von formalen Sprachen durch die Angabe formaler Grammatiken ist eine häufige Aufgabe: Wir brauchen Grammatiken, um Sprachen nicht nur zu beschreiben, sondern auch zu analysieren oder sogar Wissenschaft zu betreiben . In allen Fällen ist es wichtig, dass die vorliegende Grammatik...
Ich möchte ein mathematisches Problem in ein boolesches Erfüllbarkeitsproblem (SAT) umwandeln und es dann mit einem SAT-Solver lösen. Ich frage mich, ob jemand ein Handbuch, eine Anleitung oder etwas anderes kennt, das mir hilft, mein Problem in eine SAT-Instanz umzuwandeln. Außerdem möchte ich...
Beim Entwurf von Algorithmen werden häufig die folgenden Techniken angewendet: Dynamische Programmierung Die Gier-Strategie Teilen und Erobern Während es für die ersten beiden Methoden bekannte theoretische Grundlagen gibt, nämlich das Bellman-Optimalitätsprinzip und die Matroid- (bzw. Greedoid-)...
Diese Frage wurde von Stack Overflow migriert, da sie in Computer Science Stack Exchange beantwortet werden kann. Vor 5 Jahren migriert . Ich lerne immer noch funktionale Programmierung (mit f #) und habe kürzlich angefangen, über Rechenausdrücke zu lesen. Ich verstehe das Konzept immer noch nicht...
Ich möchte die Frage damit beginnen, dass ich ein Programmierer bin und nicht viel Hintergrundwissen in der Komplexitätstheorie habe. Eine Sache, die mir aufgefallen ist, ist, dass, obwohl viele Probleme NP-vollständig sind, wenn sie auf Optimierungsprobleme ausgedehnt werden, einige weitaus...
Es ist bekannt, dass die Hindley-Milner-Typinferenz (der einfach typisierte Kalkulus mit Polymorphismus) eine entscheidbare Typinferenz aufweist: Sie können Prinziptypen für alle Programme ohne Anmerkungen rekonstruieren.λλ\lambda Das Hinzufügen von Haskell-Typenklassen scheint diese...