Theoretische Informatik

Fragen und Antworten für theoretische Informatiker und Forscher in verwandten Bereichen

4
"Gerichtete" Probleme, die einfacher sind als ihre "ungerichtete" Variante.
Ich hielt einen Vortrag über Pfannkuchensortierung und erwähnte Folgendes: Das Sortieren nach Umkehrungen ist NP-schwer „unterzeichnet“ durch Umkehrungen Sortieranlage ist in P . Was mich zum Nachdenken brachte. In gewisser Weise ist "signierte" Sortierung "gerichtet" - Sie können das Zeichen als eine Richtung betrachten (und dies ist in der Tat …
1
Induktive Typen für große zählbare Ordnungszahlen.
Ich versuche, Notationen für große abzählbare Ordnungszahlen auf "natürliche Weise" zu erstellen. Mit "natürlich" meine ich, dass bei einem induktiven Datentyp X diese Gleichheit die übliche rekursive Gleichheit sein sollte (die gleiche, die deriving Eqin Haskell erzeugt würde) und die Reihenfolge die übliche rekursive lexikographische Reihenfolge sein sollte (die gleiche, …
5
Effizient berechenbare Varianten der Kolmogorov-Komplexität
Die Komplexität des Kolmogorov-Präfixes (dh ist die Größe des minimalen selbstbegrenzenden Programms, das ausgibt ) weist mehrere nette Merkmale auf:K(x)K(x)K(x)xxx Es entspricht einer Intuition, Strings mit Mustern oder Strukturen eine geringere Komplexität zu geben als Strings ohne. Es erlaubt uns, die bedingte Komplexität oder besser für ein Orakel .K(x|y)K(x|y)K(x|y)K(x|O)K(x|O)K(x|O)OOO Es …
2
Wie veröffentliche ich eine Arbeit?
Als Software-Ingenieur habe ich fast mein ganzes Leben lang keine Ahnung, wie ich anfangen soll, eine "akademische" Art von Arbeit zu veröffentlichen. Während meiner letzten Recherchen habe ich einen interessanten Algorithmus für die Aufgabe gefunden, die ich gelöst habe (im Zusammenhang mit einigen Berechnungen an den Finanzmärkten). Es ist kein …
3
Präsentation in Arbeit (Folien jetzt verfügbar)
Präsentation jetzt gegeben. Folien unten verfügbar. Das Präsentieren von Work-in-Progress ist etwas, das wir alle tun sollten, um frühzeitig Feedback zu erhalten und unsere Ideen zu kristallisieren. Leider brauchen viele Doktoranden Hilfe, um diese Hürde der Präsentation früher Forschung zu überwinden, auch wenn dies nur für ihre eigene Forschungsgruppe gilt. …
1
Gibt es ein vernünftiges automatisiertes Beweissystem für TCS-Theoreme?
Angenommen, ich wollte Turings Beweis für das Stopp-Problem formalisieren, damit eine Maschine ihn überprüfen kann. Einige der bekannten automatisierten Theoremprüfungssysteme umfassen Mizar, Coq und HOL4. Ich habe Coq heruntergeladen und experimentiert, aber es gibt keine Bibliothek für Turing-Maschinen. Ich überlegte, selbst einen Code zu schreiben, fand das Tutorial jedoch nicht …
6
Warum Naturals statt Integer?
Mich interessiert, warum natürliche Zahlen bei den Autoren von Büchern über Programmiersprachentheorie und Typentheorie so beliebt sind (z. B. J. Mitchell, Grundlagen für Programmiersprachen und B. Pierce, Typen und Programmiersprachen). Die Beschreibung des einfach getippten Lambda-Kalküls und insbesondere der PCF-Programmiersprache basiert normalerweise auf Nat's und Bool's. Für die Menschen, die …
2
Enge Untergrenzen für Savitch's Theorem
Zunächst entschuldige ich mich im Voraus für jede Dummheit. Ich bin kein Experte für Komplexitätstheorie (ganz im Gegenteil! Ich bin ein Student, der meinen ersten Kurs in Komplexitätstheorie belegt). Hier ist meine Frage. Nun besagt der Satz von Savitch, dass Nun bin ich gespannt, ob diese untere Schranke eng war, …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.