Computerwissenschaften

Fragen und Antworten für Studenten, Forscher und Informatiker

1
Wie kann man beweisen, dass ε-Schleifen in PDAs nicht notwendig sind?
Im Rahmen unserer Untersuchung von Heap-Automaten möchte ich beweisen, dass eine bestimmte Variante nicht kontextsensitive Sprachen nicht akzeptieren kann. Da wir kein gleichwertiges Grammatikmodell haben, brauche ich einen Beweis, der nur Automaten verwendet. Daher muss ich zeigen, dass Heap-Automaten von LBAs (oder einem gleichwertigen Modell) simuliert werden können . Ich …
1
Turing erkennbar => aufzählbar
Ich erhalte den Beweis, von einem Enumerator zu einer Turing-Maschine zu wechseln (führen Sie den Enumerator weiter aus und prüfen Sie, ob er mit der Eingabe übereinstimmt), aber ich sehe nicht, wie der andere Weg funktioniert. Gemäß meinen Notizen und dem Buch (Einführung in die Theorie der Berechnung - Sipser) …
2
Optimaler Myopic Labyrinthlöser
Ich habe mit der Maze-Demo von Google Blocky herumgespielt und mich an die alte Regel erinnert: Wenn Sie ein Labyrinth lösen möchten, halten Sie einfach Ihre linke Hand an der Wand. Dies funktioniert für jedes einfach verbundene Labyrinth und kann von einem endlichen Wandler implementiert werden. Lassen Sie unseren Roboter …
2
NP-Vollständigkeit eines Diagrammfärbungsproblems
Alternative Formulierung Ich habe eine alternative Formulierung zum folgenden Problem gefunden. Die alternative Formulierung ist eigentlich ein Sonderfall des unten aufgeführten Problems und verwendet zweigeteilte Diagramme, um das Problem zu beschreiben. Ich glaube jedoch, dass die alternative Formulierung immer noch NP-hart ist. Die alternative Formulierung verwendet einen disjunkten Satz eingehender …
1
Wie kann man beweisen, dass eine eingeschränkte Version von 3SAT, in der kein Literal mehr als einmal vorkommen kann, in Polynomzeit lösbar ist?
Ich versuche, eine Aufgabe zu erarbeiten (entnommen aus dem Buch Algorithmen - von S. Dasgupta, CH Papadimitriou und UV Vazirani , Kapitel 8, Problem 8.6a), und paraphrasiere, was darin steht: Angesichts der Tatsache, dass 3SAT auch dann NP-vollständig bleibt, wenn es auf Formeln beschränkt ist, in denen jedes Literal höchstens …
4
Gibt es eine unentscheidbare endliche Sprache endlicher Wörter?
Gibt es einen Bedarf für L⊆Σ∗L⊆Σ∗L\subseteq \Sigma^* sein unendlich unentscheidbar zu sein? Ich meine , was ist, wenn wir eine Sprache wählen L′L′L' sein eine begrenzte endliche Version von L⊆Σ∗L⊆Σ∗L\subseteq \Sigma^* , das heißt |L′|≤N|L′|≤N|L'|\leq N , ( N∈NN∈NN \in \mathbb{N} ) mit L′⊂LL′⊂LL' \subset L . Kann L′L′L' eine …
2
Wie klassifiziere ich mein Problem bei der Optimierung der Emulator-Eingabe und mit welchem ​​Algorithmus soll ich es angehen?
Aufgrund der Art der Frage muss ich viele Hintergrundinformationen hinzufügen (da meine Frage lautet: Wie kann ich diese eingrenzen?). Sie kann jedoch (nach bestem Wissen) wie folgt zusammengefasst werden: Welche Methoden gibt es, um lokale Optima in extrem großen kombinatorischen Suchräumen zu finden? Hintergrund In der Tool-unterstützten Superplay-Community möchten 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.