Ich interessiere mich für die kritische Dichte α der 3-Erfüllbarkeit (3-SAT) . Es wird vermutet, dass ein solches α existiert: Wenn die Anzahl der zufällig erzeugten 3-SAT-Klauseln oder mehr beträgt , sind sie mit ziemlicher Sicherheit unbefriedigend. (Hier ist eine kleine Konstante und ist die Anzahl der Variablen.) Wenn die Anzahl oder weniger ist, sind sie fast sicher erfüllbar.
Die von Elitza Nikolaeva Maneva erstellte Dissertation „ Algorithmen zur Verbreitung von Überzeugungen bei Problemen mit der Erfüllung von Beschränkungen“ stellt das Problem unter dem in der Informationstheorie bekannten Gesichtspunkt der Verbreitung von Überzeugungen in Frage. Auf Seite 13 wird wenn vorhanden ist.
Was sind die bekanntesten Grenzen für ?