Als «descriptive-complexity» getaggte Fragen

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

5
Gibt es eine Logik ohne Induktion, die viel von P erfasst?
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 (wie von Immerman und Vardi betrachtet) oder der inflationäre …

2
Gibt es beschreibende Komplexitätsdarstellungen von Quantenkomplexitätsklassen?
Der Titel sagt mehr oder weniger alles, aber ich denke, ich könnte ein bisschen Hintergrundwissen und einige spezifische Beispiele hinzufügen, an denen ich interessiert bin. Deskriptive Komplexitätstheoretiker wie Immerman und Fagin haben viele der bekanntesten Komplexitätsklassen mithilfe von Logik charakterisiert. Zum Beispiel kann NP mit existenziellen Abfragen zweiter Ordnung charakterisiert …


1
Aufrechterhaltung der Reihenfolge in einer Liste in
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 einen Zeiger auf das neue Element zurück …

2
MSOL-Optimierungsprobleme bei Diagrammen mit begrenzter Gruppenbreite und Kardinalitätsprädikaten
CMSOL zählt die monadische Logik zweiter Ordnung, dh eine Logik von Graphen, bei der die Domäne die Menge von Scheitelpunkten und Kanten ist, es Prädikate für die Scheitelpunkt-Adjazenz und die Scheitelpunkt-Inzidenz gibt, es gibt eine Quantifizierung über Kanten, Scheitelpunkte, Kantensätze und Scheitelpunkte Sätze, und es gibt ein Prädikat , die …

3
Gibt es eine natürliche Einschränkung der VO-Logik, die P oder NP erfasst?
Das Papier Lauri Hella und José María Turull-Torres, Berechnen von Abfragen mit Logik höherer Ordnung , TCS 355 197–214, 2006. doi: 10.1016 / j.tcs.2006.01.009 schlägt Logik VO vor, Logik variabler Ordnung. Dies ermöglicht eine Quantifizierung über Ordnungen über die Variablen. VO ist ziemlich leistungsfähig und kann einige nicht berechenbare Abfragen …

1
Ehrenfeucht-Fraïssé-Spiele (Ajtai-Fagin) für reguläre Sprachen.
Immerman (Descriptive Complexity, 1999) präsentiert die EF-Spiele für existenzielle monadische zweite Ordnung (Ajtai-Fagin-Spiele) auf Seite 127. Da MSO für Wörter regulären Sprachen entspricht, kann das Spiel wie folgt geschrieben werden.∃∃\exists Eine Sprache ist genau dann regulär, wenn Delilah im folgenden Spiel keine Gewinnstrategie hat: 1. Samson wählt c , m …

1
P und beschreibende Komplexität
Im Complexity Zoo heißt es [ 1 ], dass PPP in der beschreibenden Komplexität durch drei verschiedene Arten von Formeln definiert werden kann: FO(LFP)FO(LFP)FO(LFP) das auch FO(nO(1))FO(nO(1))FO(n^{O(1)}) , und auch als SO(HORN)SO(HORN)SO(HORN) . Es gibt jedoch einige Ausnahmen sind zum Beispiel EvennessEvennessEvenness kann nicht durch FP ausgedrückt werden (FP hat …

1
Wovon ernähren sich Dichotomiesätze?
Es ist bekannt, dass bestimmte Klassen von NP- Problemen Dichotomiesätze haben , die garantieren, dass jede Aufgabe in der Klasse entweder NP- vollständig oder in P ist . Das bekannteste derartige Ergebnis ist Schäfers Dichotomiesatz zusammen mit einer Reihe von Verallgemeinerungen. Mein Verständnis ist, dass es nicht wirklich einfach ist, …

2
Wann tötet eine FO-Eigenschaft die NL-Härte ab?
Kontext: Wir betrachten nur Digraphen. Sei CYCLE die Sprache der Graphen mit einem Zyklus; Es ist ein NL-vollständiges Problem. Sei HASEDGE die Sprache von Graphen mit mindestens einer Kante. Dann ist trivialerweise CYCLE∪HASEDGECYCLE∪HASEDGE\text{CYCLE} \cup \text{HASEDGE}nicht mehr NL-hart, während CYCLE∪HASEDGE¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯CYCLE∪HASEDGE¯\text{CYCLE} \cup \overline{\text{HASEDGE}} so bleibt. Tatsächliches Problem: Ich frage mich, ob die …

1
Könnte eine beschreibende Komplexitätsversion von Rices Theorem verwendet werden, um AC0 und PSPACE zu trennen?
In dieser Frage wurde erwähnt, dass es beschreibende Komplexitätsversionen des Satzes von Rice gibt. Ich habe einen Beweis für den folgenden Satz gefunden: Bei einer Komplexitätsklasse C können nichttriviale Eigenschaften von Sprachen in C nicht in C berechnet werden Ich hatte zuvor den gefundenen Beweis veröffentlicht, aber weil er so …

1
Endliche Einwegpermutation mit unendlicher Domäne
Sei π:{0,1}∗→{0,1}∗π:{0,1}∗→{0,1}∗\pi \colon \{0,1\}^* \to \{0,1\}^* eine Permutation. Beachten Sie, dass ππ\pi auf eine unendliche Domäne einwirkt, seine Beschreibung jedoch endlich sein kann. Mit Beschreibung meine ich ein Programm, das die Funktionalität von beschreibt ππ\pi. (Wie bei der Komplexität von Kolmogorov.) Siehe Erläuterungen unten. Zum Beispiel ist die NOT-Funktion eine …

2
Wie können wir "
Geschlossen. Diese Frage ist nicht zum Thema . Derzeit werden keine Antworten akzeptiert. Möchten Sie diese Frage verbessern? Aktualisieren Sie die Frage so dass es beim Thema für Theoretische Informatik Stapel Austausch. Geschlossen vor 7 Jahren . Wie können wir " " als Formel erster Ordnung ausdrücken ?P=PSPACE.P=PSPACEP=PSPACE Welche Ebene …

3
Grundlegendes zur Logik der kleinsten Fixpunkte
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) Φ(P)={(a,b)∣G⊨E(a,b)∨P(a,b)∨∃z(E(a,z)∧P(z,b))}Φ(P)={(a,b)∣G⊨E(a,b)∨P(a,b)∨∃z(E(a,z)∧P(z,b))} \Phi(P) = \{(a,b) \mid G \models E(a,b) \lor P(a,b) \lor \exists z (E(a,z) \land …

2
Intuition hinter Beweissystemen
Ich versuche, das Papier über p-Optimal Proof-Systeme und Logik für PTIME zu verstehen . In der Zeitung gibt es einen Begriff namens Beweissysteme, und ich verstehe die Intuition nicht: Σ = { 0 , 1 }Σ={0,1}\Sigma = \{0,1\} ... Wir identifizieren Probleme mit Teilmengen von in .Σ *Q.QQΣ∗Σ∗\Sigma^* Ich denke, …

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.