МЕТОДИКА ФОРМАЛЬНОГО СИНТЕЗА КОМБИНИРОВАННЫХ СТРУКТУР ДАННЫХ ДЛЯ ПРЕДСТАВЛЕНИЯ ГРАФОВ

графы математические модели структуры данных формальный синтез.

ИССЛЕДОВАНИЕ КЛАСТЕРИЗУЕМОСТИ СТРОК БОЛЬШИХ РАЗРЕЖЕННЫХ МАТРИЦ НАД GF(2), НАДЕЖНОСТЬ И ПРОПУСКНАЯ СПОСОБНОСТЬ МАГИСТРАЛЬНО-МОДУЛЬНЫХ КОМПЬЮТЕРНЫХ СИСТЕМ, ...

В . А . Овчинников , Г . С . Иванова МЕТОДИКА ФОРМАЛЬНОГО СИНТЕЗА КОМБИНИРОВАННЫХ СТРУКТУР ДАННЫХ ДЛЯ ПРЕДСТАВЛЕНИЯ ГРАФОВ На примере организации хранения множества ребер гиперграфа и их образов относительно предиката инцидентности рассмотрена методика синтеза комбинированных многоуровневых структур данных. <...> Математическими моделями базовых и производных структур данных являются ориентированные графы. <...> Модель синтезированной структуры формируется в результате выполнения операции объединения модели исходной структуры и модели отношений, обеспечивающих эффективную реализацию заданных операций. <...> Формальный синтез комбинированных структур базируется на анализе данных, отношений между ними и набора выполняемых операций. <...> . При автоматизированном синтезе пользователю необходимо задать имена, размеры множеств, отношения между ними и имена моделей базовых или производных структур для их хранения. <...> Над гиперграфом выполняются операции поиска ребер с максимальным весом, удаления вершин и «пустых» ребер, т. е. тех, у которых Г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; • удаление «пустого» ребра. <...> Для определения «пустых» ребер необходимо знать мощность <...>

• Похожие документы из РУАЭСТ
• |
• Похожие документы из Руконт