Методика формального синтеза комбинированных структур данных для представления графов
Опубликовано: 02.11.2012
Авторы: Овчинников В.А., Иванова Г.С.
Опубликовано в выпуске: #1(1)/2012
DOI: 10.18698/2308-6033-2012-1-79
Раздел: Информационные технологии
На примере организации хранения множества ребер гиперграфа и их образов относительно предиката инцидентности рассмотрена методика синтеза комбинированных многоуровневых структур данных. Математическими моделями базовых и производных структур данных являются ориентированные графы. Модель синтезированной структуры формируется в результате выполнения операции объединения модели исходной структуры и модели отношений, обеспечивающих эффективную реализацию заданных операций.
Литература
[1] Овчинников В. А. Алгоритмизация комбинаторно-оптимизационных задач при проектировании ЭВМ и систем. – М.: Изд-во МГТУ им. Н. Э. Баумана, 2001. – 288 с.
[2] Иванова Г.С. Математические модели структур данных // Информационные технологии. – 2006. – № 9. – C. 44–52
[3] Иванова Г.С. Методология и средства разработки алгоритмов решения задач анализа и синтеза структур программного обеспечения и устройств вычислительной техники: Дис. ... д-ра техн. наук: 05.13.11. – М., 2007