Дерево, эквивалентные определения — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
(Определения)
(Теорема)
Строка 23: Строка 23:
 
5) <tex>G</tex> - ациклический граф, и если любую праву несмежных вершин соединить ребром <tex>x</tex>, то в графе <tex>G + x</tex> будет точно один простой цикл;
 
5) <tex>G</tex> - ациклический граф, и если любую праву несмежных вершин соединить ребром <tex>x</tex>, то в графе <tex>G + x</tex> будет точно один простой цикл;
  
6) <tex>G</tex> - связный граф, отличный от K<sub>p</sub> для <tex>p \ge 3</tex>, и если любую пару несмежных вершин соединить ребром <tex>x</tex>, то в графе <tex>G + x</tex> будет точно один простой цикл;
+
6) <tex>G</tex> - связный граф, отличный от <tex>K_p</tex> для <tex>p \ge 3</tex>, и если любую пару несмежных вершин соединить ребром <tex>x</tex>, то в графе <tex>G + x</tex> будет точно один простой цикл;
  
7) <tex>G</tex> - Граф, отличный от K<sub>3</sub> <tex>\cup</tex> K<sub>1</sub> и K<sub>3</sub><tex>\cup</tex> K<sub>2</sub>, <tex>p = q + 1</tex>, и если любую пару несмежных вершин соединить ребром <tex>x</tex>, то в графе <tex>G + x</tex> будет точно один простой цикл.
+
7) <tex>G</tex> - Граф, отличный от <tex>K_3 \cup K_1</tex> и <tex>K_3\cup K_2</tex>, <tex>p = q + 1</tex>, и если любую пару несмежных вершин соединить ребром <tex>x</tex>, то в графе <tex>G + x</tex> будет точно один простой цикл.
 
|proof=  
 
|proof=  
 
Для примера докажем эквивалентность первых четырёх утверждений.
 
Для примера докажем эквивалентность первых четырёх утверждений.

Версия 07:49, 17 января 2011

Определения

Определение:
Ациклический граф (лес) - граф, в котором нет циклов.


Определение:
Дерево - это связный ациклический граф.


Теорема

Теорема:
Для графа [math]G[/math] с [math]p[/math] вершинами и [math]q[/math] ребрами следующие утверждения эквивалентны:

1) [math]G[/math] - дерево;

2) любые две вершины в [math]G[/math] соединены единственной простой цепью;

3) [math]G[/math] связный граф и [math]p = q + 1[/math];

4) [math]G[/math] ациклический граф и [math]p = q + 1[/math];

5) [math]G[/math] - ациклический граф, и если любую праву несмежных вершин соединить ребром [math]x[/math], то в графе [math]G + x[/math] будет точно один простой цикл;

6) [math]G[/math] - связный граф, отличный от [math]K_p[/math] для [math]p \ge 3[/math], и если любую пару несмежных вершин соединить ребром [math]x[/math], то в графе [math]G + x[/math] будет точно один простой цикл;

7) [math]G[/math] - Граф, отличный от [math]K_3 \cup K_1[/math] и [math]K_3\cup K_2[/math], [math]p = q + 1[/math], и если любую пару несмежных вершин соединить ребром [math]x[/math], то в графе [math]G + x[/math] будет точно один простой цикл.
Доказательство:
[math]\triangleright[/math]

Для примера докажем эквивалентность первых четырёх утверждений.

1) [math] \to [/math] 2) Поскольку [math]G[/math] связный граф, то любые две его вершины соединены простой цепью. Пусть [math]P_1[/math] и [math]P_2[/math] - две различные простые цепи, соединяющие вершины [math]u[/math] и [math]v[/math], и пусть [math]w[/math] - первая вершина, принадлежащая [math]P_1[/math] (при переходе по [math]P_1[/math] из [math]u[/math] в [math]v[/math]), такая, что [math]w[/math] принадлежит и [math]P_1[/math] и [math]P_2[/math], но вершина, предшествующая ей в [math]P_1[/math], не принадлежит [math]P_2[/math].Если [math]w'[/math] - следующая за [math]w[/math] вершина в [math]P_1[/math], принадлежащая также [math]P_2[/math], то сегменты (части) цепей [math]P_1[/math] и [math]P_2[/math], находящиеся между вершинами [math]w[/math] и [math]w'[/math], образуют простой цикл в графе [math]G[/math]. Поэтому если [math]G[/math] - ациклический граф, то между любыми двумя его вершинами существует самое большое одна цепь.

2) [math] \to [/math] 3) Ясно, что граф [math]G[/math] - связный. Соотношение [math]p = q + 1[/math] докажем по индукции. Утверждение очевидно для связных графов с одной и двумя вершинами. Предположим, что оно верно для графов, имеющих меньше [math]p[/math] вершин. Если же граф [math]G[/math] имеет [math]p[/math] вершин, то удаление из него любого ребра делает его несвязным, в силу единственности простых цепей; более того, получаемый граф будет иметь в точности две компоненты. По предположению индукции в каждой компоненте число вершин на единицу больше числа ребер. Таким образом, общее число ребер в графе [math]G[/math] должно равняться [math]p-1[/math].

3) [math] \to [/math] 4) Предположим, что в графе [math]G[/math] есть простой цикл длины [math]n[/math]. Этот цикл содержит [math]n[/math] вершин и [math]n[/math] ребер, а для любой из [math]p - n[/math] вершин, не принадлежащих циклу,существует инцидентное ей ребро, которое лежит на геодезической , идущей от некоторой вершины цикла. Все такие ребра попарно различны; отсюда [math]q \ge p[/math], т. е. пришли к противоречию.

4) [math] \to [/math] 1) Предположим граф [math]G[/math] имеет [math]k[/math] компонент связности, и т. к. граф ациклический, то каждая компонента связности является деревом. Ввиду того, что 1) [math] \to [/math] 3) [math]q = \sum_{i = 1}^k (p_i - 1) = p - k[/math], где [math]p_i[/math] - количество вершин в [math]i[/math]-й компоненте связности. Учитывая, что [math]p = q + 1[/math], получаем, что [math]k = 1[/math], т. е. [math]G[/math] - дерево.
[math]\triangleleft[/math]

Литература

  • Харари Фрэнк Теория графов = Graph theory/Пер. с англ. и предисл. В. П. Козырева. Под ред. Г.П.Гаврилова. Изд. 2-е. — М.: Едиториал УРСС, 2003. — 296 с. — ISBN 5-354-00301-6