Die Isomorphismus-Vermutung von Berman und Hartmanis besagt, dass alle vollständigen Mengen eine polynomielle Zeit isomorph zueinander sind. Dies bedeutet, dass vollständige Probleme über polynomialzeitberechnbare und invertierbare Bijektionen effizient aufeinander reduziert werden können. Die Vermutung impliziert .N P P ≠ N P.
Die Isomorphismus-Vermutung impliziert eine exponentielle Untergrenze für die Dichte von vollständigen Mengen, da das Problem der Erfüllbarkeit dicht ist. Ich frage mich, ob dies auch eine exponentielle Untergrenze für die Dichte der Zeugen für eine vollständige Menge impliziert.
Bedeutet die Isomorphismus-Vermutung exponentielle Untergrenzen für die Dichte der Zeugen? Bedeutet dies, dass vollständige Probleme nicht in ?
Das beste mir bekannte Ergebnis ist das Folgende:
Wenn und die Isomorphismus-Vermutung .
Die Dichte einer Menge bezieht sich auf die Anzahl der Zeichenfolgen mit einer Länge von weniger als in der Sprache. Eine Menge ist exponentiell dicht, wenn ihre Dichte für einige und für unendlich viele und spärlich, wenn = .