Theoretische Informatik

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

2
Wird jede rekursive Sprache von einer sterblichen Turingmaschine erkannt?
Wir sagen, dass eine Turing-Maschine tödlich ist, wennMMMMMM für jede Startkonfiguration anhält (insbesondere können der Bandinhalt und der Anfangszustand beliebig sein). Wird jede rekursive Sprache von einer sterblichen Turing-Maschine erkannt? (dh wenn es ein TM gibt, das akzeptiert , gibt es auch ein tödliches TM, das L akzeptiert )LLLLLL
2
GI-hartes Graph-Problem, von dem nicht bekannt ist, dass es
Der Graphisomorphismus ( ) ist ein guter Kandidat für Zwischenprobleme. Zwischenprobleme bestehen nur, wenn . Ich suche nach einem natürlichen Problem, das für den unter Karp-Reduktion schwer ist (Ein Graph-Problem , bei dem ).GIGIGINPNPNPNPNPNPP=NPP=NPP=NPGIGIGIXXXGI&lt;mpXGI&lt;pmXGI <_p^m X Gibt es ein natürliches -Hartgraph-Problem, das weder G I -äquivalent ist noch als N …
2
Approximation in subexponentieller Zeit
Es gibt Studien zu Approximationsalgorithmen für NP-Gesamtprobleme in der Polynomzeit und zu exakten Algorithmen in der Exponentialzeit. Gibt es Studien über Approximationsalgorithmen für NP-Gesamtprobleme in subexponentieller Zeit der Form mit ?2nδ22nδ22^{n^{\delta_2}}δ2∈(0,1)δ2∈(0,1)\delta_2\in(0,1) Ich interessiere mich besonders für das, was über schwer zu polynomialer Zeit approximierbare Probleme wie Unabhängigkeitszahl und Cliquenzahl in …
2
Volle Vollständigkeit vs Volle Abstraktion einer Programmübersetzung
Bei der Überprüfung von Compilern geht es häufig darum, den Compiler als vollständig abstrakt zu beweisen: dass er (kontextbezogene) Äquivalenzen bewahrt und widerspiegelt. Anstatt vollständige Abstraktionsnachweise zu liefern, wurden einige neuere (kategorienbasierte) Compiler-Verifikationsarbeiten von Hasegawa [ 1 , 2 ] und Egger et. al. [ 3 ] die vollständige Vollständigkeit …
3
Teilmenge Summe vs. Teilmenge Produkt (starke vs. schwache NP Härte)
Ich hatte gehofft, jemand könnte mir erklären, warum genau das Subset-Produktproblem stark NP-hart ist, während das Subset-Summenproblem schwach NP-hart ist. Subset Summe: Bei und , Gibt es eine Teilmenge so dass .X={x1,...,xn}X={x1,...,xn}X = \{x_1,...,x_n\}TTTX′X′X'∑i∈X′xi=T∑i∈X′xi=T\sum_{i\in X'}x_i = T Subset Produkt: Da und , Gibt es eine Teilmenge so dass .X={x1,...,xn}X={x1,...,xn}X = …
2
Minimierung der Größe des regulären Ausdrucks für endliche Mengen
Es ist bekannt, dass die Minimierung der Größe eines regulären Ausdrucks PSPACE-vollständig ist, auch wenn wir einen DFA als Sprachspezifikation haben . Was sind die Ergebnisse, wenn die Sprache endlich ist? Man kann dieses Problem in zwei Modellen betrachten: Die Eingabe besteht aus allen Zeichenfolgen in der Sprache, und wir …
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.