Оргиперграфы: матричные представления Текст научной статьи по специальности «Математика»

УДК 519.179.1 ББК 22.176

ОРГИПЕРГРАФЫ:

МАТРИЧНЫЕ ПРЕДСТАВЛЕНИЯ1

Блюмин С. Л.2

(Липецкий государственный технический университет, Липецк)

Предложено формирование матриц инцидентности оргипер-графов с использованием корней из единицы подходящих степеней для ориентации гиперточек и гипердуг. Сформированы также матрицы валентности и смежности и лапласианы для оргиперграфов и их дуальных.

Ключевые слова: оргиперграфы, корни из единицы, матрица инцидентности, матрица валентности, матрица смежности, лапласиан.

1. Введение

Графы широко применяются в математическом моделировании для описания и исследования реальных объектов и систем самой разнообразной природы. Хорошо известны применения теоретико-графовых моделей для решения задач управления большими системами. Так, в [1] проиллюстрировано многообразие применений теории графов при решении широкого класса прикладных задач управления организационными системами. В их числе - задачи о цепях и путях как упорядоченных последовательностях ребер и дуг или, что то же, вершин в неориентированных и ориентированных графах.

1 Работа поддержана РФФИ, проект №09-07-00220-а.

2 Семен Львович Блюмин, доктор физико-математических наук, профессор (slb@stu.lipetsk.ru).

22

Ребра графов являются не более чем двухэлементными подмножествами множества его вершин, а в дугах (ориентированных ребрах) орграфов эти вершины упорядочены, что отражается в матрице инцидентности орграфа приписыванием им чисел ±1 - квадратных корней из единицы, имеющих нулевую сумму.

Гиперграфы и оргиперграфы обобщают графы и орграфы в том направлении, что их гиперребра и гипердуги могут быть и более чем двухэлементными подмножествами множества вершин. Простейшей интерпретацией гиперграфов и оргипергра-фов в терминах графов и орграфов может служить следующая: множества вершин - те же, тогда как в качестве гиперребер или гипердуг рассматриваются соответственно цепи или пути. Такая интерпретация открывает потенциальные возможности использования гиперграфов и оргиперграфов в прикладных задачах управления большими системами. В частности, в случае некоторых типов деревьев и образованных ими лесов она приводит к значительному сокращению количества гиперребер и гипердуг по сравнению с количеством исходных ребер и дуг, что может иметь значение для решения задач управления именно большими системами. При этом в таких моделях существенно используется упорядоченность вершин в гипердугах оргиперграфов.

В данной работе из различных известных определений ор-гиперграфа за основу принято именно то, при котором в его гипердугах вершины предполагаются упорядоченными. Это предлагается отражать в матрице инцидентности оргиперграфа приписыванием вершинам гипердуги, в установленном их порядке внутри нее, вообще говоря, комплексных корней из единицы подходящей степени, имеющих нулевую сумму. Аналогичным образом предлагается формировать матрицу инцидентности дуального оргиперграфа в предположении о том, что в его гипердугах - гиперточках (ориентированных гипервершинах) исходного оргиперграфа - ребра (исходного гиперграфа) упорядочены. На основе матриц инцидентности формируются матрицы валентности и смежности и лапласианы (отличным от некоторых известных способом) оргиперграфа и его дуального.

2. Гиперграфы

Гиперграф Н определяется заданием множеств V и Е и отображения Я: V х Е ® {0, 1} [2, 3, 5]. В соответствии с терминологией теории графов элементы V е V называются вершинами, а

элементы е е Е - ребрами гиперграфа; отображение Я называется его инцидентором. Вершина V е V и ребро е е Е инцидентны в Н, если инцидентор Я(у, е) = 1, и не инцидентны, если Я(у, е) = 0. С учетом этого гиперграф может быть определен как пара Н = (НУ, НЕ), где

HV @ {Ьу = Е(у) = {е е Е: Я(у, е) = 1}},

НЕ @ {Ье = V(e) = {V е V: Я(у, е) = 1}} -

множества его гипервершин и гиперребер (символ @ здесь и далее означает «по определению»). В дальнейшем символы Ьу и Ье, в зависимости от контекста или удобства интерпретации, трактуются как V или Е(у), е или Не). Из определений следует, что е е Ьу ^ V е Ье.

Дуальный гиперграф определяется как пара Н* = (Н*^ Н*Е) @ (НЕ, Н¥); при этом (Н*) * = Н.

Определяются:

- степени пар «вершина-гиперребро» d(v, Ье) = Я(у, е);

- степени пар гипервершин (их смежности; символ ^ означает мощность множества 5)

d(Ьv’, hv”) = d(Ьv”, hv’) = \Ьу’ п Ьу”\, в частности, степени гипервершин (их валентности) d(Ьv) = d(Ьv, hv) = \Ьу\;

- степени пар гиперребер (их смежности) d(Ьe’, Ье”) = d(Ьe”, Ье’) = \Ье’ п Ье”\,

в частности, степени гиперребер (их валентности) d(Ьe) = d(Ьe, Ье) = \Ье\;

- степени пар «ребро-гипервершина» d(e, Ьу) = Я(у, е).

Для дуального гиперграфа эти понятия определяются дуальным образом.

Далее предполагается, что множества V, Е вершин и ребер, а значит и множества HV, НЕ гипервершин и гиперребер, конечны: \HV\ = т, \НЕ\ = п; в этом случае говорят о (т, п)-гиперграфе Н и его дуальном (п, т)-гиперграфе Н*. Предполагается, что элементы этих конечных множеств некоторым образом (фиксированным на протяжении всего рассмотрения) перенумерованы: V = {Vь I = 1, ..., т}, Е = {еу,у = 1, ..., п}.

(т, п)-гиперграф однозначно определяется матрицей (вер-шинно-гиперреберной) инцидентности 1(Н) = I(V, НЕ) -

(0, 1)-матрицей размера т х п, строки которой помечены его вершинами, столбцы - гиперребрами, а на месте (V, Ье) находится число d(v, Ье). При этом для дуального гиперграфа Н*

1(Н*) = 1(Е, НГ) = (1( V, НЕ)) * = (1(Н)) *; здесь применение операции «*» к матрице означает транспонирование.

Матрица 1(Н¥) гипервершинной инцидентности определяется как квадратная матрица порядка т, строки и столбцы которой помечены гипервершинами, а на месте (Ьу’, Ьу”) находится число d(Ьv’, Ьу”). Эта матрица допускает представление

( й(Ье)-1 Л

(1) I (Н¥) = XIН; Ье) = X

ЬееНЕ ЬееНЕ ^к(Ье)=0

( й(Ье)-1 Л

= Б(Н¥) + А( Н¥).

X Р(Ье)к (Ье)

к(Ье)

= X Р(Ье) + X X Р(Ье)к

ЬееНЕ ЬееНЕ у к(Ье)=1

Здесь D(HГ) - диагональная матрица валентности (степеней) гипервершин; A(HV) - симметричная (с нулевой диагональю) матрица смежности гипервершин, а вспомогательные матрицы I(HV^; Ье) и Р(Ье) строятся так: матрица ДН^ Ье) содержит единицы на местах, отвечающих вершинам V е Ье, а остальные элементы - нули. Вычеркивание в ней нулевых строк и столбцов приводит к квадратной матрице J порядка й(Ы), состоящей из единиц. Эта матрица допускает представление в виде суммы

J = р° + р1 + + pd(Ьe) - 1

где Р° - единичная матрица; Р1 = Р - матрица циклической перестановки набора из й(Ье) элементов. Возвращение в нее вычеркнутых строк и столбцов приводит к матрице Р(Ье).

Матрица 1(НЕ) гиперреберной инцидентности определяется как квадратная матрица порядка п , строки и столбцы которой помечены гиперребрами, а на месте (Ье’, Ье”) находится число й(Ье’, Ье”). Эта матрица допускает представление

( й(Ьу)-1 Л

(2) I (НЕ) = XI (НЕ; Ь») = X X РЬ)к(Ь°

hvеHV hvеHV у к (Ьу )=0

( й(Ьу)-1 Л

\к (Ьу)

= X Р(Ьу)0 + X X РЬ)к (Ьу) = Е( НЕ) + А( НЕ).

ЬvеHV ЬvеHV у к(Ьу)=1 у

Здесь О(НЕ) - диагональная матрица валентности (степеней) гиперребер; А(НЕ) - симметричная (с нулевой диагональю) матрица смежности гиперребер, а вспомогательные матрицы ДНЕ; Ьу) и Р(Ьу) строятся дуально матрицам I(HV; Ье) и Р(Ье), так как для дуального гиперграфа ДН^ = I(HE), I(H*E) = ДЯТ).

Лапласовские матрицы Ц(Н), Ц(Н*) (лапласианы) гиперграфа и его дуального определяются по формулам

Ц(Н) @ ^Щ-^Н)) *, Ц(Н*) @ I(H*)•(I(H*)) * = (ДН)) *ДН), они симметричны и удовлетворяют соотношениям

Ц(Н) = ДН^, Ц(Н*) = I(HE).

Указанные выше матричные представления (неориентированных) гиперграфов служат основой для матричных представлений оргиперграфов.

3. Оргиперграфы

Обыкновенные графы О = (V, Е) без петель являются частным случаем рассматриваемых гиперграфов, для всех гиперребер которых, т. е. ребер е, й(е) = 2, так как ребра являются двухэлементными подмножествами е = {у’, V”} множества V вершин (следует отметить, что для обыкновенных графов имеет смысл понятие гипервершины, так как, вообще говоря, вершине графа

инцидентно множество ребер, |E(v)| > 0 может быть любым натуральным числом, как и в гиперграфе).

В случае орграфа OG = (V, A) вершины дуг (arcs - ориентированных ребер) а е А упорядочены, пронумерованы, а = (v’, v”) = (v(fl)!, v(fl)2) или (в соответствии с последующими обозначениями) а = (v(fl)0, v1^). В столбце матрицы I(OG) инцидентности орграфа, отвечающем дуге а, на местах, отвечающих этим вершинам, находятся числа +1 и -1, являющиеся корнями степени 2 из единицы и имеющие нулевую сумму. Это подсказывает следующее определение матрицы инцидентности орги-перграфа.

Пусть элементы гипервершин и гиперребер гиперграфа некоторым образом (вообще говоря, не связанным с указанной ранее «сквозной» нумерацией его вершин и ребер) упорядочены, пронумерованы, в результате чего гипервершины и гиперребра становятся гиперточками hp е HP (hyperpoints) и гипердугами ha е HA (hyperarcs):

hp = (e0hp),elhp),...,ehpH) = (ekhh)),k(hp) = 0,1,...,d(hp) -1), ha = (v0ha), v(ha),...,v$H) = 0C,k(ha) = 0,1,...,d(ha) -1^

(именно такой способ «внутренней» нумерации удобен в дальнейшем).

Оргиперграф теперь может быть определен как пара OH = (OHV, OHE) = (HP, HA). Дуальный оргиперграф (ОН)* = (НА, НР).

В столбец матрицы I(OH) инцидентности оргиперграфа, отвечающий его гипердуге ha, на места, отвечающие инцидентным ей вершинам в установленном их порядке, помещаются, вообще говоря, комплексные корни степени d(ha) из единицы, имеющие нулевую сумму:

sd\ha) (ha),k(ha) = 0,1,...,d(ha) -1,

1 / 7 4 ( 2m ^

где £d(ha)(ha) = Sd(ha)(ha) = eXpl dh)

(указание метки гипердуги На обязательно, так как для разных гипердуг На’, На” возможно й(На’) = й(На”)).

Лапласиан Ь(ОИ) оргиперграфа определяется по формуле Ь(ОИ) @ 1(ОН)(1(ОН))*; здесь применение операции «*» к матрице с комплексными элементами означает эрмитово сопряжение, т. е. транспонирование и замену каждого элемента комплексно сопряженным. Как следствие, лапласиан оргиперграфа является эрмитовой матрицей. Справедливо соотношение Ь(ОИ) = 1(ИР),

где матрица 1(НР) гиперточечной инцидентности допускает представление, основанное на представлении (1) матрицы ДНУ) гипервершинной инцидентности:

^ й(На)-1 .(н )^

(3) I(ИР) = XI(ИР;На) = X I ((На)• Р(На)) ( а)

каеНА каеИЛ у к(ка)=0

Л

\ к(ка)

= Б( НР) + Л( НР).

Ґ й (ка )-1 ... .Л

—- - 4 к (ка)

= X Р(ка)0 + X I ((ка)(ка)• Р(ка))

каеНА каеНА у к(ка)=1

Здесь О(НР) - диагональная матрица валентности гиперточек, совпадающая с матрицей О(НУ) валентности гипервершин, а А(НР) - эрмитова (с нулевой диагональю) матрица смежности гиперточек, отличающаяся указанным в (3) образом от матрицы А(НУ) смежности гипервершин.

Для матрицы инцидентности и лапласиана дуального оргиперграфа (ОН)* = (НА, НР) справедливы соотношения 1((ОН) *) = (ДОН)) *,

Ь((ОН) *) @ Д(ОН) *>(Д(ОН) *)) * = (ДОН)) *1(ОН) = /(НА).

Для получения на основе (2) дуального к (3) представления матрицы гипердуговой индцидентности исходного гиперграфа, т. е. матрицы гиперточечной инцидентности и лапласиана дуального гиперграфа, целесообразно переопределить непосредственно матрицу инцидентности дуального гиперграфа способом, дуальным к способу определения матрицы инцидентности исходного графа, а именно: в столбец матрицы /А((ОН)*) инцидентности дуального оргиперграфа, отвечающий его гипердуге

Нр (гиперточке исходного оргиперграфа), на места, отвечающие ее элементам (инцидентным ей ребрам исходного гиперграфа) в установленном их порядке, помещаются корни степени й(Нр) из единицы, имеющие нулевую сумму:

^(Нр), к(Нр) = 0,1,..., й(Нр)-1.

Теперь лапласиан ЬЛ((ОИ)*) дуального оргиперграфа определяется по формуле

ЬЛ((ОИ) *) @ 1Л((ОИ) *)•(IЛ((ОH) *)) *

Справедливо соотношение ^,л((OH)*) = 1Л(ИЛ), где матрица 1Л(ИЛ) гипердуговой инцидентности исходного оргиперграфа допускает представление, основанное на представлении (2) матрицы 1(ИЕ) его гиперреберной инцидентности: __ С й(Нр)-1 , (Н ) ^

(4) IЛ(ИЛ) = XIЛ(ИЛ;Нр) = X X (((Нр)• Р(Нр))( р)

НреИР НреИР

\ к (Нр )=0

НреИР НреИР

= X Р(Нр)0 + X X ((Нр)(Нр) • Р(Нр))

= БЛ (ИЛ) + Лл (ИЛ).

- у к (Нр)=1

Здесь БЛ(ИА) - диагональная матрица валентности гипердуг, совпадающая с матрицей Б(ИЕ) валентности гиперребер, а ЛЛ(ИА) - эрмитова (с нулевой диагональю) матрица смежности гипердуг, отличающаяся указанным в (4) образом от матрицы Л (НЕ) смежности гиперребер.

4. Примеры

4.1. ГРАФЫ

В случае обыкновенных графов представления (1) и (3) сводятся к известным соотношениям дондв))*=цв) = Б(в) + Л(в),

ДООХДОО))* = Ц(ОО) = Б(ОО) + (-1)Л(ОО), где ДО) и Ц(О), ДОв) и Ц(ОО) - матрица инцидентности и лапласиан графа и орграфа, Б(О) = Б(ОО) и Л(О) = Л(ОО) -матрицы валентности и смежности, совпадающие для графа и соответствующего ему орграфа. Множитель -1 соответствует

29

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

Представление (2) сводится к сравнимому с известным соотношением для реберного графа

(1(в))*-т = 2-Е + Л(ВД), где в данном случае Е - единичная матрица; А(Л^)) - матрица смежности реберного графа. Множитель 2 соответствует общей для всех ребер графа их степени. На матрицу 2-Е можно смотреть как на матрицу валентности, а на матрицу Л(Д(0)) - как на матрицу смежности дуального (в смысле гиперграфов) графа.

4.2. ОРГИПЕРГРАФ

В [2] приведен пример гиперграфа И = (ИУ, ИЕ), для которого V = (V!, ..., У9>, Е = {еь..., е6}, ИУ = [НУ1 = {б!}, НУ2 = {еь е2}, ^3 = (еь 64}, ^4 = {е2}, НV5 = {е2}, ^6 = (е2, ез, бб},

^7 = {ез}, Нv8 = (ез, е4}, ^9 = {е5}}, ИЕ = (Не1 = {v1, V2, Vз},

Не2 = {V2, V4, V5, V6}, Нез = {v6, V7, v8}, Не4 = {vз, v8}, Не5 = ^9}, Неб = К}}.

Матрицы инцидентности ДИ), валентности Б(ИУ) и смежности Л(ИУ) гипервершин, валентности Б(ИЕ) и смежности А(НЕ) гиперребер этого гиперграфа имеют вид:

1 0 0 0 0 0"

1 1 0 0 0 0 10 0 10 0 0

I (Н) =

1 0 0 0 0 1 0 0 0 0 110 0 1

0 0 1 0 0 0 0 0 110 0

0 0 0 0 1 0

Б(НУ) = diag(1,2,2,1,1,34,2,1),

0 1 1 0 0 0 0 0 0

10 11110 0 0

1 1 0 0 0 0 0 1 0

0 1 0 0 1 1 0 0 0

Л(ИУ) = 0 10 10 10 0 0 0 1 0 1 1 0 1 1 0

0 0 0 0 0 1 0 1 0

0 0 1 0 0 1 1 0 0

000000000

0 10 10 0 10 10 0 1 0 10 10 1

В(ИЕ) = сііа?(3,4,3,2,1,1), Л(ИЕ) =

10 10 0 0 000000 0 110 0 0 Непосредственно проверяются соотношения ДИКДИ)) * @ ь(И) = і(ИУ) = диу) + Л(ИУ),

(І(И)) *І(И) @ Ь(И*) = І(ИЕ) = Б(ИЕ) + Л(ИЕ).

Представления (1), (2) матриц І(ИУ), І(ИЕ) проиллюстрированы ниже в рамках представлений (3), (4) матриц І(ИР), ІА(ИЛ).

Пусть элементы гиперточек и гипердуг оргиперграфа ОН упорядочены именно так, как указано выше. Его матрица инцидентности формируется в виде

£з°(1) 0 0 0 0 0

*1(1) £(2) 0 0 0 0

£(1) 0 0 £(4) 0 0

0 *(2) 0 0 0 0

0 £(2) 0 0 0 0

0 £(2) £(3) 0 0 £(6)

0 0 £(3) 0 0 0

0 0 *(3) £(4) 0 0

0 0 0 0 е£ (5) 0

а ее сопряженная (І(ОИ))* =

£(1) £(1) *1(1) 0 0 0 0 0 0

0 £(2) 0 £(2) £(2) £(2) 0 0 0

0 0 0 0 0 £(3) £(3) £(3) 0

0 0 £(4) 0 0 0 0 £ (4) 0

0 0 0 0 0 0 0 0 £ (5)

0 0 0 0 0 £(6) 0 0 0

Их произведение

ДОННДОН)) * @ Ь(ОН) = 1(НР)

(с учетом свойств произведений корней из единицы и того, что е°(0 = 1) записывается в виде

1 *(1) *1(1) 0 0 0 0 0 0

*(1) 2 *з2(1) *4(2) *42(2) *1(2) 0 0 0

*(1) *3(1) 2 0 0 0 0 *2) 0

0 *1(2) 0 1 *4(2) *2(2) 0 0 0

0 *(2) 0 *1(2) 1 *4(2) 0 0 0

0 г* (2) 0 *2(2) *4(2) 3 *з(3) *1(3) 0

0 0 0 0 0 *3(3) 1 *з(3) 0

0 0 *2(4) 0 0 *з(3) *1(3) 2 0

0 0 0 0 0 0 0 0 1

Его представление (3) расписывается следующим образом: Ь(ОН) = 1(НР) = Щ(НР) + А(НР),

где

ЩНР)=

= Щ(НУ) = diag(1, 2, 2,1,1, 3,1, 2,1) = Р(На1)° +... + Р(Иа6)0 = diag (1,1,1,0,0,0,0,0,0) + diag (0,1,0,1,1,1,0,0,0) +

+diag (0, 0, 0, 0, 0,1,1,1, 0) + diag (0, 0,1, 0, 0, 0, 0,1, 0) +

+diag (0, 0, 0, 0, 0, 0, 0, 0,1) + diag (0, 0, 0, 0, 0,1, 0, 0, 0), А(НР) =

1

1

= *(1)

+ *(1)

+Є(2)

-<(2)

+Є(2)

+е(3)

Є(3)

-4(4)

Замена корней из единицы единицами дает представление (1) матрицы Л(ИУ).

Матрица инцидентности /А((ОИ) *) дуального оргиперграфа формируется в виде (целесообразно сравнить ее с матрицей 1((ОИ) *) = (1(ОИ)) *, а ее сопряженную (1л((ОИ) *)) * - с матри-

цей (1((ОИ)*))* = 1(ОИ); далее указано их произведение и, для сравнения, произведение (1(ОИ)) *-1(ОИ))

/Л((ОИ)*) =

¿10(1) ¿20(2) ¿2 (3) 0 0 0 0 0 0

0 ¿2(2) 0 ¿10(4) ¿10(5) ¿30(6) 0 0 0

0 0 0 0 0 ¿3(6) ¿10(7) ¿20(8) 0

0 0 ¿2(3) 0 0 0 0 ¿2(8) 0

0 0 0 0 0 0 0 0 ¿19)

0 0 0 0 0 ¿2(6) 0 0 0

1Л((ОИ) *)-(/л((ОИ) *)) * @ ЬЛ((ОИ) *) = /л (ИЛ) =

" 3 ¿2(2) 0 ¿2(3) 0 0 "

¿2(2) 4 ¿2(6) 0 0 ¿3(6)

_ 0 ¿3(6) 3 ¿2(8) 0 ¿2(6) ,

¿2(3) 0 ¿2(8) 2 0 0

0 0 0 0 1 0

0 ¿2(6) ¿3(6) 0 0 1

(1(ОИ)) */(ОИ) = 1((ОИ) *)(1((ОИ) *)) * @ ЩОИ) *) = 1(ИЛ) = " 3 *(1) 0 е,!(1) 0 0

*3(1) 4 *(2) 0 0 *(2)

_ 0 *(2) 3 е(3) • (4) 0 1 .

*2(1) 0 *(4) •е32(3) 2 0 0

0 0 0 0 1 0

0 *(2) 1 0 0 1

Представление (4) расписывается следующим образом:

/л(ИЛ) = £>л(ИЛ) + ЛЛ(ИЛ),

где

БЛ(ИЛ) = £>(ИЕ) _ diag(3, 4, 3, 2,1,1) _ Р(Нр1)° +... + Р(Лр9)0 _ _ diag(1, 0, 0, 0, 0, 0) + diag (1,1, 0, 0, 0, 0) + diag (1, 0, 0,1, 0, 0) +

+diag (0,1, 0, 0, 0, 0) + diag (0,1, 0, 0, 0, 0) + diag (0,1,1, 0, 0,1) н +diag (0, 0,1, 0, 0, 0) + diag(0, 0,1,1, 0, 0) + diag (0, 0, 0, 0,1, 0),

1"

А л( НА) = ¿2(2)

1

+¿(3)

+¿(6)

+ ¿(6)

+ ¿(8)

Замена корней из единицы единицами дает представление (2) матрицы А (НЕ).

5. Заключение

В литературе имеются указания на то, что принятая за основу в данной работе трактовка гипердуги в оргиперграфе как кортежа, т. е. упорядоченного, нумерованного множества вер-

шин, использовалась, например, в [7] (без использования комплексных корней из единицы для формирования матричных представлений оргиперграфов) как основа для обобщения теории формальных языков, грамматик и автоматов в соответствующем направлении.

Из других известных определений оргиперграфа, отличных от принятого за основу в данной работе, можно указать следующие [3, 9]: гипердугами являются пары подмножеств множества вершин, одно из которых принимается за «начальное», а другое - за «конечное» подмножество гипердуги; в частности, в гипердуге выбрана вершина, принимаемая за «начальную», а остальные принадлежащие этой гипердуге вершины принимаются за «конечные». Согласование предложенной в данной работе трактовки с этими определениями требует дополнительного исследования.

В определении инцидентора нечеткого гиперграфа [10] двухэлементное множество {0, 1} заменяется промежутком [0, 1]. Так как в практических приложениях нечетких гиперграфов обычно оказываются достаточными некоторые конечные подмножества промежутка [0, 1], то предложенный в данной работе подход, при надлежащей его модификации, может быть распространен на нечеткие гиперграфы.

Лапласианы и их спектры играют важную роль в теории и приложениях графов и орграфов (см., например, [4, 6, 8]). Так, в работе [4] исследовано применение спектров лапласианов взвешенных орграфов в задачах согласования характеристик при децентрализованном управлении многоагентными системами; в основу положена базовая модель распределенного согласования характеристик агентов, непосредственно учитывающая расхождения в значениях характеристик пар (групп из двух) агентов, что позволяет поставить ей в соответствие взвешенный орграф коммуникаций; одним из свойств его лапласиана, определяющих свойства его спектра, является то, что он имеет нулевые строчные суммы; это, в конечном счете, является следствием

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

Если положить в основу модель, непосредственно учитывающую расхождения в значениях характеристик групп из более чем двух агентов, то ей можно поставить в соответствие взвешенный оргиперграф; при предложенном в данной работе способе формирования его матрицы инцидентности с использованием комплексных корней соответствующих степеней из единицы, имеющих нулевые суммы, сохраняется указанное выше свойство для лапласиана этого оргипергафа. Так как вычисление спектра (вообще говоря, неэрмитова) лапласиана взвешенного оргиперграфа сложнее вычисления спектра (эрмитова) лапласиана невзвешенного оргиперграфа, являющегося носителем данного взвешенного, то представляет интерес установление соответствия как между лапласианами невзвешенного и взвешенного оргиперграфов, так и между их спектрами.

Более полное исследование методов вычисления и возможных применений спектров лапласианов оргиперграфов, определенных предложенным в данной работе способом, требует отдельного рассмотрения.

Литература

1. БУРКОВ В. Н., ЗАЛОЖНЕВ А. Ю., НОВИКОВ Д. А. Теория графов в управлении организационными системами. -М.: СИНТЕГ, 2001. - 124 с.

2. ЕМЕЛИЧЕВ В. А., МЕЛЬНИКОВ О. И., САРВАНОВ В. И.,

ТЫШКЕВИЧ Р. И. Лекции по теории графов. - М.: Наука, 1990. - 384 с.

3. ЗЫКОВ А. А. Гиперграфы // Успехи математических наук.

- 1974. - Т. 29, №6. - С. 89-154.

4. ЧЕБОТАРЕВ П. Ю., АГАЕВ Р. П. Согласование характеристик в многоагентных системах и спектры лапласовских матриц орграфов // Автоматика и телемеханика. - 2009. -№3. - С. 136-151.

5. BERGE C. Hypergraphs: Combinatorics of Finite Sets. - Amsterdam: North-Holland, 1989. - 321 p.

6. BIYIKOGLU T., LEYDOLD J., STADLER P. Laplacian Eigenvectors of Graphs. - Berlin: Springer, 2007. - 115 p.

7. COURCELLE B. Graph Rewriting. Handbook of Theoretical Computer Science. Part 2: Formal Models and Semantics. -NY: North Holland, 1990. - P. 193-242.

8. CVETKOVIC D., DOOB M., SACHS H. Spectra of Graphs: Theory and Applications. - Leipzig: Verlag, 1995. - 368 p.

9. GALLO G., LONGO G., NGUYEN S., PALLOTTINO S. Directed Hypergraphs and Applications // Discrete Applied Mathematics. - 1993. - №42. - Р. 177-201.

10. MORDESON J., NAIR P. Fuzzy Graphs and Fuzzy Hypergraphs. - Heidelberg, New York: Physica-Verlag, 2000.

- 248 p.

DIHYPERGRAPHS: MATRIX REPRESENTATIONS

Sam L. Blyumin, Lipetsk State Technical University, Lipetsk, Dr. Sc. in Math. & Phys., professor (slb@stu.lipetsk.ru).

Abstract: Incidence matrices construction routine is proposed for dihypergraphs. It uses relevant degrees of unity root to describe hyperpoints and hyperarcs orientation. Valence and adjacency matrices along with Laplacians are also constructed for dihypergraphs and their duals.

Keywords: dihypergraphs, unity root, incidence matrix, valence matrix, adjacency matrix, Laplacian.

Статья представлена к публикации членом редакционной коллегии А. Г. Чхартишвили