Theoretische Informatik

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

3
Wie ist die Dualität von Typen definiert?
Kostenlos in Wadlers rekursiven Typen! [1] demonstrierte er zwei Typen, und , und behauptete, dass sie dual sind . Insbesondere wies er darauf hin, dass der Typ ist nicht das Duale des ersteren. Es scheint, dass sich die fragliche Dualität von der De Morgan-Dualität in der Logik unterscheidet. Ich frage …
2
Effizienter universeller Problemlöser?
Definieren Sie ein "Problem" als Algorithmus AAA , der eine natürliche Zahl akzeptiert und 0 oder 1 zurückgibt, was für mindestens ein . Jedes solche wird als "Lösung" für111n∈Nn∈Nn \in \mathbb{N}nnnAAA Definieren Sie einen „universellen Problemlöser“ ein Algorithmus sein Annahme ein Problem und die Rückkehr eines seiner Lösungen. Zum Beispiel …
2
Ausdruckskraft von Büchi vs CTL (*)
In welchem Verhältnis steht die Ausdruckskraft von LTL , Büchi / QPTL , CTL und CTL * ? Können Sie einige Hinweise geben, die möglichst viele dieser zeitlichen Logiken abdecken (insbesondere zwischen Linear- und Verzweigungszeit)? Ein Venn-Diagramm mit diesen zeitlichen Logiken und einigen praktischen Eigenschaften als Beispiele wäre perfekt. Zum …
3
AM / MA und NP in Analogie zu P und BPP
Arora und Barak zeigen, dass als ausgedrückt werden kann . ist auch eine natürliche randomisierte Verallgemeinerung von indem Sie den deterministischen Verifizierer durch einen randomisierten ersetzen.AMEINM\mathsf{AM}M A N PBP⋅NPBP⋅NP\mathsf{BP}\cdot \mathsf{NP}MAMA\mathsf{MA}NPNP\mathsf{NP} Gibt es einen Sinn, in dem einer von diesen enger in das "P ist zu BPP wie NP ist zu" …
2
Können Multipebble-Automaten alle deterministischen kontextsensitiven Sprachen bestimmen?
Ein MPA (Multipebble-Automat) ist ein 2DFA (bidirektionaler deterministischer endlicher Automat), der eine beliebige Anzahl von Steinen verwenden kann (tatsächlich höchstens Steine ​​auf einer gegebenen Eingabe w - die Eingabe wird auf das Band zwischen zwei Enden geschrieben -Markierungen als # w # ). Während der Berechnung kann ein MPA erkennen, …
2
Teilen Sie den Text gleichmäßig in eine bestimmte Anzahl von Zeilen auf
Es gibt einen linearen Zeitalgorithmus zum gleichmäßigen Aufteilen von Text in Zeilen maximaler Breite. Es verwendet SMAWK (oder Knuth & Plass) und bedeutet "gleichmäßig": http://en.wikipedia.org/wiki/Word_wrap#Minimum_raggedness Gibt es einen Algorithmus oder eine Konkavkostenfunktion für den obigen Algorithmus, die anstelle der maximalen Zeilenbreite die Anzahl der Zeilen berücksichtigt, in die der Text …
2
Schwellenfragen auf Endlichkeitsfragen reduzieren
In der Regel ist es einfacher, über die Berechnung zu urteilen, wenn die Begrenzung in der Endlichkeit der Berechnung besteht, als über einen Schwellenwert wie "in polynomieller Zeit berechenbar". In der formalen Sprachtheorie zum Beispiel lieber das ∃ n . xn + 1=xn∃n.xn+1=xn\exists n. x^{n+1} = x^n Um aperiodische Monoide …
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.