Компромиссы между полнотой и простотой

Начнем с обсуждения требований к древовидной структуре, которая получится как итог работы по всему алгоритму. С количественной стороны эти требования сводятся к двум противоречивым принципам:

полноты (проблема должна быть рассмотрена максимально всесторонне и подробно);

простоты (все дерево должно быть максимально компактным — «вширь» и «вглубь»).

Эти принципы относятся к количественным характеристикам (размерам) дерева. Компромиссы между ними вытекают из качественного требования — главной цели: свести сложный объект анализа к конечной совокупности простых подобъектов либо (если это не удается) выяснить конкретную причину неустранимой сложности.

Принцип простоты требует сокращать размеры дерева. Мы уже знаем, что размеры «вширь» определяются числом элементов модели, служащей основанием декомпозиции. Поэтому принцип простоты вынуждает брать как можно более компактные модели-основания. Наоборот, принцип простоты заставляет брать как можно более развитые, подробные модели. Компромисс достигается с помощью понятия «существенности»: в модель-основание включаются только компоненты, существенные по отношению к цели анализа. Как видим, это понятие неформальное, поэтому решение вопроса о том, что же является в данной модели существенным, а что — нет, возлагается на эксперта.

Перейдем теперь к вопросу о размерах дерева «вглубь», т.е. о числе «этажей» дерева, числе уровней декомпозиции. Принцип полноты требует, чтобы в случае необходимости можно было продолжать декомпозицию до тех пор, когда она приведет к получению результата (подцели, подфункции, подзадачи и т.д.), не требующего дальнейшего разложения, т.е. результата простого, понятного, реализуемого, называемого элементарным.

Неэлементарный фрагмент подлежит дальнейшей декомпозиции по другой модели-основанию. На этом этапе рекомендуется введение новых элементов в модель-основание и продолжении декомпозиции по ним. Поскольку новые существенные элементы могут быть получены только расщеплением уже имеющихся, в алгоритме декомпозиции должна быть заложена и возможность возврата к использованным ранее основаниям. Указанная итеративность алгоритма декомпозиции придает ему вариабельность, возможность пользоваться моделями различной детальности на разных ветвях, углублять детализацию.