CC BY
78
Федеральный портал "Инженерное образование"
электронный журнал
ОБРАЗОВАНИЕ
Инженерное образование Ассоциация технических университетов
#1 январь 2007
Общие проблемы
инженерного
образования
Инженер в современной России
Наука в образовании: Электронное научное издание
CALS-технологии
Зарубежное образование
История технического прогресса
Учебные программы Будущий инженер Вне рубрик
English Library
Пресс-релизы
Библиотека
Конференции
Выставки
Форум
Доска объявлений
Архив
Переписка
Информация о проекте About project
# Гос. регистрации 0420700025
ISSN 1994-0408
Ред. совет Специальности Рецензентам Авторам English Koi-8 Win
■ ■ ■ ■ ■ ■ ■ ■ ■ ■ ■
Найти!
Б и ГОР
База и Генератор Образовательных Ресурсов
Найти выделенное
Способы представления структурных моделей #1 январь 2007
УДК 004.3 :519.6
Иванова Г.С.
Разработка средств автоматизации решения задач структурного синтеза, в том числе и создание языка описания алгоритмов решения этих задач, невозможно без детального анализа способов задания отношений элементов моделей при их описании, поскольку описание способов задания в имеющихся источниках [1-4] не обладает достаточной полнотой и глубиной и не систематизировано.
Задание отношений смежности и инцидентности на универсумах вершин и ребер графовых моделей выполняют в матричной или аналитической форме. Обе формы позволяют описывать только двуместные отношения. В табличной форме элемент таблицы фиксирует наличие отношения Я ^ А х В между элементом а, сопоставленным строке г, и элементом Ъ-, сопоставленным столбцу матрицы т. е. (а, Ъ-) е Я, а-е А & Ъ- е В. В аналитической - каждое множество описания по отношению смежности или инцидентности представляет собой совокупность образов элемента исходного множества по задаваемому отношению, т. е. Яаг = (Ъ. / а е А & Ъ. е В & (а, Ъ) е Я}.
Откуда следует, что любая из указанных форм позволяет определить смежность вершин ориентированных или неориентированных графов и мультиграфов и инцидентность вершины-ребра и ребра-вершины любой графовой модели, которые изначально двуместны.
Отношения смежности вершин гиперграфов и ультраграфов и-местны, однако, каждое из них может быть представлено как множество двуместных отношений. Так неориентированная и-местная связь (ребро гиперграфа), задаваемая множеством или мультимножеством X■ = (х-, х^, ...хг}е Г1 ^ Xn, = и, может рассматриваться как совокупность попарных связей вершин ребра X- = ((х-, х^}/
x;, x
^ е Xй}. Каждая пара множества X- представляет собой фрагмент ребра гиперграфа и является элементом
О О
симметричного бинарного отношения смежности, т. е. (х-, х^}еХ- & (х-, х^}е Г ^ X , а количество таких пар равно |Х-| = и(и-1).
^-местное отношение порядка подмножеств (дуга ультраграфа), определяемое упорядоченной парой подмножеств вершин-источников X- и вершин-приемников X], т. е. Xпj = (X, X]) е Xй, | Xi | +| X] | = п, в этом случае будет представлено как множество упорядоченных пар X- = {(хг, хс)/ хге Xi & хсе X]}. Количество пар равно - Xj| = и^, где XI I ^
П, «2=
X] | ^ и, откуда И1 И2 < и .
Ориентированная и-местная связь (дуга ориентированного гиперграфа), определяемая кортежем Xг- = (х-, х],
c
xr) е Xя, | Xя . | = n, соответственно, может
рассматриваться как кортеж упорядоченных пар X- = ((х-, х^), (х^, хс), ..., (хе, хг)). Каждая упорядоченная пара кортежа XX, представляющая собой фрагмент гипердуги, является
элементом бинарного отношения смежности, т. е. (х, х]) е X- & (х, х^)е Г ^ X , а количество таких пар равно Х-\ = и-1.
Таким образом, для неориентированных и ориентированных гипер- и ультраграфов также, как и для графов и мультиграфов, возможно матричное и аналитическое представление через смежность при условии, что оно учитывает выявленные особенности.
Матричное задание графовых моделей в случае одного универсума предполагает задание матрицы смежности, а в случае двух универсумов - матрицы инцидентности. Элемент матрицы смежности а. . соответствует упорядоченной паре (х., х-). Для ориентированных и неориентированных графов этот элемент задается как
' у 'У
есми € Р
Кратность связей мультиграфа в такой матрице может отображаться соответствующими натуральными числами: О, ее
В ориентированном графе каждой связи соответствует одна упорядоченная пара, а в неориентированном - две, поскольку (х., х.} = ((х-, х-),( х., х-)}. Соответственно неориентированные связи в матрице смежности отображаются два раза, а ориентированные - один, следовательно, матрица смежности неориентированного графа симметрична и может быть представлена в диагональной форме.
Представление и-местных отношений неориентированного гипер- и ультраграфов через двуместные показывает, что отношения смежности вершин этих моделей также можно описать матрицей смежности, но вследствие того, что пары могут принадлежать разным отношениям, а информация об этом не отображается, такое представление не позволяет восстановить исходный граф по данному представлению. Гиперграф при таком представлении неотличим от неориентированного, а ультраграф - от ориентированного графа (см. таблицу 1).
Таблица 1 - Задание отношений матрицами смежности
Сратност
J" "u=i<
x
Название модели
Неориентированный граф
Гиперграф
Смешанный ультраграф
Смешанный гиперграф
Смешанный мультиграф
Смешанный ультраграф с кратными гипердугами*
Графическое представление
Матрица смежности вершин
Матрица
1 2 3 4
1 1 1 1 0
2 1 0 0 0
3 1 0 0 1
4 0 0 1 0
1 2 3 4
1 1 1 1 0
2 1 0 1 0
3 1 1 0 1
4 0 0 1 0
1 2 3 4
1 1 0 1 0
2 0 0 1 0
3 0 0 0 1
4 1 1 1 0
1 2 3 4
1 1 1 0 0
2 0 0 1 0
3 0 0 0 1
4 0 0 1 0
1 2 3 4
1 1 0 1 0
2 2 0 0 0
3 1 0 0 2
4 0 0 2 0
1 2 3 4
1 1 0 2 0
2 0 0 2 0
3 0 0 0 1
4 0 0 1 0
Условные обозначения
1 - если
X x.)eF; 0 - если X, x.)gF
то же*
то же*
то же*
k=\{(x рХ}) eF}\, если (xр x )eF; 0 - если (xX)eF
то же*
Матрица смежности ребер
Матрица
0 1 2 3
0 1 1 1 0
1 1 0 1 0
2 1 1 1 1
3 0 0 1 0
0 1 2 3
0 1 1 0 0
1 1 0 1 1
2 0 1 0 1
3 0 1 1 1
Условные обозначения
1 - если
(u,, Uj)eF; 0 - если (u, u)£F
то же*
* - не позволяет адекватно задать графовую модель.
Представление гипердуг ориентированного гиперграфа матрицей смежности требует фиксации не только наличия упорядоченной пары, но и указания ее номера в кортеже. Поскольку каждая пара может входить, и не по одному разу, в несколько ребер, причем каждый раз со своим номером, отобразить соответствующую информацию в матрице смежности без указания номера ребра невозможно. При необходимости можно построить матрицу смежности, в которой отображается информация о количестве связей каждой пары вершин, но не различаются связи в пределах ребра и связи в разных ребрах и, соответственно, не фиксируется номер пары в ребре и номер ребра. Практически в этом случае мы рассматриваем ориентированный гиперграф, как ориентированный мультиграф.
Матрица смежности ребер может быть построена только для неориентированных графовых моделей: неориентированного графа и гиперграфа, так как отношение смежности определено только для неориентированных ребер. При этом представление графа матрицей смежности ребер позволяет задать модель, но усложняет обратный переход от модели к объекту, поскольку отношение смежности ребер явно не указывает вершины, являющиеся общими для каждой пары ребер.
Матрицы смежности вершин и ребер, не позволяющие адекватно задавать графовую модель могут использоваться как вспомогательная информация, используемая для снижения вычислительной сложности некоторых операций. Например, использование матрицы смежности позволяет упростить нахождение вершин, смежных данной в гиперграфе схемы при решении задачи разрезания последовательным алгоритмом.
Поскольку отношения инцидентности вершины-ребра и ребра-вершины для рассматриваемых моделей двуместны, матрица инцидентности позволяет адекватно задавать не только графы и мультиграфы, но и гипер- и ультраграфы, причем симметричность отношений инцидентности делает достаточным определение одного из них, например, Г^ -
отношения инцидентности вершины-ребра.
Для неориентированных графов и мультиграфов в матрице инциденций вершины-ребра указывают:
О^) ^ 1\
ест
Для неориентированного гиперграфа при таком представлении возможные повторные вхождения вершин в гиперребро отображают, указывая в матрице кратность вхождения:
Для ориентированных графов и мультиграфов матрица инцидентности должна отображать направление дуг: вершина инцидентна началу дуги, вершина инцидентна концу дуги. Соответственно для ориентированных графов множество отношений инцидентности Г| разбивается на два Гг - вершина инцидентна началу дуги, Г1 - вершина инцидентна
концу дуги. Для смешанных графов и мультиграфов это множество разбивается уже на четыре подмножества: Г, - вершина инцидентна началу дуги, Г1 - вершина инцидентна концу дуги, Г(~)1 - вершина инцидентна звену, Г(о)^ - вершина инцидентна петле. Тогда элемент матрицы инцидентности смешанного графа или мультиграфа кодируется как (см. таблицу 2):
^—у А А V X Л
| О.
Таблица 2 - Задание отношений матрицами инцидентности
Название модели
Неориентированный граф
Гиперграф
Смешанный мультиграф
Смешанный ультраграф
Смешанный ультраграф с кратными дугами
Ориентированный гиперграф
Графическое представление
Граф Кенига
Матрица инцидентности вершины-ребра
0
1
2
3
1
(<а,1>, <Ь,1>)
Ь
0
0 1 2
1 1 1 0
2 0 2 0
3 0 3 1
4 0 0 1
Условные обозначения
1, если (х ,, и^еГ^ 0, если (х,, и,)<£Г ^
к = |{(х, и,)}| с Г1, если (х., и) еГ1, 0, если (х., и,.)йГ1
a, если (х., и,)еГ(-) 1;
b, если (х,, и,) еГ(—)1,
c, если (х,, и,) еГ(~)1, С, если (х ,, и,) еГ(о)1, 0, если (х,, и,)<£Г
= Г(-)1 иГ(->1иГ(~) 1иГ(о)1
(<а, к>,<Ь, к2>), если (х., и,)еГ1,
где а, если (х ,,и)еГ(-) 1,
b, если (х,, и,.)еГ(—)1, к1 - количество пар каждого типа,
c, если (х,, и,) еГ(~)1; С, если (х., и,) еГ(о)1;
0, если (х., и,)^Г1
(<а, к1>,<Ь, к2>),
где а, если (х;,иреГ(-) 1,
Ь, если (х;, и^е Г(-)1,
<с,к3>,если(х;,ир еГ(~) 1;
<Ск>,если (хг,и,)еГ(о)
1
к1 - количество каждого типа, 0, если (х,, и)£Г1
пар
{п} - множество номеров вершины в гипердуге и^ если (х., и,)бГ1;
0, если (х,, и,)<£Г^
Аналогичные обозначения можно использовать для представления смешанных ультраграфов, в которых ни одна вершина не входит в ультрадугу дважды. Повторное вхождение вершины в ультрадугу при условии, что
пГ1 = 0
(1)
может быть обозначено коэффициентом кратности к, например, <а, к>. При нарушении условия (1) элемент матрицы инциденций ультраграфа должен быть представлен парой двоек:
И™ е Г1
Яу=| а (х^оег,
где а - признак инцидентности вершины началу ультрадуги, Ь - признак инцидентности вершины концу ультрадуги, а к^,к 2 - количество вершин, входящих в ультрадугу в каждом качестве.
Представление ориентированного гиперграфа матрицей инциденций должно учитывать порядок вхождения вершин в гипердугу, что можно показать, используя нумерацию. Возможность повторного вхождения вершины в дугу приводит к тому, что элемент матрицы инцидентности должен задаваться множеством номеров: [{л}, есми(х-,1^)еГ есжи
где п - номер вхождения вершины х . в гипердугу и,, причем |{п}| = |(х, м,)|.
. у .у
В таблице 3 представлены способы матричного представления основных структурных моделей.
Таблица 3 - Матричное представление основных структурных моделей
Модель Элемент матрицы смежности вершин Элемент матрицы инцидентности вершина-ребро
Неориентированный граф 1, если вершины смежны**; 0, если вершины не смежны *** 1, если вершина и ребро инцидентны; 0, если вершина и ребро не инцидентны
Неориентированный мультиграф к - количество звеньев, связывающих смежные вершины; 0 - вершины не смежны то же
Ориентированный граф 1, если вершины смежны; 0, если вершины не смежны a, если вершина инцидентна началу дуги; b, если вершина инцидентна концу дуги; 0, если не инцидентны
Ориентированный к - количество дуг, связывающих смежные то же
1
1
1
1
0
2
0
1
0
0
3
0
0
1
1
4
0
0
0
1
0
1
2
3
1
1
1
0
0
2
0
1
0
1
3
0
1
1
1
4
0
0
1
1
0
1
2
3
4
5
1
й
Ь
0
0
Ь
с
0
0
0
0
а
а
0
0
0
с
с
с
0
0
0
0
с
с
0
2
3
1
<1
0
Ь
а
2
0
0
Ь
3
0
0
с
4
0
с
а
0
1
2
3
1
<
0
а
а
2
0
0
а
а
3
0
Ь
Ь
с
4
0
0
0
с
мультиграф вершины; 0, если вершины не смежны
Смешанный мультиграф к - количество ребер (дуг и звеньев или петель), связывающих смежные вершины; 0 - если вершины не связаны a, если вершина инцидентна началу дуги; b, если вершина инцидентна концу дуги; c, если вершина инцидентна звену; С, если это петля при вершине; 0, если не инцидентны
^тар^ф и гиперграф с кратными ребрами то же без учета различия гиперребер* к - количество вхождений вершины в гиперребро, если вершина инцидентна ребру, 0, если вершина не инцидентна ребру
Ориентированный гиперграф и ориентированный гиперграф с кратными дугами то же без учета различия гипердуг и порядка вхождения дуги в гипердугу* { п}- множество номеров данной вершины в гипердуге, если вершина инцидентна гипердуге; 0 - если вершина не инцидентна гипердуге
Ультраграф и ультраграф с кратными дугами то же без учета различия ультрадуг* (<а, к>,<Ь, к>), где а - признак инцидентности началу дуги, Ь - признак инцидентности концу дуги, а к - количество вершин каждого типа, если вершина инцидентна дуге; 0, если вершина не инцидентна дуге
* - не позволяет адекватно задавать графовую модель; ** - вместо «1» можно указать вес ребра или дуги; *** - возможно задание также через смежность ребер
Для моделей с незначительным количеством связей использование матричной формы задания отношений нецелесообразно, поскольку матрица получается сильно разреженной. В этом случае используют аналитическое представление [3].
Аналитическое представление графовых моделей. Аналитически графовые модели определяются отображениями соответственно образами по отношению смежности вершин XFX, ребер UFU и по отношению инцидентности вершины-ребра XTU или ребра-вершины UTX. При построении образов отображений по отношению смежности для гиперграфов и ультраграфов необходимо также как при построении матриц смежности перейти от и-местных к двуместным отношениям.
Аналитическое задание через отношение смежности вершин возможно только для графов и мультиграфов (см. таблицу 4), поскольку отношения, характеризующие связи в этих моделях, как уже говорилось выше, двуместны изначально. Для неориентированного графа возможно построение аналитического представление отношения смежности ребер, которое также позволяет задать граф.
Таблица 4 - Аналитическое задание отношений смежности
Название модели
Графическое представление
X FX
Fx.
UFU
Fu,
Неориентированный граф
Ц, x2, x3}
v
{Xj, x4}
Ц}
{u0, uj, u2} {U0,U2} {uo, uj, u3} {u2}
Гиперграф*
{xj, x3, x4} {xj, x2, x4} {x2, x3}
{u1}
{u0, u2, u3} {uj, {uj,
Смешанный мультиграф
1
2
3
4
{xj, x3}
{x1} {x1, x4}
Ц}
Смешанный ультраграф*
1
2
3
4
{xj, x2, x3}
Ц}
{x4} {xj, x2}
Смешанный ультраграф с кратными гипердугами*
{xj, x3}
{x3}
{X4}
{x3}
Ориентированный гиперграф*
{xj, x2} {x3} {x4} {x3}
* - не позволяет адекватно задать графовую модель.
Аналитическое задание гиперграфа и ультраграфа возможно только через отношение инцидентности (см. таблицу 5). При этом каждое ребро может соединять более двух вершин, а, следовательно, |Гг/.| > 2 (соответственно, 1 > | > 1 - для ультраграфа). Повторное вхождение вершин в гиперребро или ультрадугу отображается повторным
вхождением идентификатора вершины в соответствующие образы Fx, Гu■ (соответственно
Ги, Гы
Г J
'j - для ультраграфа), которые при этом становятся мультимножествами.
Таблица 5 - Аналитическое задание отношений инцидентности
Название модели
Неориентированный граф
Гиперграф
Смешанный мультиграф
Смешанный ультраграф
Смешанный ультраграф с кратными ребрами
Графическое представление
X Г U
1
2
3
4
1
2
3
4
1
2
3
4
Tx
0
{u1, u5}
0 0
{u1}
{u1}
0 0
{u1, u3} {u1, u3}
0 0
Tx
{u1, u5}
0 0 0
0
{u1} {u1}
0
0 0
{u1, u3}
0
Tx
{u1,u2,u0}
{u1} {u2, u3}
{u3}
{u1, u0}
{u1, u3} {u1,u2,u3}
{u2, u3}
{u2}
0
{u2, u3} {u3, u4}
0 0
{u2} {u2}
0 0
{u2} {u2}
Tx.
{u0}
0 0 0
{u0}
0 0 0
{u0}
0 0 0
U Г X
0 1 2
3
4
5
0 1
2 3
0 1
2 3
Tu.
0
{x1}
0 0
{x1}
0
0 {x1,x2} 0
{x4}
0
{x3}
0
{x3}
Tu.
0
{x2}
0 0
{x2}
0
0
{x3} 0 {x1,x3}
0
{x1,x2} 0 {x1,x2}
Tu
{x1}
{x1, x2}
{x1, x3}
{x3, x4}
{x1}
{x3, x4}
{x2,x3,x4}
0 0 {x1, x3}
{x3, x4} 0 {x3, x4}
0 0 {x3, x4} 0
0 0
{x3, x4} 0
Tu.
{x1}
0 0 0 0 0
{x1}
0 0 0
{x1}
0 0 0
О
О
Ориентированный гиперграф
1
2
3
4
0 0 0 0
0 0 0 0
{<«1,1>> {<«1>2>>
{<п^3>, ^2> {м2>
{м0>
0 0 0
0 1
2
0 0 0
0 0 0
0 {х3, х4>
0 0
Аналитическое задание ориентированного гиперграфа требует определения порядка пар в кортеже пар гипердуги, что можно сделать, используя в качестве Гп- кортежи. При использовании отображения ГХэтот порядок необходимо показать явно, используя номера: <пг, кг>, где кГ - номер вершины в указанном гиперребре. В таблице 6 рассмотрены способы аналитического представления основных графовых моделей.
Таблица 6 - Способы аналитического описания графовых моделей
Модель Представление через отношение смежности Представление через отношение инцидентности Примечание
Неориентированный граф или мультиграф С(Х,РХ), (¡(X, и, ГХ), Для мультиграфа образы Ех, Еп- могут
ЕЛ'={Егг// = Ех. = X". с X 1 1 — ГЛ' = !Гх(//= Гх . = и . с и 1 1 — представлять собой мультимножества
ЕС/)*, (¡(X, и, ГЦ),
и={и1и= Х={х1П=±п},и={и]и=±ж}.
FU={FuJ./j=ъ¡l},
Еп. = и с и Гп. = X сX, |Гп | = 2
Гиперграф и гиперграф с кратными ребрами то же, но без учета различия гиперребер* то же, но |Гп- | > 2 При повторном входе вершин в ребро п- образы Ех1 и Гп-будут мультимножествами
Ориентированный граф (мультиграф) (1(Х, ЕХ). Х= {х1п= £»}, С{Х, и, ГХ), Х= {х;/ / = £»},£/ = {м;/; = йж }, Для мультиграфа образы рхг 'рхр Ёг;
Е\' = {РЖ ■ РЖ ■ 1-Х]. ГЛ'= {ТЖ - ГХ }- ГХ = { Г V' } могут представлять собой
РЖ={Рх1И = 1,»}, ГХ= {Г *,/' = 1.»}, мультимножества
РЖ={'РХ1П = 1,»}, Гл>гх, е и- 1Г м;|=|гм;|=2
ЕХ = { Ех г = {Х/>>, (¡(X, и, ГЦ),
рх.,'рх., Ех. сЛ' ^ 1 ^ 1 1 — Х= {х1п= I,»}, и= и*}, ги= {ти, ти }, Ш = { г м/у= С^ }, Ти= {Г и/} = 1.Я1}, г чг Г М; С Л"
Ультраграф и ультраграф с то же, но без учета различия ультрадуг* то же, но Г > 1, Г > 1 При повторном вхождении вершин в
кратными дугами дугу и.образы г и., Г и. могут быть мультимножествами
Ориентированный гиперграф с кратными то же, но без учета различия гипердуг и (¡{X, и, ГХ), Х={х1П=\^},и={и]и=\^л}, ГЛ'= {ГхЛ= Гх = {<п ,к >>, п е и. с и / <. г Г Г 1 — кГ - номер вершины в гипердуге
дугами порядка вхождения части дуги в дугу*
(¡(X, и, ГЦ), Гп.. - кортеж
Гп= X с X, |Гп; | = 2
: - не позволяет адекватно задать графовую модель
Представление иерархических моделей. Для реализации стратегий проектирования «снизу-вверх» и «сверху-вниз» представление иерархических моделей помимо отношений смежности и инцидентности должно позволять задавать бинарное отношение вхождения Я1 вершин /-1-го уровня в вершину /-го уровня или обратное ему бинарное отношение
включения (Яг)-1 вершин /-1-го уровня в вершину /-го уровня. Отношение вхождения при этом определяется как
где вершины /-го и /-1-го уровня соответственно;
подмножество вершин /-1-го уровня, соответствующее т. е. к-ой вершине /-го уровня; X1 - множества вершин /-го и /-1-го уровня соответственно. Отношение вхождения представляет собой отношение смежности вершин соседних уровней, и потому его можно задать матрицей смежности или аналитически. При этом,
9
— 5У 2
описывая иерархию / = 0„д матрицей смежности, необходимо построить матрицу размерностью (¡л ) элементов, которая получится сильно разреженной. Учтя то, что по отношению вхождения вершин иерархия является ориентированным деревом, и, следовательно, строки матрицы, соответствующие элементам верхнего ^-го уровня, и столбцы,
5У IX
соответствующие элементам нижнего 0-го уровня, содержат нули, размер таблицы можно сократить до ¡л х ¿д элементов.
Аналогично при описании иерархии аналитически можно не указывать образы элементов верхнего уровня. Всего при аналитическом описании иерархии / = 0,д необходимо И
ту
будет построить ¿_о образов по одному элементу в каждом, поскольку каждая вершина /-1- го уровня входит в единственную вершину /-го уровня.
Кроме того, отношение Я' сюръективно, следовательно, его можно задать таблицей соответствия, в которых каждой вершине /-1-го уровня ^ - аргументу функции
сопоставлена вершина /-го уровня значение функции (см. рисунок 1 и таблицу 7). Количество столбцов такой таблицы равно
ЦТ4! =
а количество строк равно 2.
2
Соответственно, для иерархии / = необходимо задать д таблиц соответствия, суммарным объемом У\ = ¿4
элементов.
Рисунок 1 - Пример иерархической модели Таблица 7 - Таблица соответствия отношения Я1
0 0 0 0 0 0 0 0 0 0 0 0 0
1 1 1 1 *2 1 1 1 1 1 1 Х4 1 1 1
Таблица 8 - Таблица соответствия отношения Я2
1
1
1
2
1
3
Отношение включения (Яг)-1 - многозначно, т. е. не является функциональным, следовательно, его нельзя задать таблицей соответствия. Для его определения целесообразно использовать аналитическое представление. При этом для описания отношения включения на /-м уровне необходимо задать | \ = //' образов вида:
л^елГ) е (Я')'1} = ^
Соответственно, для иерархии / = необходимо задать д отображений, общим объемом ¡^ = представленной на рисунке 1, множеством образов имеет вид:
элементов. Например, описание отношения включения модели,
(rY4 = {4,4},
<д1у14 = {4,4,4}, (дЪ-14 = {4,4), {Ку4 = {4,4},
/п1ч-1 1 Г 0 0 0 ^
/п1ч-1 1 Г 0 0 0 ^
В том случае, если для описания уровней иерархической модели использованы два универсума: универсум вершин и универсум ребер, для снижения вычислительной сложности выполнения операций над иерархической моделью целесообразно также задавать отношение соответствия ребер. Это отношение - инъективная функция (и^Х) е *1с= С"х1/ или (я!,11") е С*!)"1 сСГхСГ1,
где ребра /-1 и /-го уровней соответственно,
(-Я^)"1 - прямая и обратная функции, причем Л»- частичная, т. е. определена не на всем множестве а только на множество внешних ребер кусков
в то время как
функция (-*!)"1 - тотальная.
Данные функции также можно задать таблицами соответствия для нахождения ребра - го уровня по ребру -1 уровня и для нахождения ребра -1 уровня по ребру - го уровня. Отличие между этими таблицами заключается в том, что в таблице множеству внутренних ребер, для которых не определены соответствующие ребра /-го уровня, будет сопоставлено «0».
Выполненные в настоящей работе анализ и систематизация возможных способов представления графовых моделей, а также предложенные способы задания иерархических моделей обеспечивают разработчику алгоритмов решения задач структурного синтеза возможность выбора способа представления моделей или их комбинации, обеспечивающего эффективное выполнение операций алгоритма.
Литература
1. Бершадский А.М. Применение графов и гиперграфов для автоматизации конструкторского проектирования РЭА и ЭВА. - Саратов: Изд-во Саратовского ун-та, 1983.
2. Мелихов А.Н. Ориентированные графы и конечные автоматы. - М.: Гл. ред. ф.-м. лит. изд «Наука», 1971.
3. Овчинников В. А. Автоматизация комбинаторно-оптимизационных задач при проектировании ЭВМ и систем: Учеб. для вузов. - М.: Изд-во МГТУ им. Н.Э. Баумана, 2001.
4. Иванов Б.Н. Дискретная математика. Алгоритмы и программы: Учеб. пособие. - М.: Лаборатория Базовых Знаний, 2002.
Публикации с ключевыми словами: математические модели - оптимизация - структурные модели Публикации со словами: математические модели - оптимизация - структурные модели См. также:
Частотное управление приводом электровинтовых прессов
Оптимизация проектных решений в САПР на основе эквивалентных преобразований задачи о минимальном покрытии
Обучение нейросети на базе шарового метода оптимизации Ньютона
БР-ВРР-модель цифровых КМОП-схем и ее приложения в оптимизации и моделировании
Метода анализа, синтеза и оптимизации нестационарных систем автоматического управления.
Основы построения распределенных систем управления коллективами роботов
Состояние и перспективы развития исследований в области обработки и распознавания видеоинформации (аналитический обзор)
Все публикации на ту же тему>> Написать комментарий >>
Журнал | Портал | Раздел Copyright © 2003 «Наука и образование. Инженерное образование» E-mail: magazine@xware.ru | тел.: +7 (495) 263-68-67
Вход для редакторов
