Ist co-p rekursiv geneigt?

Question

p ist neu, ist aber die Ergänzung der Klassen der Sprachen, die bei der Polynomzeit enttäuschbar ist, auch rekursiv nativerie?

Wenn beide wieder sind, dann macht das p rekursiv?

Answer 1

co- $ \ mathsf {p}=mathsf {p} $ .Um dies zu sehen, wählen Sie Ihr Lieblingsproblem $ A $ in Co- $ \ Mathsf {P} $ ,Sei $ t $ Sei eine Turing-Maschine für die Ergänzung von $ A $ (in $ \ mathsf {p} $ ) und erstellen Sie eine neue Turing-Maschine $ T '$ das simuliert $ t $ , akzeptiert, ob $ T $ ablehnt, und lehnt ab, wenn $ T $ akzeptiert.