Другий параграф відповіді RJK заслуговує на більш детальну інформацію.
Нехай - формула у сполучній нормальній формі, з m застереженнями, n змінними та не більше k змінних на кожне слово. Припустимо, ми хочемо визначити, чи має задовольняюче завдання. Формула є випадком проблеми рішення k-SAT.ϕ ϕϕϕϕ
Коли застережень мало (тому m порівняно з n) досить малим, то майже завжди можна знайти рішення. Простий алгоритм знайде рішення приблизно за лінійним часом у розмірі формули.
Коли є багато пропозицій (тому m досить великий у порівнянні з n), то майже завжди буває так, що рішення немає. Це можна показати аргументом підрахунку. Однак під час пошуку майже завжди можна обрізати великі частини пошукового простору за допомогою прийомів послідовності, оскільки багато пропозицій взаємодіють так сильно. Встановлення незадовільності тоді зазвичай можна зробити ефективно.
У 1986 р. Фу та Андерсон придумали зв'язок між оптимізаційними проблемами та статистичною фізикою, заснованої на системах прядильного скла. Хоча вони вживали речення на кшталт
Інтуїтивно, система повинна бути достатньо великою, але важче бути більш конкретною.
вони насправді дають конкретні прогнози.
На підставі аргументів статистичної фізики Зекчина та його співробітники здогадуються, що k-SAT повинен стати жорстким, коли знаходиться біля критичного значення. Точне критичне значення залежить від k, але знаходиться в області від 3,5 до 4,5 для 3-SAT.α=m/n
- Ремі Монассон, Ріккардо Зеччина, Скотт Кіркпатрік, Барт Сельман, Лідрор Троянський. Визначення обчислювальної складності від характерних `фазових переходів ' , Природа 400 133–137, 1999 р. ( Doi: 10.1038 / 22055 , вільна версія )
Фрідгут надав суворий доказ цих евристичних аргументів. Для кожного фіксованого значення k існує два пороги . Для нижче існує задовольняюче завдання з високою ймовірністю. Для значення вище , формула незадовільна з високою ймовірністю. α α 1 α α 2 ϕα1<α2αα1αα2ϕ
- Ехуд Фрідгут (з додатком Жана Бургена), різкі пороги властивостей графа та -садова проблемаk Дж. Амер. Математика. Соц. 12 1017–1054, 1999 рр. ( PDF )
Дімітріс Ахліоптас працював над багатьма питаннями, що залишилися, і показав, що вищезазначений аргумент також стосується проблем задоволення обмежень. Вони можуть використовувати більше двох значень для кожної змінної. В одному з ключових статей чітко показано, чому алгоритм розповсюдження опитування працює так добре для вирішення випадкових випадків k-SAT.
- А. Браунштайн, М. Мезард, Р. Зеччина, поширення опитування: алгоритм задоволення , випадкові структури та алгоритми 27 201–226, 2005. doi: 10.1002 / rsa.20057
- Д. Ахліоптас та Ф. Річчі-Терсенгі, Про геометрію рішення та простору рішень проблем задоволення випадкових обмежень , STOC 2006, 130–139. ( додрук )