расфиксировать

Ответ от AssTiD(77..99..177..199 rus)[гуру]
Зависимые переменные не имеет смысла включать в список для перебора окрестности, так как они могут быть «вычислены» с помощью алгоритма распространения ограничений. Чтобы этот алгоритм мог корректно определить значения зависимых переменных, нужно расфиксировать все зависимые переменные, смежные с независимыми переменными окрестности. Также должны быть расфиксированы зависимые переменные, смежные с уже только что расфиксированные зависимыми переменными. Это процесс должен быть продолжен до тех пор, пока не останется зависимых переменных для расфиксации.
Чтобы упростить и ускорить процесс расфиксации зависимых переменных, их можно объединить в группы связности. Переменные входят в одну группу связности в том случае, и только в том случае, если для любой пары переменных существует последовательность, состоящий из последовательности смежных переменных. Первый элемент этой последовательности – первая переменная, последний – вторая. Будем считать, что переменная является смежной с группой связности, если переменная является смежной хотя бы с одной переменных из группы связности.
При использовании групп связности зависимых переменных, расфиксация выглядит следующим образом. Сначала расфиксируются независимые переменные. Потом формируется множество групп связности, смежных с расфиксированными независимыми переменными. Далее расфиксируются зависимые переменные из множества групп связности.