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:
... Wir identifizieren Probleme mit Teilmengen von in .Σ *
Ich denke, die Absicht ist, dass wir eine bestimmte Struktur in codieren (z. B. ungerichtete Graphen) und Teilmengen dieser Strukturen Probleme sind (z. B. planare Graphen).
Ein Beweissystem für ein Problem ist eine in Polynomzeit berechenbare Surjektivfunktion P : Σ * → Q
Nun besteht die Möglichkeit zu sagen, dass die Menge aller möglichen Modelle in einer bestimmten Struktur ist (z. B. alle ungerichteten Graphen). Dies ist jedoch nicht sinnvoll, da warum ungerichtete Diagramme auf eine Teilmenge abgebildet werden sollten. Es könnten verschlüsselte Maschinen sein, aber das macht auch keinen Sinn ...
Irgendwelche Ideen?