Als «descriptive-complexity» getaggte Fragen

Die beschreibende Komplexität klassifiziert Probleme danach, wie schwierig es ist, das Problem in einem logischen Formalismus auszudrücken.

1
Was ist falsch an diesem uniform ?
Folgendes wird nicht als wahr angesehen: L⊆L−uniform NC1L⊆L−uniform NC1\mathsf{L} \subseteq \mathsf{L}-\mbox{uniform } \mathsf{NC}^1 Können Sie mir helfen zu sehen, wo das Argument zusammenbricht? Das Problem der gerichteten Erreichbarkeit ist für . Ich behaupte, dass es in -uniform .LL\mathsf{L}LL\mathsf{L}NC1NC1\mathsf{NC^1} Das Problem der gerichteten Erreichbarkeit über Konfigurationsgraphen der deterministischen Log-Space-Turing-Maschine ist für …
1
Ist es entscheidend, zwei SO-Horn-Abfragen auf Äquivalenz zu testen?
Aus dem Satz von Rice folgt, dass Sie nicht bestimmen können, ob zwei Turing-Maschinen dieselbe Sprache entscheiden oder nicht. Meine Frage lautet: Gilt dies auch für beschreibende Komplexitätseinstellungen, insbesondere wenn zwei SO-Horn-Abfragen getestet werden sollen, um festzustellen, ob sie dieselbe Sprache beschreiben? Mir ist keine beschreibende Komplexitätsversion von Rices Theorem …
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.