4501
правка
Алгоритмы локального поиска для k-КНФ: различия между версиями
Перейти к навигации
Перейти к поиску
м
Алгоритмы локального поиска для k-КНФ (посмотреть исходный код)
Версия от 11:53, 6 апреля 2018
, 6 апреля 2018→Основные результаты
Irina (обсуждение | вклад) |
Irina (обсуждение | вклад) |
||
| Строка 6: | Строка 6: | ||
Более формально алгоритм выглядит следующим образом: | Более формально алгоритм выглядит следующим образом: | ||
'''SCH'''(КНФ-формула F, целое I) | '''SCH'''(КНФ-формула F, целое число I) | ||
'''repeat''' I раз | '''repeat''' I раз | ||
y = равномерно выбранный случайный вектор <math>\in \{ 0, 1 \}^n \;</math> | y = равномерно выбранный случайный вектор <math>\in \{ 0, 1 \}^n \;</math> | ||