учебное пособие - теория графов
.pdf
|
Лемма |
|
5.1. |
|
|
Пусть |
G (V ,R), u1 ,u2 R . |
Тогда |
|||
|
|
|
|
|
|||||||
(G u ) u |
2 |
(G u |
) u . |
|
|
|
|
||||
1 |
|
2 |
|
1 |
|
|
|
|
|||
|
|
|
|
|
|
|
|||||
G1 |
|
|
G2 |
|
|
|
|
|
|
||
|
Доказательство. |
Так |
как |
G1 (V ,(R \{u1} \{u2 }) |
и |
||||||
G2 (V ,(R \{u2 } \{u1}) , то G1 |
G2 . Лемма доказана. |
|
|||||||||
|
Определение 5.8. Пусть G (V , R) – граф. Говорят, что граф G1 |
||||||||||
получен |
из |
графа |
G |
добавлением |
ребра u (a,b) , |
если |
|||||
G1 (V {a,b}, R {u}) , и обозначается: G1 |
G u . |
|
|||||||||
Пример 5.8.
|
Лемма |
5.2. |
|
Пусть |
G (V ,R), |
u1 ,u2 V V . |
Тогда |
|
|
|
|
|
|||||
(G u ) u |
2 |
(G u |
) u . |
|
|
|
||
1 |
2 |
1 |
|
|
|
|||
|
|
|
|
|
||||
G1 |
|
|
G2 |
|
|
|
|
|
|
Доказательство. |
Пусть |
u1 (a,b), |
u2 (c,d) . |
Тогда |
|||
G1 ((V {a,b} {c, d}),(R {u1} {u2})) |
|
и |
||||||
G2 ((V {c, d} {a,b}),(R {u2} {u1})) . Поэтому |
G1 G2 . Лемма |
|
доказана. |
|
|
Определение 5.9. Пусть G (V , R) |
– граф и a V . Говорят, что |
|
граф G1 получен из графа G с помощью операции удаления вершины a, если G1 (V \{a}, R \{(b,c) | b a или c a}) , и обозначается:
G1 G a .
31
Пример 5.9.
Определение 5.10. Пусть G (V , R) – граф. Говорят, что граф G1 получен из графа G добавлением вершины a, если G1 (V {a}, R) , и обозначается: G1 G a .
Пример 5.10.
Замечание 5.2. Для операций 3) и 4) справедливы свойства аналогичные леммам 5.1 и 5.2.
Определение 5.11.
1.Пусть G (V , R) – граф и u (a,b) R , c V . Говорят, что граф G1 получен из графа G с помощью операции введения вершины c в ребро
u (a,b) (или с помощью операции подразделения ребра u), если
G1 (V {c},(R \{u}) {(a,c),(c,b)}) .
2. Граф G1 называется подразделением графа G, если G1 может быть получен из G путем применения конечного числа операций подразделения ребер.
32
Пример 5.11.
Определение 5.12.
1.Пусть G (V , R) – граф, a, b V , a V , G1 (V1, R1 ) (G a) b . Говорят, что граф G2 получен из графа G с помощью отождествления
вершин |
a |
и |
b, |
если |
G2 (V1 {a }, R2 ) , |
где |
R2 R1 |
{(a , x) | (a, x) R |
или (b, x) R} {(x, a ) | (x, a) R |
или |
|||
(x,b) R} . |
|
|
|
|
|
|
2.Если вершины a и b в графе G соединены ребром, то операция отождествления вершин a и b называется операцией стягивания ребра (a,b)
.
Пример 5.12.
Определение 5.13. |
Пусть G (V , R) |
– граф, a V , a , a V , |
|||
V , V V |
такие |
что |
V V , |
V V V \ {a}, |
|
G1 (V1, R1 ) G a. Говорят, |
что граф G2 получен из графа G с помо- |
||||
щью операции расщепления вершины a, если G2 |
(G1 {a , a }, R2 ) , |
||||
где R2 R1 |
{[a , a ]} R R , где |
R {(a , x) | (a, x) R и |
|||
x V } {(x, a ) | (x, a) R и x V }; |
R {(a , y) | (a, y) R и |
||||
y V } {( y, a ) | ( y, a) R и y V }. 33
Пример 5.13.
Определение 5.14. Пусть |
G (V , R) |
– |
граф без |
петель, |
{(a,a) | a V}. Дополнением |
графа |
G |
называется |
граф |
G (V , V 2 \ (R )) .
Пример 5.14.
Замечание 5.3. Граф G называют также дополнительным графом для графа G.
Определение n-мерного куба
Из полного графа K2 с помощью операции произведения графов получают важный класс графов, называемых n-мерными кубами. n- мерный куб определяется индуктивно следующим образом.
Определение 5.15.
1)Нульмерным кубом Q0 называется неорграф без петель, состоящий из одной вершины;
2)граф Q1=K2 называется 1-мерным кубом;
34
3)граф Q2= K2 Q1 называется 2-мерным кубом; и т.д.
4)граф Qn= K2 Qn 1 называется n-мерным кубом, n >1.
Пусть граф K2 имеет вершины 0 и 1. Тогда вершинами n-мерного куба являются всевозможные упорядоченные n-ки, состоящие из нулей и единиц, а ребра задаются по правилу: вершины смежны тогда и только тогда, когда соответствующие кортежи отличаются ровно одной координатой.
§6. Изоморфизм графов
Содержание параграфа
гомоморфизм, изоморфизм и гомеоморфизм графов;
простейшие свойства изоморфных графов;
изоморфизм мультиграфов;
установление изоморфизма графов с помощью матрицы смежности.
Определение 6.1. Пусть G=(V,R), G1=(V1,R1) – графы. Отображение
φ: V1 V2 называется гомоморфным отображением графа G в граф G1
или гомоморфизмом графа G в граф G1, если a, b V: (a, b) R ( (a) , (b) ) R1.
Пример 6.1. Пусть графы G=(V,R) и G1=(V1,R1) имеют вид:
35
G |
G1 |
Отображение φ: V V1 задано по правилу: |
(1) a , |
(2) b , |
|
(3) c . Тогда |
|
|
|
(1,2) |
R ( (1) , (2) ) =(a, b) R1, |
|
|
(3,1) |
R ( (3) , (1) ) = (c, a) R1. |
|
|
Следовательно, φ – гомоморфизм G в G1.
Определение 6.2. Пусть G=(V,R), G1=(V1,R1) – графы. Биективное отображение φ: V1 V2 называется изоморфным отображением графа
G на граф G1 |
или изоморфизмом графа G на граф G1, если a, b V: |
(a, b) R ( (a) , (b) ) R1. |
|
Пример 6.2. Пусть графы G=(V,R) и G1=(V1,R1) имеют вид: |
|
G |
G1 |
Отображение : V V1 задано по правилу: (1) a , (2) c ,(3) b . Тогда
(1,2) R ( (1) , (2) ) =(b, a) R1, (3,1) R ( (3) , (1) ) = (c, a) R1.
Поскольку отображение инъективно и сюръективно, то – изоморфизм G на G1.
Определение 6.3. Графы G и G1 называются изоморфными и обозначаются G G1, если существует изоморфизм G на G1.
36
Лемма 6.1. Пусть G=(V,R), G1=(V1,R1) – графы, – изоморфизм G на G1. Тогда справедливы следующие утверждения:
1)|V1| = |V2|, |R1| = |R2|;
2)a V: deg a deg (а) , deg a deg (a) , т.е. deg a deg (a) .
Лемма 6.2. Отношение изоморфизма на множестве всех графов является отношением эквивалентности.
Замечание 6.1. Обычно на практике графы рассматриваются с точностью до изоморфизма.
Определение 6.4. Графы G и G1 называются гомеоморфными, если они обладают изоморфными подразделениями.
Определение 6.5. Пусть G=(V, U, f ), G1=(V1, U1, f1) – ориентированные мультиграфы. Мультиграфы G и G1 называются изоморфными, если существуют биекции : V V1 и ψ: U U1 такие, что a, b V,
u U: f (a,b)=u f1( (a), (b))= ψ(u).
Установление изоморфизма графов с помощью матрицы смежности
Напомним определение подстановки n-ой степени.
Определение 6.6. Пусть M 1, 2, ..., n . Подстановкой на множестве M или подстановкой n-й степени называется взаимно одно-
значное отображение множества M на M.
Пусть : M М – подстановка. Тогда k M: (k)=ik . Под-
1 |
2 |
... |
n |
становки удобно изображать следующим образом: = |
|
|
. |
|
i2 |
... |
|
i1 |
in |
Теорема 6.1. Пусть G=(V,R), G1=(V1,R1) – графы, V={ a1, a2 ,..., an },
V1={ a , a |
,..., a |
}, |
A |
(a |
kl |
) , A |
(a |
) – матрицы смежности графов |
1 2 |
n |
|
G |
|
G1 |
kl |
|
G и G1 соответственно. Тогда G G1 в том и только том случае, когда
37
существует подстановка = 1 |
2 |
... |
n , такая что a |
kl |
a |
|
, |
||||||
|
|
|
|
|
|
|
|
|
|
(k ) (l ) |
|
||
|
|
|
|
|
i1 |
i2 |
... |
in |
|
|
|
|
|
k 1, n , l 1, n . |
|
|
|
|
|
|
|
|
|
||||
|
Доказательство. 1. |
Необходимость. Пусть G G1. Тогда сущест- |
|||||||||||
вует изоморфизм G на G1, т.е. : V V1 – биекция, причем |
|
|
|||||||||||
|
|
ak , al V: |
( ak , al ) R ( ( ak ), ( al )) R1. |
|
|
|
|||||||
Пусть ( a1 )= ai , ( a2 )= ai , |
..., |
( an )= ai , т.е. |
( ak |
)= ai |
(1), |
||||||||
1 |
2 |
|
|
n |
|
|
k |
|
|
||||
k 1, n . Тогда i1,i2 ,...,in – попарно различные числа. Следовательно, су-
1 |
2 |
... |
n |
|
|
|
|
k 1, n . |
|||||||
ществует подстановка = |
|
|
, причем (k)=ik (2), |
||||
|
i2 |
... |
|
|
|
|
|
i1 |
in |
|
|
|
|||
Пусть 1 k n, |
1 l n . Покажем, |
что a |
kl |
a |
(l ) |
. Из опреде- |
||
|
|
|
|
|
(k ) |
|
||
ления матрицы смежности следует, что akl 1 или |
akl 0 . |
|
|
|||||
|
опр. AG |
|
изоморфизм |
|
|
|
|
(1) |
Пусть akl 1 |
( ak |
, al ) R |
|
( ( ak |
), ( al )) R1 |
|||
|
|
|
|
(2) |
|
|
|
( a |
, a ) R1 |
( a |
, a |
) R1 |
|
|
ik |
il |
(k ) |
(l ) |
|
|
Отсюда |
следует, |
что akl |
0 |
|
||
a |
a |
|
. |
|
|
|
kl |
(k ) (l ) |
|
|
|
|
|
опр. A |
|
|
G1 |
a |
|
|
(k ) (l ) |
|
a |
|
=0. |
(k ) (l ) |
|
|
=1.
Таким образом,
|
|
2. |
Достаточность. |
|
Пусть |
существует подстановка |
= |
||||||||
1 |
2 |
... |
n |
|
|
a |
|
|
|
|
|
|
|
||
|
|
|
, k 1, n , l 1, n . Покажем, что G |
||||||||||||
|
|
|
|
|
, такая что a |
kl |
|
||||||||
|
|
|
|
|
|
|
(k ) (l ) |
|
|
|
|
|
|
||
i1 |
i2 |
... |
in |
|
|
|
|
|
|
|
|
|
|
||
G1. Пусть : V1 V2 – отображение, заданное по правилу ak |
V: |
||||||||||||||
( a |
|
) = |
a |
|
= a |
. Покажем, что – изоморфизм G на G1. Так как – |
|||||||||
|
k |
|
(k ) |
ik |
|
|
|
|
|
|
|
|
|
|
|
биекция, то – |
биекция. Покажем, что выполняется условие из опре- |
||||||||||||||
деления 6.2:
38
|
|
|
|
опр. A |
|
|
|
условие |
опр. AG |
|
|
|
|
|
|
|
|
G |
|
|
a |
|
1 |
|
|
|
|
пусть ( a |
k |
, a |
) R |
|
a |
kl |
1 |
=1 |
|
( a |
, a |
) R1 |
|
|
l |
|
|
|
|
(k ) (l ) |
|
|
(k ) |
(l ) |
|
||
( ( ak ), ( al |
)) R1. Следовательно, – |
изоморфизм, и значит, G |
|||||||||||
G1. Теорема доказана.
Следствие 6.1.1. Два графа являются изоморфными тогда и только тогда, когда их матрицы смежности можно получить одну из другой с помощью одновременной перестановки строк и столбцов.
§ 7. Маршруты графов
Содержание параграфа
определение маршрута графа;
маршруты орграфов (пути, контуры);
бесконтурный граф;
маршруты неорграфов (цепи, циклические маршруты, циклы);
ациклический граф;
обхват неорграфа;
понятие обхода графа;
нахождение в графах маршрутов с заданным количеством ребер;
матрица маршрутов длины k.
Определение 7.1.
1.Пусть G=(V,R) – граф, a1,a2,…,an+1 V, ui=(ai,ai+1) R, i 1, n . После-
довательность (a1,u1,a2,u2,…,an,un,an+1) (1) называется маршрутом графа G, соединяющим вершины a1 и an+1, или иначе (a1,an+1)-
маршрутом.
2.Число n ребер в маршруте (1) называется длиной маршрута (1).
Маршруты также можно обозначать следующим образом
(1): (a1,a2,…,an,an+1) или (1): (u1,u2,…,un).
39
Возможно, что n=0, т.е. маршрут (1) может иметь вид: (a1).
Маршруты ориентированных графов
Определение 7.2. Маршрут орграфа G называется путём, если все его рёбра попарно различны.
Определение 7.3. Путь орграфа G называется контуром, если первая вершина пути совпадает с последней.
Замечание 7.1. Полагают, что маршрут нулевой длины контуром не является.
Лемма 7.1. Если орграф не имеет контуров, то в нем имеется вершина, полустепень захода в которую равна 0.
Взаимосвязь между данными понятиями можно изобразить в виде схемы:
Схема 1.
Определение 7.4. Орграф, не содержащий контуров, называется
бесконтурным.
Пример 7.1.
(1, 3, 2, 1) – контур,
(1, 3, 4, 5) – путь, не являющийся контуром, (1, 3, 2, 1, 3) – маршрут, не являющийся путем.
40
