
24.4. Властивості матриць графів
Багато інформації відносно графа G можна представити в зручній формі, використовуючи матриці, відповідні графу G. Матрицю суміжності (G) графа G можна використовувати для підрахування кількості різних маршрутів (шляхів для орграфів) у G. Сама матриця задає ребра G, тобто маршрути довжиною 1. Виявляється, що матриця k (k-степінь ) задає число маршрутів довжини k.
Теорема 24.1. Елемент (i, j) = ij(k) матриці k графа G дорівнює кількості маршрутів довжини k з vi у vj.
Доведення.
Методом індукції по довжині k.
Для k=1 теорема очевидна:
матриця суміжності задає маршрут
довжиною 1. Нехай для деякого k
теорема вірна, тобто елемент ij(k)
матриці k
дорівнює кількості маршрутів довжини
k з vi
у vj.
Доведемо її для k+1. Довільний
маршрут довжини k+1 з vi
у vj
складається з ребра, яке прямує з vi
у суміжну з нею вершиною vr,
а потім маршруту довжини r
з vr
у vj.
Кількість маршрутів довжини r+1
з vi
у vj,
які проходять на першому кроці через
vr,
дорівнює irrj(k)
(якщо ребро з vi
у vr
немає, то ir
= 0 і irrj(k)
= 0, а якщо таке ребро є, то irrj(k)
= rj(k)
, тому що ir
= 1). Загальна кількість
маршрутів довжини k+1 з vi
у vj
отримаємо, якщо просумуємо цю величину
по всім r:
.
Ця сума дорівнює елементу (i,j)
добутку матриці
та k,
тобто елементу (i,j) матриці
k+1,
що й доводить теорему. ►
Наслідок. Елемент (i,j) матриці +2+…+k графа G дорівнює кількості всіх маршрутів довжини не більше за k з vi у vj.
Ця теорема справедлива як для неорієнтованих, так і для орієнтованих графів. Наприклад, на рис. 24.3 наведено орграф та його матриці суміжності , 2, 3 та 4.
v2 |
|
|
|
|
|
Рис. 24.3.
Корисною виявляється нова матриця – матриця відстаней D=||dij||, де dij = d(i,j) – відстань від vi до vj, яка визначається як довжина найкоротшого маршруту з vi у vj. (Нагадаємо, що величина dij не визначена, якщо маршрут з vi у vj не існує).
Теорема 24.2. Нехай граф G має матрицю суміжності та матрицю відстаней D. Тоді, якщо величина dij, ij, визначена, то вона дорівнює найменшому k, для якого елемент (i,j) в k, тобто rj(k), не дорівнює 0.
Доведення пропонується провести самостійно.
Слідуючи цій теоремі, можна побудувати матрицю відстаней, послідовно підводячи у степінь матрицю суміжності графа. Побудуємо матрицю відстаней для графа з рис. 24.3.
1. Матриця відстаней має нулі на головній діагоналі та спочатку співпадає з матрицею суміжності, тобто вона містить всі маршрути довжиною 1. Інші елементи матриці відстаней поки що не визначені.
2. Матриця 2 вказує на всі маршруті довжиною 2. Невизначеним елементам матриці відстаней ||dij|| присвоюється значення 2, якщо rj(2) 0.
3. Тим елементам ||dij||, які ще не визначені, присвоюємо значення 3, якщо елементи 3 rj(3) 0.
Тепер матриця відстаней повністю визначена.
1)
|
2)
|
3)
|
Теорема 24.3. Для того, щоб n-вершиний граф з матрицею суміжності мав хоча б один цикл, необхідно й достатньо, щоб матриця K = 2+…+k мала хоча б один не нульовий діагональний елемент.
Матриця досяжності R(G) = ||rij|| визначається наступним чином: rij = 1, якщо vj є досяжною з vi, і rij = 0 в протилежному випадку. Довільна вершина досяжна сама із себе, тому rii = 1 для всіх і. Матриця досяжності може бути отримана за допомогою матриці суміжності.
Теорема 24.4. Нехай - матриця суміжності і R – матриці досяжності графа G з n вершинами. Тоді
R = B(I + + 2 + … + n-1) = B[(I + )n-1],
де B – булеве перетворення (B: N {0,1}; B(x) = 0, якщо x=0, та B(x) = 1, якщо x>0), а I – одинична матриця.
Доведення. Дійсно, якщо vj є досяжною з vi, то існує простий ланцюг з vi у vj. Довжина цього маршруту не перебільшує n-1, оскільки у простому ланцюгу вершини не повторюються. Відповідно, елемент матриці I + + 2 + … + n-1 буде ненульовим, звідки й слідує теорема. ►
У наступній теоремі показано застосування матриці досяжності як метода визначення зв’язності орграфів.
Теорема 24.5. Нехай орграф G має матрицю досяжності R та матрицю суміжності . Тоді:
-
G сильно зв’язан тоді й тільки тоді, коли R = J, де J – одинична матриця.
-
G однобічно зв’язан тоді й тільки тоді, коли B(R + R’) = J, де R’ – транспонована матриця R;
-
G слабо зв’язан тоді й тільки тоді, коли B[(I + + ’)n-1] = J, де ’ – транспонована матриця .