4817
правок
Пороги для задачи выполнимости случайной k-КНФ: различия между версиями
Перейти к навигации
Перейти к поиску
Пороги для задачи выполнимости случайной k-КНФ (посмотреть исходный код)
Версия от 15:12, 2 марта 2025
, 2 мартНовая страница: «== Ключевые слова и синонимы == Фазовые переходы (''Phase transitions''); вероятностный анализ эвристики Дэвиса-Путнам (''Probabilistic analysis of a Davis-Putnam heuristic'') == Постановка задачи == Рассмотрим n булевых переменных V = fx1...xng и соответствующий набор из 2n литералов L = {х\,х\...xn;xng....»
Irina (обсуждение | вклад) (Новая страница: «== Ключевые слова и синонимы == Фазовые переходы (''Phase transitions''); вероятностный анализ эвристики Дэвиса-Путнам (''Probabilistic analysis of a Davis-Putnam heuristic'') == Постановка задачи == Рассмотрим n булевых переменных V = fx1...xng и соответствующий набор из 2n литералов L = {х\,х\...xn;xng....») |
(нет различий)
|