4488
правок
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). | ||
правок