Theoretische Informatik

1

Es gibt theoretische Beweise dafür, dass die naive kartesische Produktkonstruktion für die Schnittmenge von DFAs "das Beste ist, was wir tun können". Was ist mit der Verkettung von zwei DFAs? Die triviale Konstruktion besteht darin, jeden DFA in einen NFA umzuwandeln, einen Epsilon-Übergang hinzuzufügen und den resultierenden NFA zu bestimmen. …

16 cc.complexity-theory fl.formal-languages automata-theory dfa

2

Kann Schach eine Universal Turing Machine simulieren?

Ich bin auf der Suche nach einer endgültigen Antwort auf die Titelfrage. Gibt es eine Reihe von Regeln, die ein Programm in eine Konfiguration von endlichen Stücken auf einem unendlichen Brett umwandeln, sodass, wenn Schwarz und Weiß nur legale Züge spielen, das Spiel in endlicher Zeit endet, wenn das Programm …

16 computability turing-machines board-games halting-problem recreational

2

Paradigmen zur Komplexitätsanalyse von Algorithmen

Die Worst-Case- und Average-Case-Analyse sind bekannte Maßstäbe für die Komplexität eines Algorithmus. Die kürzlich geglättete Analyse hat sich als weiteres Paradigma herausgestellt, um zu erklären, warum einige im schlimmsten Fall exponentielle Algorithmen in der Praxis so gut funktionieren, beispielsweise der Simplex-Algorithmus. Meine Frage ist - gibt es andere Paradigmen, um …

16 cc.complexity-theory average-case-complexity smoothed-analysis

3

Graduate Studies (PhD) in CS-Theorie vs. Angewandte Mathematik

Da die meisten amerikanischen Universitäten nur Bewerbungen in einem Bereich annehmen, versuche ich herauszufinden, welche Vor- und Nachteile eine Bewerbung für ein CS-Theorieprogramm gegenüber einem Angewandten Mathematik-Programm hat, wenn das eigene Interesse an beiden Abteilungen liegt. Genauer gesagt sind meine Interessengebiete in absteigender Reihenfolge: 1. Kombinatorik (sowohl algebraisch als auch …

16 soft-question advice-request career

1

Wie heißt dieses Problem mit gerichteten Graphen?

Nehmen Sie einen gerichteten Graphen bei dem die Kanten mit einer natürlichen Zahl verziert sind. Wir wollen die Menge aller Pfade P zwischen zwei Eckpunkten v 1 und v 2 so, dass jede aufeinanderfolgende Kante im Pfad mit einer natürlichen Zahl verziert wird, die größer ist als die natürliche Zahl, …

16 ds.algorithms reference-request graph-algorithms terminology

1

Ich suche Scotts originales LCF-Papier

Ist das folgende Manuskript öffentlich verfügbar? Dana Scott, 1969, Eine Theorie von berechenbaren Funktionen höheren Typs . Unveröffentlichte Seminarunterlagen, 7 Seiten, University of Oxford. In Abschnitt 8.1.2, Typen als Mengen , in Cardone & Hindley, 2006 History of Lambda-calculus and Combinatory Logic ; Zusätzlich führt Abschnitt 10.1, Domänentheorie , einige …

16 reference-request lo.logic type-theory domain-theory

1

Algorithmus zur Optimierung von Entscheidungsbäumen

Hintergrund Ein binärer Entscheidungsbaum ist ein Stammbaum, in dem jeder interne Knoten (und jeder Stamm) durch einen Index , sodass kein Pfad von Stamm zu Blatt einen Index, die Blätter, wiederholt werden durch Ausgaben in , und jede Kante wird für das linke untergeordnete Element mit und für das rechte …

16 ds.algorithms query-complexity decision-trees

4

Wann sind mehr Publikationen weniger?

Gibt es Fälle, in denen zusätzliche Veröffentlichungen Ihre Aufzeichnung beeinträchtigen können? Dies vermeidet die offensichtlichen Fälle, in denen Sie falsche oder kontroverse Ergebnisse veröffentlichen. Vermeiden Sie auch den Fall der endlichen Zeit: Sie haben nur so viel Zeit zum Nachdenken und Schreiben, dass Sie beim Schreiben eines Papiers möglicherweise Zeit …

16 soft-question advice-request career

2

Collatz Vermutung & Grammatik / Automaten

Ich habe mich gefragt, ob es eine gute Bibliographie von Versuchen gibt, die Collatz-Vermutung als formale Grammatik zu untersuchen. (oder andere Versuche in der CS-Community, sich mit dieser Klasse von generativen Phänomenen und ihren "Stopp" -Eigenschaften zu befassen).

16 fl.formal-languages nt.number-theory halting-problem

1

Tautologien / Widersprüche im Durchschnitt jenseits des zufälligen k-CNF-Modells

Es ist bekannt, dass zufällige CNF-Formeln über Variablen mit Klauseln mit hoher Wahrscheinlichkeit für eine ausreichend große Konstante erfüllt werden können (dh sie sind Widersprüche) . Zufällige CNF-Formeln (für groß genug) bilden somit eine natürliche Verteilung über nicht erfüllbare Boolesche Formeln (oder zweifach über Tautologien, dh Negationen von Widersprüchen). Diese …

16 cc.complexity-theory reference-request lo.logic sat random-k-sat

3

Welche Rolle spielt Prädikativität bei induktiven Definitionen in der Typentheorie?

Wir wollen oft ein Objekt nach bestimmten Inferenzregeln definieren. Diese Regeln bezeichnen eine Erzeugungsfunktion die, wenn sie monoton ist, einen am wenigsten festen Punkt ergibt . Wir nehmen die "induktive Definition" von sein . Darüber hinaus erlaubt uns die Monotonie von , mit dem "Induktionsprinzip" zu argumentieren, um zu bestimmen, …

16 lo.logic pl.programming-languages type-theory proof-assistants coq

3

Gibt es eine Programmiersprachtheorie, die fremde Funktionsschnittstellen (FFI) und Mehrsprachenzuordnungen beschreibt?

Gibt es eine Programmiersprachtheorie, die fremde Funktionsschnittstellen (FFI) und Mehrsprachenzuordnungen beschreibt? Ich habe einige Implementierungsprobleme zum Stackoverflow gestellt , die hier nicht geeignet sind. Aber ich möchte aus der Sicht dieser Seite fragen und sehen, was ich möglicherweise von hier bekommen könnte. Schätzen Sie wirklich Ihre Antwort! Vielen Dank an …

16 pl.programming-languages semantics

3

Gibt es einen Namen für "physikalische Dinge, aus denen man eine Turing-Maschine bauen kann"?

Eines der erstaunlichen Dinge in der Informatik ist, dass die physikalische Implementierung in gewisser Weise "irrelevant" ist. Die Menschen haben erfolgreich Computer aus mehreren unterschiedlichen Substraten gebaut - Relais, Vakuumröhren, diskrete Transistoren usw. Die Menschen könnten bald erfolgreich Turing-Computer aus nichtlinearen optischen Materialien, verschiedenen Biomolekülen und einigen anderen Substraten bauen. …

16 computability turing-machines terminology physics natural-computing

3

Gibt es x mit K (xx) <K (x), wobei K die Kolmogorov-Komplexität ist?

Sei die Kolmogorov-Komplexität einer Zeichenkette x . Haben gibt es eine Zeichenfolge , so dass K ( x x ) < K ( x ) . (Hier ist x x die Verkettung von x mit sich selbst). Eine ähnliche, aber unterschiedliche Frage wurde hier gestellt , aber das in der …

16 cc.complexity-theory kolmogorov-complexity

2

Finden der größten Anzahl von Punkten mit begrenztem Durchmesser

Bei gegebenen Punkten in R d und einem Abstand l ergibt sich die größte Teilmenge dieser Punkte, so dass der euklidische Abstand von keinem von beiden größer als l ist .p1,…,pnp1,…,pnp_1,\ldots,p_nRdRd\mathbb{R}^{d}llllll Wie komplex ist dieses Problem? In der graphischen Darstellung über die Punkte , die eine Kante hat , wenn …

16 ds.algorithms reference-request cg.comp-geom