Dies hängt mit der Frage zusammen, ob die Mitgliederzahl der Zeugen für jede NP-Sprache bereits bekannt ist.
Einige natürliche (-vollständige) Probleme haben Zeugen linearer Länge: eine befriedigende Zuordnung für S A T , eine Folge von Eckpunkten für H A M P A T H usw.
Betrachten Sie die Komplexitätsklasse " beschränkt auf Zeugen linearer Länge". Formale Definition dieser Komplexitätsklasse, nenne sie C : L ∈ C, wenn ∃ L ′ ∈ P : ( x ∈ L .
Ist dies eine bekannte Komplexitätsklasse? Was sind seine Eigenschaften?