Пороги для задачи выполнимости случайной k-КНФ: история изменений

Перейти к навигации Перейти к поиску

Выбор версий: отметьте версии страницы, которые вы хотите сравнить, и нажмите Enter или кнопку ниже.
Пояснения: (текущ.) — отличия от текущей версии; (пред.) — отличия от предшествующей версии; м — малые изменения.

16 марта 2025

15 марта 2025

14 марта 2025

13 марта 2025

5 марта 2025

4 марта 2025

2 марта 2025

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