УДК 681.

51
А.В.Боженюк

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

При анализе различных процессов, структуры которых можно отобразить в

виде нечетких графов, возникают задачи нахождения или доказательства
отсутствия подмножеств вершин по заданным критериям [1]. Данная работа
затрагивает вопросы нахождения подмножеств вершин, связанных друг с
другом с определенной степенью связности.
∼ ∼
Пусть задан нечеткий граф G = (X, Γ ) . Определим нечеткие многозначные
∼ ∼ ∼ ∼ ∼ ∼
отображения Γ 2 , Γ 3 ,..., Γ n по формуле: Γ n ( x i ) = Γ{Γ n-1 ( x i )} , и обратные нечеткие
∼ ∼ ∼ ∼ ∼ ∼
многозначные отображения Γ -2 , Γ -3 ,..., Γ -n по формуле: Γ -n ( x i ) = Γ −1 {Γ -(n-1) ( x i )} .
∼ ∼
Очевидно, что Γ n (x i ) и Γ -n ( x i ) являются соответственно нечеткими
подмножествами вершин, в которые можно прийти из x i используя нечеткие
пути длины n и нечеткими подмножествами вершин, из которых можно прийти
в x i используя нечеткие пути длины n.
Îïðåäåëåíèå 1. Íå÷åòêèì òðàíçèòèâíûì и нечетким обратным транзитивным
замыканиями назовем многозначные отображения, определяемые формулами
∼)
∞
∼0 ∼ ∼2 ∼
соответственно: Γ (x i ) = Γ ( x i ) ∪ Γ ( x i ) ∪ Γ ( x i )∪... = U Γ j ( x i ) и
j=0

∼)
∞
∼ ∼ ∼ ∼ ∼
Γ − (x i ) = Γ 0 ( x i ) ∪ Γ −1 ( x i ) ∪ Γ − 2 ( x i )∪... = U Γ - j ( x i ) . Здесь величина Γ 0 ( x i ) = {< 1 / x i >} .
j=0

∼ ∼
Определение 2. Граф G = (X, Γ ) назовем нечетким сильно связным, если
выполняется условие: (∀x i ∈ X)(S Γ∼) ( x ) = X) . Здесь S Γ∼) ( x ) - носитель нечеткого
i i

∼)
множества Γ(x i ) .
Нетрудно показать, что данное выражение эквивалентно выражению
∼)
(∀x i ∈ X)(S Γ∼) - ( x ) = X) . Здесь S ∼) −
- носитель нечеткого множества Γ − (x i ) .
i Γ ( xi )
 Определение 3. Пусть нечеткое транзитивное замыкание для вершины x i
∼)
имеет вид: Γ(x i ) = {< μ i1 ( x 1 ) / x 1 >, < μ i2 ( x 2 ) / x 2 >,..., < μ in ( x n ) / x n >} , тогда величину
∼ ∼
ρ(G) = & & μ ij ( x j ) назовем степенью сильной связности нечеткого графа G.
j=1,n i=1,n

∼ ∼
Определение 4. Нечеткий подграф G ′ = (X ′ , Γ ′ ) назовем максимальным
нечетким сильно связным подграфом или нечеткой сильной компонентой
∼ ∼
связности, если не существует никакого другого подграфа G ′ ′ = (X , Γ ′ ′ ) строго
∼ ∼ ∼ ∼ ∼
содержащего G ′ (G ′ ⊂ G ′ ′ ) и при этом ρ(G ′) ≤ ρ(G ′′) .
Ðàññìîòðèì ìåòîä âûäåëåíèÿ âñåõ ìàêñèìàëüíûõ ñèëüíî ñâÿçíûõ íå÷åòêèõ ãðàôîâ.
Данный метод является обобщением метода Мальгранжа [2] на нечеткие графы.
10 . Áåðåì ïðîèçâîëüíóþ âåðøèíó x i ∈ X и находим для нее нечеткое транзитивное
∼) ∼)
замыкание Γ(x i ) è îáðàòíîå íå÷åòêîå òðàíçèòèâíîå çàìûêàíèå Γ − (x i ) , êîòîðûå
ÿâëÿþòñÿ íå÷åòêèìè ìíîæåñòâàìè íà ìíîæåñòâå âåðøèí X. Затем находим их
пересечения:
∼ ∼) ∼)
С(x i ) = Γ (x i ) ∩ Γ − (x i ) = {< α 1 / x 1 >, < α 2 / x 2 >,..., < α i / x i >,..., < α n / x n >} , где α j ∈[0,1] .

Äàëåå, ïåðåáèðàÿ âñå âîçìîæíûå çíà÷åíèÿ α j ≠ 0 è íàõîäÿ äëÿ íèõ ïîäìíîæåñòâà âåðøèí
X xi , j ∈{x k } , äëÿ êîòîðûõ ñîîòâåòñòâóþùèå ôóíêöèè ïðèíàäëåæíîñòè α k ≥ α j , ìû òåì

ñàìûì îïðåäåëÿåì ñåìåéñòâî ìàêñèìàëüíûõ íå÷åòíûõ ïîäãðàôîâ {G xi , j } ñî ñòåïåíüþ

ñâÿçíîñòè α j .

2 0 . Èñêëþ÷àåì èç ãðàôà ∼ ∼
G = (X , Γ ) вåðøèíó x i ∈ X . Ïîëó÷àåì íå÷åòêèé ïîäãðàô
∼ ∼
G ′ = (X ′, Γ ) ãäå X ′ = X \ { x i} . Опять выбираем произвольную вершину
x ′i ∈ X ′ и действуем аналогично.

30 . Ïðîäîëæàåì ïðîöåññ äî òåõ ïîð, ïîêà ýòî âîçìîæíî, ò.å., ïîêà ïîäìíîæåñòâî âåðøèí
X ′ íå îêàæåòñÿ ïóñòûì.
∼ ∼
Ïðèìåð. Ðàññìîòðèì ïðåäñòàâëåíèå нечеткого ãðàôà G = ( X , Γ ) íà Рèñ.1. â
âèäå ìàòðèöû ñìåæíîñòè âåðøèíû, ïîêàçàííîé íà Рèñ.2.
 B 0,5 C

A 0,2 E
Рис.1.
Ñîãëàñíî àëãîðèòìà âûáèðаåì ïðîèçâîëüíóþ âåðøèíó, íàïðèìåð A . Ñïðàâà îò ìàòðèöû
ïîìåñòèì ñòîëáåö, à âíèçó – ñòðîêó, êîòîðûå áóäåì çàïîëíÿòü ñëåäóþùèì îáðàçîì. Â
êëåòêó ñòîëáöà íàïðîòèâ ñòðîêè A ставим 1 (степень связности вершины A с
самой собой). В клетку столбца напротив строки B ставим 0,8 (прочность
нечеткого пути из вершины A в вершину B ).

~ˆ
A B C D E Г ( A)
A 0 0,8 0 0 0 1
B 0,7 0 0,5 0 0 0,8
Rx = C 0 0 0 0,4 0,8 0,5
D 0 0 0 0 0,4 0,4
E 0,2 0 0,7 0 0 0,5
~ˆ
Г - ( A) 1 0,7 0,2 0,2 0,2
Рис.2.
Строка B матрицы содержит 0,5 на месте C , поэтому напротив строки C
помещаем величину 0,8&0,5=0,5 (ïðî÷íîñòü íå÷åòêîãî ïóòè èç âåðøèíó A â âåðøèíó
C ). Â ñòðîêå C íà ìåñòå D и E содержатся величины 0,4 и 0,8, поэтому,
напротив строк D и E помещаем значения соответственно 0,4=0,5&0,4 и
0,5=0,5&0,8. Процесс заканчивается, т.к. все клетки уже заполнены. Таким
∼)
образом, Γ(A ) = {< 1 / A >, < 0,8 / B >, < 0,5 / C >, < 0,4 / D >, < 0,5 / E >} .
∼)
Аналогично действуем для получения Γ − (A ) , но при этом меняем ролями
строки и столбцы матрицы. Полученные числа в строке внизу определяют
наибольшую прочность некоторого нечетного пути в графе G∼ из вершины в
вершину A. Таким образом имеем:
∼)
Γ − (A ) = {< 1 / A >, < 0,7 / B >, < 0,2 / C >, < 0,2 / D >, < 0,2 / E >} . Далее находим:
∼ ∼) ∼)
C(A) = Γ − (A ) ∩ Γ (A ) = {< 1 / A >, < 0,7 / B >, < 0,2 / C >, < 0,2 / D >, < 0,2 / E >} .

Перебирая всевозможные значения α i ∈{1;0,7;0,2] , получаем следующие

подмножества вершин: XA1 = {A} , X A2 = {A,B} и X A3 = {A,B,C,D,E} ,

определяющие максимальные сильно связные нечеткие подграфы со степенью

∼
связности 1; 0,7; и 0,2 соответственно. Удаляя из графа G вершину A , ïîëó÷àåì
íå÷åòêèé ïîäãðàô, ìàòðèöà ñìåæíîñòè êîòîðîãî ïîêàçàíà íà Рèñ.3.
Áåðåì ïðîèçâîëüíóþ âåðøèíó, íàïðèìåð B , è, ïîñòóïàÿ ñ íåé òî÷íî òàêæå, íàõîäèì:
∼) ∼) − ∼ ∼) ∼)
Γ1 (B) = {< 1 / B >, < 0,5 / C >, < 0,4 / D >, < 0,5 / E >} , Γ1 (B) = {< 1 / B >} , C(B) = Γ1 (B) ∩ Γ1 − (B) = {< 1 / B >}

~ˆ
B C D E Г 1( A) ~ˆ
C D E Г 2 ( A)
B 0 0,5 0 0 1
C 0 0,4 0,8 1
C 0 0 0,4 0,8 0,5
R x′ = R x′′ = D 0 0 0,4 0,4
D 0 0 0 0,4 0,4
E 0,7 0 0 0,8
E 0 0,7 0 0 0,5
~ˆ
~ˆ Г - 2 ( A) 1 0,4 0,7
Г -1 ( A) 1 0 0 0

Рис.3. Рис.4.

Получаем подмножество вершин X B1 = {B} , êîòîðîå îïðåäåëÿåò ìàêñèìàëüíûé

ñèëüíî ñâÿçíûé ïîäãðàô íà одну âåðøèíó ñî ñòåïåíüþ ñâÿçíîñòè 1. Óäàëÿÿ èç ãðàôà
âåршèíó B , ïîëó÷àåì íå÷åòêèé ïîäãðàô, ìàòðèöà ñìåæíîñòè êîòîðîãî ïîêàçàíà íà Рèñ. 4.
Äëÿ ïðîèçâîëüíîé åãî âåðøèíû, íàïðèìåð C, получаем:
∼) ∼)
Γ2 (C) = {< 1 / C >, < 0,4 / D >, < 0,8 / E >} , Γ − 2 (C) = {< 1 / C >, < 0,4 / D >, < 0,7 / E >} ,
∼ ∼) ∼)
C(C) = Γ2 (C) ∩ Γ − 2 (C) = {< 1 / C >, < 0,4 / D >, < 0,7 / E >} . Откуда находим X C1 = {C} ,
X C2 = {C,E} и X C3 = {C, D, E} , определяющие максимальные сильно связные

нечеткие подграфы со степенями соответственно 1, 0,7 и 0,4. Продолжая, легко

∼
находим из Рис.5 значение C(D) = {< 1 / D >} .

~ˆ
D E Г 3 (D)
D 0 0.4 1
R x′′′ =
E 0 0 0.4
~ˆ
Г - 3 ( D) 1 0
 Рис.5.
~ˆ
E Г 4 (E)
Рис.6.
Rx = E 0 1
В результате получаем подмножество вершин X D1 = {D} , которое
~ˆ
Г - 4 (E) 1
определяет максимальный сильно связный подграф на одну вершину со
степенью связности 1. И наконец, на последнем этапе получаем матрицу,
∼
показанную на Рис.6. Отсюда находим значение C(E) = {< 1 / E >} , которое задает

подмножество X E1 = {E} .
∼ ∼
Таким образом, исходный нечеткий граф G = (X , Γ ) , показанный на
Рис.1, имеет 9 максимальных сильно связных нечетких подграфов.
Если на первом шаге алгоритма носитель полученного нечеткого
∼
множества С(x i ) = {< α j / x j >} совпадает с множеством вершин X то это
∼
означает, что исходный нечеткий граф G сильно связен, а величина min{α j }
j=1,n

∼
определяет степень связности графа G . В рассмотренном примере нечеткий
∼ ∼
граф G сильно связный, т.к. носитель С(A ) нечеткого множества совпадает с

множеством X и степень связности графа равна 0,2, т.е., между любыми

двумя вершинами нечеткого графа существует нечеткий путь с конъюнктивной
прочностью не менее 0,2.
Рассмотренный метод может широко применяться в формальных
исследованиях структурных свойств нечетких ориентированных графов.

1. Кофман А., Хил Алуха Х. Введение теории нечетких множеств в

управление предприятиями: Мн.: Высш.шк., 1992.
2. Кофман А. Введение в прикладную комбинаторику. М.:Наука, 1975.