Das Immerman-Vardi-Theorem besagt, dass PTIME (oder P) genau die Klasse von Sprachen ist, die durch einen Satz der Logik erster Ordnung zusammen mit einem Festkommaoperator über die Klasse von geordneten Strukturen beschrieben werden kann. Der Fixpunktoperator kann entweder der kleinste Fixpunkt...
Ist es möglich, algorithmisch zu testen, ob eine berechenbare Zahl rational oder ganzzahlig ist? Mit anderen Worten, könnte eine Bibliothek, die berechenbare Zahlen implementiert, die Funktionen bereitstellen, isIntegeroder isRational? Ich vermute, dass es nicht möglich ist und dass dies irgendwie...
In der Automatentheorie (endliche Automaten, Pushdown-Automaten, ...) und in der Komplexität gibt es den Begriff "Mehrdeutigkeit". Ein Automat ist mehrdeutig, wenn es ein Wort mit mindestens zwei verschiedenen Annahmeläufen gibt. Eine Maschine ist k -ambiguous wenn für jedes Wort w von der Maschine...
Kontext: Beziehungen zwischen Logik und Automaten Der Satz von Büchi besagt, dass die monadische Logik zweiter Ordnung über Strings (MSO) die Klasse der regulären Sprachen erfasst. Der Beweis zeigt tatsächlich, dass existenzielles MSO ( oder EMSO ) über Zeichenfolgen ausreicht, um reguläre Sprachen...
Gibt es einen allgemeinen Satz, der besagt, dass die bekanntesten Ergebnisse in Bezug auf die Verwendung reeller Zahlen tatsächlich verwendet werden können, wenn nur berechenbare reelle Zahlen betrachtet werden? Oder gibt es eine ordnungsgemäße Charakterisierung der Ergebnisse, die gültig bleiben,...
Das Auftragspflegeproblem (oder "Auftrag in einer Liste pflegen") besteht darin, die folgenden Vorgänge zu unterstützen: singleton: Erstellt eine Liste mit einem Element und gibt einen Zeiger darauf zurück insertAfter: einen Zeiger auf ein Element gegeben, fügt ein neues Element danach ein und gibt...
Für Systeme ohne abhängige Typen, wie das Hindley-Milner-Typensystem, entsprechen die Typen Formeln der intuitionistischen Logik. Dort wissen wir, dass es sich bei den Modellen um Heyting-Algebren handelt. Um eine Formel zu widerlegen, können wir uns auf eine Heyting-Algebra beschränken, bei der...
ϕϕ\phi ϕϕ\phiϕϕ\phi Der zweite Teil meiner Frage lautet: Gibt es bekannte Einschränkungen, so dass das Problem entscheidbar ist? Beispielsweise kann das Problem für Formeln erster Ordnung mit nur monadischen Prädikaten entscheidbar werden. Oder wenn wir ein monadisches Prädikat plus eine...
Es scheint, dass es in gängigen Abfragesprachen für relationale Datenbanken möglich ist, Abfragen zu erstellen, für deren Beantwortung viele Ressourcen erforderlich sind. In der Praxis verwalten Datenbankadministratoren dies, indem sie die Speichermenge pro Abfrage begrenzen und nach lang laufenden...
Meine Frage bezieht sich auf die endliche Modelltheorie / deskriptive Komplexität, daher bedeutet "erste Ordnung über endlichen binären Wörtern unter Verwendung der Prädikate Rs und eines unären Prädikats P, das an der Position der 1 im Wort wahr ist".FO(R)FO(R)FO(R) Ich würde gerne wissen, gibt es...
Um ein Papier besser zu verstehen, versuche ich, ein kurzes Verständnis der Logik der am wenigsten festen Punkte zu erlangen. Es gibt einige Punkte, an denen ich festsitze. Wenn ist ein Graph undG=(V,E)G=(V,E)G = (V,E)
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...
In der endlichen Modelltheorie ist bekannt, dass die Expressivität ohne eine Reihenfolge der Eingabe sehr begrenzt ist. Zum Beispiel ist bekannt, dass gleich PSPACE ist und F O ( PFP ) (ohne jede Reihenfolge in der Eingabe) nur PSPACE- relational ist, ein Begriff, der von Abiteboul und Vianu...
Obwohl L.Berman bewiesen hat, dass das Problem der Überprüfung oder Verfälschung von Aussagen erster Ordnung über reelle Zahlen, die Addition und Vergleich, aber keine Multiplikation verwenden, in EXPSPACE liegt. Wurde gezeigt, wie viel Zeit oder Raum Sie benötigen würden, um eine Aussage erster...
Wenn die Vermutung oder P ≠ N P gesetzt ist (z. B. vom Clay Mathematical Institute von S. Cook, siehe hier ), welches mathematische axiomatische System wird angenommen?P=NPP=NP\mathbf{P} = \mathbf{NP}P≠NPP≠NP\mathbf{P} \neq \mathbf{NP} Um solche Aussagen zu beweisen oder zu widerlegen, müssen Sie...