Выдержка из книги
Дащенко А.И.
Станочные автоматические линии Том 1
Правила перехода от zv к zv обеспечивают сокращение разностей между левыми и правыми частями ограничений. За конечное число шагов невязки сводятся к нулю или устанавливается неразрешимость задачи.
