Theoretische Informatik

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

2
Algorithmus zur Konvertierung sehr großer NFA in DFA
Ich habe einen wirklich großen nicht deterministischen endlichen Automaten und muss ihn in den DFA konvertieren. Im Großen und Ganzen meine ich mehr als 40 000 Staaten. Bisher habe ich einige Experimente durchgeführt und den Standardalgorithmus programmiert, der die Tabelle durchsucht (wie hier beschrieben ), aber auch nach der Optimierung …
12 dfa 
1
Effizienter Algorithmus für das Vorhandensein von Permutation mit Differenzenfolge?
Diese Frage wird durch diesen Beitrag motiviert: Können Sie die Summe von zwei Permutationen in der Polynomzeit identifizieren? und mein Interesse an rechnerischen Eigenschaften von Permutationen. Eine Differenzsequenz ein1, ein2, … Anein1,ein2,…einna_1, a_2, \ldots a_n einer Permutation ππ\pi der Zahlen 1 , 2 , … n + 11,2,…n+11, 2, \ldots …
2
die -Hierarchie zusammen?
Wissen wir, dass die -Hierarchie nicht zusammenbricht ( für alle d )?TC0TC0\mathsf{TC^0}TC0d⊊TC0d+1TCd0⊊TCd+10\mathsf{TC^0_d} \subsetneq \mathsf{TC^0_{d+1}}ddd Der Zoo-Eintrag für TC0TC0\mathsf{TC^0} erwähnt nur die Trennung zwischen Tiefe 2 und 3. Gibt es auch eine Standardreferenz für die Tatsache, dass die \ mathsf {AC ^ 0_d}AC0dACd0\mathsf{AC^0_d} -Hierarchie nicht zusammenbricht?
4
kleinste k Elemente im Array in O (k) finden
Dies ist eine interessante Frage, die ich im Internet gefunden habe. Bei einem Array mit n Zahlen (ohne Informationen darüber) sollten wir das Array in linearer Zeit vorverarbeiten, damit wir die k kleinsten Elemente in der O (k) -Zeit zurückgeben können, wenn wir eine Zahl 1 <= k erhalten <= …
12 sorting 
2
Komplexität endlicher Teilinformationsspiele
Welche Komplexität besteht bei einem deterministischen Teilinformations-Nullsummenspiel mit nur endlich vielen Zuständen, deren mögliche Ergebnisse [Verlieren, Unentschieden, Gewinnen] mit Werten [-1,0, + 1] sind, in der Annäherung an den Wert solcher Zustände ein Spiel additiv innerhalb von ?ϵϵ\epsilon Insbesondere kann ich keinen Algorithmus dafür finden . Der Rest dieses Beitrags …
1
Gibt es ein Buch / eine Umfrage, in dem / der Sprachklassenhierarchien, Abschlusseigenschaften usw
Ich mache derzeit einige formale Sprachrecherchen mit Sprachklassen über Regular, aber unter Context Free. Ich betrachte Dinge wie umkehrbar gebundene Multicounter-Maschinen, Single-Stack-Counter-Maschinen, deterministische CFLs usw. Ich frage mich, ob irgendjemand ein gutes Buch oder einen Fragebogen kennt, der die Eigenschaften dieser Sprachen beschreibt. Das meiste, was ich mir anschaue, ist …
1
Geglättete Analyse von Approximationsalgorithmen
Eine geglättete Analyse wurde viele Male angewendet, um die Laufzeit exakter Algorithmen für viele Probleme wie lineare Programmierung und k-Mittelwerte zu verstehen. Es gibt ziemlich allgemeine Ergebnisse in diesem Bereich, zum Beispiel Heiko Röglin und Berthold Vöcking, Smoothed Analysis of Integer Programming , 2005. Einige dieser allgemeinen Ergebnisse scheinen auf …
1
Wie schwer ist ein binäres Sudoku-Puzzle?
Sudoku ist ein bekanntes Puzzle, das NP-vollständig ist. Binary Sudoku ist eine Variante, die nur die Zahlen und 1 zulässt . Die Regeln sind wie folgt.000111 Jede Zeile und jede Spalte muss eine gleiche Anzahl von Nullen und Einsen enthalten. Jede Zeile und jede Spalte ist einzigartig. Keine Zeile oder …
2
Kleine Grafik mit Lücke zwischen chromatischer und vektorieller chromatischer Zahl?
Ich suche einen kleinen Graphen GGG dessen vektorielle Farbzahl kleiner als die Farbzahl ist, χv(G)&lt;χ(G)χv(G)&lt;χ(G)\chi_v(G)<\chi(G) . ( hat Vektor chromatische Zahl Q , wenn es eine Zuweisung x : V → R d , wobei intuitiv die zugehörigen Vektoren mit den Eckpunkten benachbarten weit voneinander entfernt sind Voraussetzung ist. ⟨ …
4
Härte der Annäherung der chromatischen Zahl in Diagrammen mit begrenztem Grad
Ich suche nach Härteergebnissen für die Scheitelfärbung von Diagrammen mit begrenztem Grad. Ausgehend von einem Graphen G(V,E)G(V,E)G(V,E) wissen wir, dass es für ϵ&gt;0ϵ&gt;0\epsilon>0 schwierig ist, χ(G)χ(G)\chi(G) innerhalb eines Faktors von |V|1−ϵ|V|1−ϵ|V|^{1-\epsilon} sei denn, [ 1 ]. Was aber, wenn der maximale Grad von G durch d begrenzt ist ? Gibt …
1
Schäfers Theorem und CSPs von unbegrenzter Breite
Schaefers Dichotomiesatz zeigt, dass jedes CSP-Problem über entweder in Polynomialzeit lösbar oder NP-vollständig ist. Dies gilt nur für CSP-Probleme mit begrenzter Breite, beispielsweise ohne SAT und Horn-SAT. Allgemeine CSP-Probleme mit unbegrenzter Breite können sehr schwierig (sogar nicht berechenbar) sein. Beschränken wir uns daher auf Probleme, die "natürlich" sind und sich …
1
Kann Schemes call / cc alle bekannten Kontrollflussstrukturen implementieren?
Die Seite "Advanced Scheme: Some Naughty Bits" lautet: Fortsetzungen sind ein mächtiges Kontrollflusskonstrukt, aus dem sich nahezu jede andere Kontrollflussstruktur ableiten lässt. Ich dachte, dass Schemas call/cc, die mit dem J-Operator von Peter Landin verwandt sind (*), verwendet werden könnten, um eine bekannte Kontrollflussstruktur zu implementieren ? Bei "Kontrollflussstruktur" denke …
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.