Theoretische Informatik

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

1
Wie hat sich herausgestellt, dass die MA-Version von SETH falsch ist?
Nach diesem Aufsatz , der eine nichtdeterministische Erweiterung der Artikel Strong Exponential Time Hypothesis (SETH) diskutiert, heißt es: "[…] Williams hat kürzlich gezeigt, dass verwandte Hypothesen zur Merlin-Arthur-Komplexität von k-TAUT falsch sind." Dieses Papier zitiert jedoch nur eine persönliche Mitteilung. Wie hat sich herausgestellt, dass die MA-Version von SETH falsch …
1
Langsamste Eins-zu-Eins-Reduktion?
Wenn wir beweisen wollen , dass ein ist -komplette, dann wird der Standard - Ansatz ist ein Polynom berechenbare viel eine Reduktion eines bekannten zu zeigen -komplette Problem zu . In diesem Zusammenhang brauchen wir keine feste Grenze für die Laufzeit der Reduktion. Es genügt, jedes Polynom gebunden zu haben …
2
Was ist eine äquivalente Definition von mP / poly in Bezug auf eine Turingmaschine?
P / poly ist die Klasse von Entscheidungsproblemen, die durch eine Familie von Booleschen Schaltungen polynomialer Größe lösbar sind. Es kann alternativ als eine Polynom-Zeit-Turing-Maschine definiert werden, die eine Hinweiszeichenfolge empfängt, die in n polynomisch ist und die ausschließlich auf der Größe von n basiert. mP / poly ist die …
2
Numerische Genauigkeit in der Quadratsummenmethode?
Ich habe etwas über die Quadratsummenmethode (SOS) aus der Umfrage von Barak & Steurer und den Vorlesungsunterlagen von Barak gelesen . In beiden Fällen werden Probleme mit der numerischen Genauigkeit unter den Teppich gekehrt. Nach meinem (zugegebenermaßen eingeschränkten) Verständnis der Methode sollte Folgendes zutreffen: Wenn ein beliebiges System von Polynomgleichungen …
1
Minimale Spezifikation der Martin-Löf-Typentheorie
Ich lese die formale Darstellung der Martin-Löfs-Typentheorie (Anhang des HoTT-Buches ). Die Autoren führen eine Hierarchie von Universen ein, dann und auch W- Typen sowie natürliche Zahlen N (induktiv über 0 und s u c c ). Schließlich fügen sie auch höhere induktive Typen hinzu.Π,Σ,+,0,1Π,Σ,+,0,1\Pi, \Sigma,+, {\bf 0}, {\bf 1}WWWNN\mathbb …
1
"Snake" -Rekonfigurationsproblem
Während ich einen kleinen Beitrag über die Komplexität der Videospiele Nibbler und Snake schreibe ; Ich fand heraus, dass beide als Rekonfigurationsprobleme auf ebenen Graphen modelliert werden können. und es ist unwahrscheinlich, dass solche Probleme im Bereich der Bewegungsplanung nicht gut untersucht wurden (stellen Sie sich zum Beispiel eine Kette …
3
Komplexität von Permutationsproblemen
Bei einer Gruppe GGG von Permutationen auf [n]={1,⋯,n}[n]={1,⋯,n}[n]=\{1, \cdots, n\} und zwei Vektoren u,v∈Γnu,v∈Γnu,v\in \Gamma^n wobei ΓΓ\Gamma ein endliches Alphabet ist, das hier nicht ganz relevant ist, ist die Frage, ob es etwas π∈Gπ∈G\pi\in G , so dass π(u)=vπ(u)=v\pi(u)=v wo π(u)π(u)\pi(u) Mittel , um die Permutation Anwendung ππ\pi auf uuu …
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.