Gibt es eine (vorzugsweise natürliche) NP-vollständige Sprache , so dass für jedes n ≥ 1 | L ∩ { 0 , 1 } n | = 2 n - 1 gilt? Mit anderen Worten enthält L genau die Hälfte aller n- Bit-Instanzen.
Gibt es eine (vorzugsweise natürliche) NP-vollständige Sprache , so dass für jedes n ≥ 1 | L ∩ { 0 , 1 } n | = 2 n - 1 gilt? Mit anderen Worten enthält L genau die Hälfte aller n- Bit-Instanzen.
Antworten:
Ich habe diese Frage vor ein paar Jahren gestellt und Boaz Barak hat sie positiv beantwortet .
Die Aussage entspricht der Existenz einer NP-vollständigen Sprache wobei | L n | ist zur Polynomzeit berechenbar.
Betrachten Sie Boolesche Formeln und SAT. Durch Auffüllen und leichtes Ändern der Codierung von Formeln können wir sicherstellen, dass und ¬ φ die gleiche Länge haben.
Lassen Sie sein eine Codierung , dass
Betrachten
Es ist leicht zu erkennen, dass NP-vollständig ist.
Wenn , die Anzahl der Wahrheits Zuteilungen & tgr; ⊨ & phgr; und ∃ & sgr; < & tgr; & sgr; ⊨ & phgr; ist gleich der Anzahl der Befriedigung Wahrheit Zuweisungen - 1 . Addiert man φ selbst, so addiert man die Anzahl der erfüllenden Wahrheitszuweisungen für φ .
Es gibt Wahrheitszuweisungen. Jedes τ erfüllt entweder φ oder ¬ φ (und nicht beide). Für jede Formel φ , sollten Sie die 2 ( 2 | φ | + 1 ) Saiten ⟨ φ ⟩ , ⟨ ¬ φ ⟩ , ⟨ φ , & tgr; ⟩ und ⟨ ¬ φ , & tgr; ⟩ für & tgr; & egr ; { 0 ,. Genau 2 | φ | davon 2 | φ | + 1 + 2 Strings sind in L . Dies bedeutet, dass die Anzahl der Ketten mit der Länge n in L die Anzahl der Formeln φ der codierten Länge n multipliziert mit 2 | ist φ | welche Polynomzeit berechenbar.
Hier ist ein Vorschlag, warum es schwierig sein könnte, ein Beispiel dafür zu finden, obwohl ich Kavehs Bemerkung zustimme, dass es überraschend wäre, wenn es es nicht gäbe. [Keine Antwort, aber zu lang für einen Kommentar.]
Natürlich ist dies auch die Art von Dingen, bei denen jemand ein Beispiel vorstellt und wir werden leicht sehen, wie es um diesen Einwand geht, aber ich wollte dies nur rausschmeißen, um zu sagen, wie etwas mit einer ausreichend einfachen Bijektion kann funktioniert nicht (es sei denn, weit verbreitete Überzeugungen sind falsch).