МЕТОДИКА ФОРМАЛЬНОГО СИНТЕЗА КОМБИНИРОВАННЫХ СТРУКТУР ДАННЫХ ДЛЯ ПРЕДСТАВЛЕНИЯ ГРАФОВ
На примере организации хранения множества ребер гиперграфа и их образов относительно предиката инцидентности рассмотрена методика синтеза комбинированных многоуровневых структур данных. Математическими моделями базовых и производных структур данных являются ориентированные графы. Модель синтезированной структуры формируется в результате выполнения операции объединения модели исходной структуры и модели отношений, обеспечивающих эффективную реализацию заданных операций.
Авторы
Тэги
Тематические рубрики
Предметные рубрики
В этом же номере:
Резюме по документу**
В . А . Овчинников , Г . С . Иванова
МЕТОДИКА ФОРМАЛЬНОГО СИНТЕЗА
КОМБИНИРОВАННЫХ СТРУКТУР ДАННЫХ
ДЛЯ ПРЕДСТАВЛЕНИЯ ГРАФОВ
На примере организации хранения множества ребер гиперграфа и их
образов относительно предиката инцидентности рассмотрена методика
синтеза комбинированных многоуровневых структур данных. <...> Математическими моделями базовых и производных структур данных
являются ориентированные графы. <...> Модель синтезированной
структуры формируется в результате выполнения операции объединения
модели исходной структуры и модели отношений, обеспечивающих
эффективную реализацию заданных операций. <...> Формальный синтез комбинированных структур базируется на
анализе данных, отношений между ними и набора выполняемых операций. <...> . При автоматизированном синтезе пользователю
необходимо задать имена, размеры множеств, отношения
между ними и имена моделей базовых или производных структур для
их хранения. <...> Над гиперграфом выполняются операции поиска ребер
с максимальным весом, удаления вершин и «пустых» ребер, т. е.
тех, у которых Гu = 0. <...> При удалении вершин и «пустых» ребер порядок
их записи необходимо сохранять. <...> 2012
135
С учетом сказанного выше множество ребер гиперграфа U целесообразно
представить в виде двусвязного списка LD [1]. <...> Также в виде
двусвязных списков {Lj / j = 1, m} представим множества вершин
Xj = Гuj, инцидентных каждому ребру uj (рис. <...> Двусвязный список двусвязных списков для хранения множеств
<U, W, ГU > и ГU
Обозначим через xi вершину, удаляемую на i-м шаге алгоритма. <...> На i-м шаге алгоритма над множеством ребер U и множеством
подмножеств их образов ГU будут выполняться следующие операции:
•
определение в множестве U ребра uk с максимальным весом;
• поиск каждого ребра uj Ui в множестве U;
• поиск удаляемой вершины xi в образах Гuj;
• удаление этой вершины;
• определение «пустых» ребер;
• поиск «пустого» ребра в множестве U;
• удаление «пустого» ребра. <...> Для определения «пустых» ребер необходимо знать мощность <...>
** - вычисляется автоматически, возможны погрешности
Похожие документы: