Theoretische Informatik

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

2
"Fast sortieren" von ganzen Zahlen in linearer Zeit
Ich bin daran interessiert, ein Array positiver ganzzahliger Werte in linearer Zeit zu sortieren (im RAM-Modell mit einheitlichem Kostenmaß, dh ganze Zahlen können bis zu logarithmischer Größe haben, aber es wird angenommen, dass arithmetische Operationen auf sie angewendet werden Zeiteinheit). Natürlich ist dies mit vergleichsbasierten Sortieralgorithmen nicht möglich, daher bin …
1
Wie kann man Babais neues Ergebnis des Graph-Isomorphismus zitieren?
Kürzlich hat Babai auf der STOC 2016 einen Aufsatz veröffentlicht, in dem behauptet wird, dass der Graphisomorphismus in quasipolynomialer Zeit gelöst werden kann. Anfang 2017 hat Babai die quasipolynomiale Behauptung aufgrund einiger schwerwiegender Fehler von Harald Helfgott zurückgezogen. Wie Babai selbst erklärte, macht dieser Fehler die Verbesserung in Bezug auf …
2
Aktuelle TCS-Publikationen mit philosophischen Aspekten
Viele Veröffentlichungen der Informatik aus den 1950er und 1960er Jahren enthalten faszinierende philosophische Spekulationen über die Natur des Geistes und die Bedeutung von Informationen in Bezug auf die physische Welt. Berühmte Beispiele sind der "Turing Test", Zuses "Calculating Space", Wheelers "it from bit" usw. Heutzutage sind solche Themen in populärwissenschaftlichen …
2
Status quo von Kategorietheorie und Monaden in der theoretischen Informatikforschung?
Hintergrund . Ich bin ein Bachelor-Student, der sich für Forschung in Bezug auf Kategorietheorie, Monaden und Haskell interessiert, und ich möchte ein Thema für meine Bachelor-Arbeit in diesem Bereich finden. Ich habe mir die Zeitung angesehen Eugenio Moggi , " Vorstellungen von Berechnungen und Monaden ", 1991, und ich verstehe …
1
Charakterisierung von
Es ist ein Standardnachweis in Automatenkursen, der für L=Σ⋆L=Σ⋆L = \Sigma^\star und |Σ|≥2|Σ|≥2|\Sigma| \ge 2 dass S(L)={ww:w∈L}S(L)={ww:w∈L}S(L) = \{ww : w \in L\} keine kontextfreie Sprache ist. Es ist auch wahr , dass für jede endliche LLL , S(L)S(L)S(L) endlich ist (und daher ein CFL). Ich vermute, dass LLL unendlich …
3
Die Kategorie der Turingmaschinen?
Haftungsausschluss: Ich weiß sehr wenig über Komplexitätstheorie. Es tut mir leid, aber es gibt wirklich keine Möglichkeit, diese Frage zu stellen, ohne (schrecklich) präzise zu sein: Was sollen die Morphismen in "der" Kategorie der Turingmaschinen sein? Dies ist offensichtlich subjektiv und hängt von der Interpretation der Theorie ab. Daher sollte …
1
Sind DPDAs ohne ein
In der formalen Beschreibung deterministischer Pushdown-Automaten erlauben sie Bewegungen, bei denen die Maschine Symbole auf den Stapel kopieren oder schieben kann, ohne ein Symbol von der Eingabe zu lesen. Wenn diese Bewegungen nicht zulässig sind und der Stapel nur einmal nach jedem Symbollesevorgang geändert werden kann, sind die resultierenden Automaten …
3
Zeitklassen trennen
Ein Student von mir hat kürzlich die folgende Frage gestellt: Es sei angenommen , D T I M E ( f ( n ) ) ⊊ D T I M E ( g ( n ) ) . DTIME(f(n))⊊DTIME(g(n)).DTIME(f(n)) \subsetneq DTIME(g(n)).Muss es ein h ( n ) geben,h(n)h(n) so dass …
1
Referenz für den Algorithmus zum Testen der Azyklizität gemischter Graphen?
Ein gemischtes Diagramm ist ein Diagramm, das sowohl gerichtete als auch ungerichtete Kanten haben kann. Das zugrunde liegende ungerichtete Diagramm wird erhalten, indem die Ausrichtungen der gerichteten Kanten vergessen werden, und in der anderen Richtung wird eine Ausrichtung eines gemischten Diagramms erhalten, indem jeder ungerichteten Kante eine Richtung zugewiesen wird. …
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.