Выдержка из книги
Кузнецов Н.А.
Методы анализа и синтеза модульных информационно-управляющих систем
Так как число решений конечно ( их не более 2 /) и число элементов этих множеств также конечно, то рассматриваемый алгоритм конечен. Процедуры второго шага решения задачи используют в качестве исходных данных результат безызбыточного размещения типов записей по узлам ВС, полученный на первом этапе.
