«Дерево ветвей» — это модель структуры перекрытия, изображенной на смотреть обзор под номером 2, а, в которой ветви и их длины (вертикальные

линии на смотреть обзор под номером 2) соответствуют сегментам s, и их длинам U, а узлы (горизонтальные линии на смотреть обзор под номером 2) определяют место ветвления дерева и адрес загрузки в память для сегментов, которые соответствуют начинающимся из узла ветвям. Одна ветвь Si дерева, определяемая первой, называется корнем дерева и начинается с нуля, а любая другая ветвь мо

смотреть обзор под номером 2. Структуры перекрытия клас жет начинаться с конца любой из ранее определенных ветвей.

Алгоритм 1 дает точное решение. Отыскивается множество U всех максимальных совместимых подмножеств из S (совместимое подмножество Uk(=:S называется максимальным, если не существует другого совместимого подмножества Ut<z:S, связанного с первым отношением UhczUi). Рассматриваются все безызбыточные подмножества Q={Qa} из U, элементы которых в объединении образуют S (подмножество QaczU, элементы которого в объединении образуют S, называется безызбыточным, если не существует другого подмножества Qball с тем же свойством, связанного с первым отношением QbCrQJ. Для каждого такого подмножества QaczU обеспечивается непересечение его элементов, в результате получается разбиение множества S на совместимые подмножества {Uh}k=i Определяется вес разбиенияных вариантов обеспечения непересечения элементов для каждого QaQ, отыщем минимальное по весу разбиение множества 5 на совместимые подмножества.

Алгоритм 2 дает приближенное решение, но обладает очень высоким быстродействием. Элементы S={s;} упорядочиваются по убыванию веса 1{. Выбирается первый по порядку S;C=S и строится максимальное совместимое подмножество UA. Элементы Uh исключаются из S. Описанные действия повторяются для первого элемента усеченного множества S. Работа алгоритма заканчивается, когда S станет пустым.

Полученное решение будет точным, если несовместима любая пара элементов, породивших построенные совместимые подмножества и определяющих вес этих подмножеств.

Этап 3. Формирование структуры перекрытия класса «дерево уровней». Формируется структура перекрытия, в которой число уровней совпадает с числом совместимых подмножеств в полученном разбиении Uu, U2, Uh, Um и на ku уровне размещаются сегменты, вошедшие в совместимое подмножество Uk.

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