4446
правок
K-КНФ-алгоритмы на основе поиска с возвратом: различия между версиями
Перейти к навигации
Перейти к поиску
м
K-КНФ-алгоритмы на основе поиска с возвратом (посмотреть исходный код)
Версия от 19:03, 25 февраля 2018
, 25 февраля 2018→Основные результаты
Irina (обсуждение | вклад) |
Irina (обсуждение | вклад) |
||
| Строка 84: | Строка 84: | ||
<math>\pi</math> = равномерно распределенная случайная перестановка 1, ..., n | <math>\pi</math> = равномерно распределенная случайная перестановка 1, ..., n | ||
у = равномерно распределенный случайный вектор <math>\in \{ 0, 1 \}^n \;</math> | у = равномерно распределенный случайный вектор <math>\in \{ 0, 1 \}^n \;</math> | ||
u = '''Modify'''<math>(F, \pi, | u = '''Modify'''<math>(F, \pi, y)</math>; | ||
'''if''' при u формула F выполнима | '''if''' при u формула F выполнима | ||
'''then''' output(u); '''exit'''; | '''then''' output(u); '''exit'''; | ||
| Строка 105: | Строка 105: | ||
'''ResolveSat'''(КНФ-формула F, целое число s, целое положительное число I) | '''ResolveSat'''(КНФ-формула F, целое число s, целое положительное число I) | ||
<math>F_s</math> = Resolve(F, s). | <math>F_s</math> = '''Resolve'''(F, s). | ||
'''Search'''(<math>F_s</math>, I). | '''Search'''(<math>F_s</math>, I). | ||