Computerwissenschaften

3

Approximation der Kolmogorov-Komplexität

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 ihrer Ähnlichkeit schreibt). In diesem Fall wurden Datenkomprimierer verwendet, um …

22 computability approximation data-compression kolmogorov-complexity

1

Wie kann man zeigen, dass L = L (G)?

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 korrekt ist, dh genau die gewünschten Wörter …

22 formal-languages formal-grammars proof-techniques reference-question

1

Entscheiden Sie, ob eine kontextfreie Sprache von einem deterministischen Pushdown-Automaten akzeptiert werden kann

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 die Grammatik an. Mit welchem Algorithmus auf den Produktionen …

22 automata context-free pushdown-automata

4

Warum verwenden wir in der funktionalen Programmierung persistente Datenstrukturen?

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 Programm öfter abstürzen?

22 data-structures functional-programming programming-paradigms persistent-data-structure

1

Wie viele kürzeste Abstände ändern sich, wenn einer Grafik eine Kante hinzugefügt wird?

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′= ( …

22 algorithms graphs graph-theory shortest-path

4

Schleift eine niemals stoppende Maschine immer?

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 Schleife ausführt?

22 computability turing-machines halting-problem

2

In welcher Kombination von Datenstrukturen werden diskrete Bayes'sche Netzwerke effizient gespeichert?

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 Werten annehmen. Speichere ich …

22 data-structures machine-learning

2

Gibt es eine "natürliche" unentscheidbare Sprache?

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), PDA (oder Grammatik) usw. ist, …

22 formal-languages automata computability undecidability

1

AVL-Bäume sind nicht gewichtsausgeglichen?

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 einige μ > 0μ>0\mu …

22 data-structures binary-trees search-trees balanced-search-trees avl-trees

4

Gibt es andere Möglichkeiten, formale Sprachen als Grammatiken zu beschreiben?

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 befassen und nicht nur mit Grammatikhierarchien.

22 formal-languages formal-grammars

4

Sortieralgorithmen, die einen Zufallsvergleicher akzeptieren

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 frage mich jedoch, welche Sortieralgorithmen tatsächlich mit einem Vergleicher funktionieren würden …

22 algorithms randomized-algorithms sorting

2

Wie unterscheidet sich ein JIT-Compiler von einem gewöhnlichen Compiler?

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 werden?

22 compilers

1

Natürliche Kandidaten für die Hierarchie innerhalb des NPI

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 …

22 complexity-theory np-hard

3

Warum ist dieser Code eindeutig dekodierbar?

Quellalphabet:{ a , b , c , d, e , f}{ein,b,c,d,e,f}\{a, b, c, d, e, f\} Code-Alphabet:{ 0 , 1 }{0,1}\{0, 1\} a : 0101ein:0101a\colon 0101 b : 1001b:1001b\colon 1001 c : 10c:10c\colon 10 d: 000d:000d\colon 000 e : 11e:11e\colon 11 f: 100f:100f\colon 100 Ich dachte, dass ein Code, um …

21 encoding-scheme

2

Wie ist das Problem des Handlungsreisenden in polynomialer Zeit überprüfbar?

Ich verstehe die Idee, dass das Entscheidungsproblem definiert ist als Gibt es einen Pfad P, bei dem die Kosten niedriger als C sind? und Sie können leicht überprüfen, ob dies der Fall ist, indem Sie einen Pfad überprüfen, den Sie erhalten. Was ist jedoch, wenn es keinen Pfad gibt, der …

21 complexity-theory time-complexity np decision-problem traveling-salesman