Ich bereite mich auf einen Vortrag vor, der sich an Bachelor-Mathematiker richtet, und als Teil davon denke ich darüber nach, das Konzept der Entscheidbarkeit zu diskutieren. Ich möchte ein Beispiel für ein Problem geben, von dem wir derzeit nicht wissen, dass es entscheidbar oder unentscheidbar...
Schränkt man Turing Machines auf ein endliches Band ein (dh, um den begrenzten Raum zu nutzen ), so ist das Halteproblem entscheidbar, im wesentlichen, weil nach einer Anzahl von Schritten (die sich aus der Anzahl der Zustände , und der berechnet werden können) alphabet size) muss eine...
Ich weiß, dass es nicht zu entscheiden ist, ob ein Kachelsatz das Flugzeug kacheln kann, ein Ergebnis der Verwendung von Wang-Kacheln durch Berger . Meine Frage ist, ob es auch bekannt ist, unentscheidbar zu sein, um festzustellen, ob eine einzelne gegebene Fliese die Ebene, eine einflächige...
Es ist allgemein bekannt, dass das Äquivalenzproblem für allgemeine kontextfreie Sprachen nicht zu entscheiden ist. Alle Beweise für diese Tatsache, die mir bekannt sind, scheinen jedoch nicht eindeutige kontextfreie Grammatiken zu enthalten. Aus diesem Grund möchte ich fragen, ob bekannt ist, ob...
Ich interessiere mich für folgendes Problem: Bei gegebenen ganzzahligen Matrizen A1,A2,…,AkA_1,A_2, \ldots, A_k entscheidet sich, ob jedes unendliche Produkt dieser Matrizen letztendlich gleich der Nullmatrix ist. Dieses Mittel genau das, was Sie denken , es tut: Wir haben die Menge von Matrizen...
Es ist ein bekanntes Ergebnis, dass die Frage Erzeugt eine kontextfreie Grammatik eine reguläre Sprache? ist unentscheidbar. Es wird jedoch auf einem unären Alphabet entscheidbar, einfach weil in diesem Fall die Klassen der kontextfreien und regulären Sprachen zusammenfallen. Meine Frage ist zu...
Ich weiß, dass es unmöglich ist, die Äquivalenz für einen nicht typisierten Lambda-Kalkül zu bestimmen . Zitat von Barendregt, HP Der Lambda-Kalkül: seine Syntax und Semantik. Nordholland, Amsterdam (1984). :ββ\beta Wenn A und B disjunkt sind, nicht leere Mengen von Lambda-Termen, die unter...
Ich versuche, ein bestimmtes Problem zu lösen, und dachte, ich könnte es mithilfe der Automatentheorie lösen. Ich frage mich, welche Automatenmodelle haben eine Einschließung, die in der Polynomzeit entscheidbar ist? dh wenn Sie Maschinen , können Sie testen, ob effizient ist.M1, M2M1,M2M_1, M_2L (...
Das Stopp-Problem für Turing-Maschinen ist möglicherweise die kanonische, unentscheidbare Menge. Trotzdem beweisen wir, dass es einen Algorithmus gibt, der über fast alle Fälle entscheidet. Das Stopp-Problem gehört daher zu der wachsenden Sammlung von Personen, die das Phänomen der...
Antwort: nicht bekannt. Die gestellten Fragen sind natürlich, offen und anscheinend schwierig. die frage ist jetzt ein community wiki. Überblick Die Frage versucht, Sprachen der KomplexitätsklassePPP - zusammen mit den Entscheidungs-Turing-Maschinen (TMs), die diese Sprachen akzeptieren - in zwei...
Es ist bekannt, dass viele Logikprobleme (z. B. Erfüllbarkeitsprobleme mehrerer Modallogiken) nicht entscheidbar sind. Es gibt auch viele unentscheidbare Probleme in der Algorithmustheorie, z. B. bei der kombinatorischen Optimierung. In der Praxis eignen sich Heuristiken und Näherungsalgorithmen...
Was sind die bekannten Grenzen der Entscheidbarkeit des Vergleichs der Wachstumsrate von Funktionen von ? Ich denke hier an die Entscheidbarkeit von Fragen wie "Ist x x ∼ 2 ⌊ x lg ( x + 2 ) ⌋ ?" oder "Ist 2 lg * x ∈ O ( lg lg x ) ?".N→NN→N\mathbb{N} \to \mathbb{N}xx∼2⌊xlg(x+2)⌋xx∼2⌊xlg(x+2)⌋x^x...
Was ist das einfachste Rechenmodell, für das das Problem der Leere nicht zu entscheiden ist? Das Leerheitsproblem für ein Rechenmodell (z. B. Finite-State-Automat, alternierender Pushdown-Automat, Bounded-Error-Quantenautomat mit Zähler, deterministischer LBA usw.) besteht darin, zu bestimmen, ob...
Das "Spiel mit der größten Zahl" fordert zwei Spieler auf, eine Zahl heimlich aufzuschreiben, und der Gewinner ist die Person, die die größere Zahl aufgeschrieben hat. Das Spiel erlaubt es den Spielern normalerweise, Funktionen aufzuschreiben, die zu einem bestimmten Zeitpunkt ausgewertet werden....
Ein Vector Addition System (VAS) ist eine endliche Menge von Aktionen . ist der Satz von Markierungen . Ein Lauf ist ein nicht-leeres Wort von Markierungen st . Wenn ein solches Wort existiert sagen wir , dass ist erreichbar von .A⊂ZdA⊂ZdA \subset \mathbb{Z}^dm 0 m 1 … m n ∀ i ∈ { 0 , … , n - 1 } ,...
Antwort: nicht bekannt Vielen Dank an alle, die dazu beigetragen haben, diese Frage und die damit verbundenen Definitionen zu verfeinern. Die Definitionen dieses Wikis bildeten den Ausgangspunkt für das neuere TCS-Wiki " Enthält P Sprachen, deren Existenz unabhängig von PA oder ZFC ist?...
Es gibt Probleme, die entscheidbar sind, es gibt einige, die nicht entscheidbar sind, es gibt Halbentscheidbarkeit usw. In diesem Fall frage ich mich, ob ein Problem meta-unentscheidbar sein kann. Dies bedeutet (zumindest in meinem Kopf), dass wir nicht sagen können, ob es entscheidbar ist oder...
Betrachten Sie eine beliebige kontextfreie Grammatik über dem Alphabet { 0 , 1 , ¯ 0 , ¯ 1 } . Fügen Sie den Produktionen dieser Grammatik zwei feste, nicht kontextfreie Produktionen P hinzu : ¯ 0 0 → ϵ und ¯ 1 1 → ϵ . Nennen Sie die resultierende Grammatik G P und stehen Sie für " G erweitert mit...
Das Robertson-Seymour-Theorem besagt, dass jede kleinere geschlossene Familie GG\mathcal G von Graphen durch endlich viele verbotene Minderjährige charakterisiert werden kann. Gibt es einen Algorithmus, der für einen Eingang GG\mathcal G die verbotenen Minderjährigen ausgibt, oder ist dies...
Hat jede Turing-erkennbare unentscheidbare Sprache eine NP-vollständige Teilmenge? Die Frage könnte als eine stärkere Version der Tatsache angesehen werden, dass jede unendliche Turing-erkennbare Sprache eine unendlich entscheidbare Teilmenge