Ich denke, Robins Antwort auf meine Frage zu MO beantwortet auch diese Frage .
Eine deskriptive Komplexitätscharakterisierung einer Komplexitätsklasse ergibt eine Sprache, deren Abfragen (dh Formeln) genau die in C berechenbaren Funktionen sind . Die Syntax der Sprache ist normalerweise sehr einfach, dh wenn eine Zeichenfolge q angegeben wird , ist es einfach zu überprüfen, ob q eine wohlgeformte Abfrage der Sprache ist, zumindest wird erwartet, dass sie entscheidbar ist (aber normalerweise kann die Syntaxprüfung in a durchgeführt werden kleine Komplexitätsklasse). Dies würde eine effektive Aufzählung der Probleme in der Klasse C nach sich ziehen und eine syntaktische Charakterisierung für C liefern . (Wenn die Komplexität der Syntaxprüfung gering ist, kann dies auch bedeuten, dass ein vollständiges Problem für die Klasse vorliegt.)CCqqCC
In den Kommentaren oben, verbunden Robin zu Kord Eickmeyer und Martin Grohe Papier „ Randomisierung und Derandomization in Beschreibende Komplexitätstheorie “ , die eine „deskriptive Komplexität“ Charakterisierung gibt . Die Autoren selbst stellen in der Einleitung fest, dass sich dies von dem unterscheidet, was üblicherweise mit einer deskriptiven Komplexitätscharakterisierung gemeint ist:BPP
Wir beweisen, dass , die probabilistische Version der Festkommalogik mit Zählen, die Komplexitätsklasse B P P auch auf ungeordneten Strukturen erfasst . Für geordnete Strukturen ist dieses Ergebnis eine direkte Konsequenz des Immerman-Vardi-Theorems [7, 8], und für beliebige Strukturen folgt aus der Beobachtung, dass wir in BPIFP + C eine zufällige Reihenfolge mit hoher Wahrscheinlichkeit definieren können. Dennoch ist das Ergebnis auf den ersten Blick überraschend, weil es mit der offenen Frage, ob es eine logische Erfassung von P gibt , vergleichbar ist und weil angenommen wird, dass P = Die Einschränkung ist, dass die Logik B P istBPIFP+CBPPP .P=BPP hat keine effektive Syntax und ist daher keine „Logik“ gemäß Gurevichs [9] Definition, die der Frage nach einer Logik, die P erfasst, zugrunde liegt. BPIFP+CPWir glauben jedoch, dass eine völlig angemessene Beschreibung der Komplexitätsklasse B P P gibt , da die Definition von B P PBPIFP+CBPPBPP inhärent unwirksam ist (im Gegensatz zur Definition von in Bezug auf das Entscheidbare) Satz polynomisch getakteter Turingmaschinen).P
Ich bin kein Experte für finite Modelltheorie / deskriptive Komplexität (und würde gerne persönlich mehr von Experten hören), aber ich habe das Gefühl, dass es hier ein bisschen Betrug gibt, wenn ich sage, dass dies eine deskriptive Komplexitätscharakterisierung ist. Der Grund für mein Gefühl ist, dass wir, wenn wir eine nicht effektive Syntax haben dürfen, beliebige semantische Einschränkungen verwenden können, um die Klasse wohlgeformter Abfragen einzuschränken, und für jede Komplexitätsklasse eine "beschreibende Komplexitäts" -Charakterisierung geben können. Betrachten Sie beispielsweise (das P S p a c e erfasst ) und nehmen Sie dann genau die Abfragen an, die in B Q P berechenbar sindSO(TC)PSpaceBQP , oder die Sprache zu berücksichtigen , die für jede Maschine in einem Funktionssymbol hat BQPBQP