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...
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 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....
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...