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

Материал из Викиконспекты
Перейти к: навигация, поиск
(Доказательство эквивалентности)
(Определения)
Строка 16: Строка 16:
  
 
==Определения==
 
==Определения==
Для [[Основные определения теории графов|графа]] G эквивалентны следующие утверждения:
+
Для графа G эквивалентны следующие утверждения:
 
# G - дерево
 
# G - дерево
 
# Любые две вершины графа G соединены единственным простым путем
 
# Любые две вершины графа G соединены единственным простым путем

Версия 05:06, 30 ноября 2011

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

Пример дерева



Определение:
Лесграф, являющийся набором непересекающихся деревьев.

Пример леса


Определения

Для графа G эквивалентны следующие утверждения:

  1. G - дерево
  2. Любые две вершины графа G соединены единственным простым путем
  3. G - связен и [math] p = q + 1 [/math], где [math]p[/math] - количество вершин, а [math]q[/math] количество ребер
  4. G - ацикличен и [math] p = q + 1 [/math], где [math]p[/math] - количество вершин, а [math]q[/math] количество ребер
  5. G - ацикличен и при добавлении любого ребра для несмежных вершин появляется один простой цикл
  6. G - связный граф, отличный от [math] K_p [/math] для [math] p \ge 3 [/math], а также при добавлении любого ребра для несмежных вершин появляется один простой цикл
  7. G - граф, отличный от [math] K_3 \cup K_1 [/math] и [math] K_3 \cup K_2 [/math], а также [math] p = q + 1 [/math], где [math]p[/math] - количество вершин, а [math]q[/math] количество ребер, и при добавлении любого ребра для несмежных вершин появляется один простой цикл

Доказательство эквивалентности

  • [math] 1 \Rightarrow 2 [/math] Граф связен, поэтому любые две вершнины соединены путем. Граф ацикличен, значит путь единственен, а так же прост, поскольку никакой путь не может зайти в одну вершину два раза, потому что это противоречит ацикличности.
  • [math] 2 \Rightarrow 3 [/math] Очевидно, что граф связен. Докажем по индукции, соотношение [math]p = q + 1[/math]. Утверждение очевидно для связных графов с одной и двумя вершинами. Предположим, что оно верно для графов, имеющих меньше [math]p[/math] вершин. Если же граф [math]G[/math] имеет [math]p[/math] вершин, то удаление из него любого ребра делает граф [math] G [/math] несвязным в силу единственности простых цепей; более того, получаемый граф будет иметь в точности две компоненты. По предположению индукции в каждой компоненте число вершин на еденицу больше числа ребер. Таким образом, [math] p = q + 1 [/math].
  • [math] 3 \Rightarrow 4 [/math] Очевидно, что если граф связен и ребер на одно меньше, чем вершин, то он ацикличен. Преположим, что у нас есть p вершин, и мы добавлеям ребра. Если мы добавили ребро для получения цикла, то добавили второй путь между парой вершин, а значит нам не хватит его на добавление вершины и мы получим не связный граф, что противоречит условию.
  • [math] 4 \Rightarrow 5 [/math] [math]G[/math] - ациклический граф, значит каждая компонента связности графа является деревом. Так как в каждой из них вершин на единицу больше чем ребер, то [math] p = q + k [/math], где [math]k[/math] — число компонент связности. Поскольку [math] p = q + k [/math], то [math] k = 1 [/math], а значит [math]G[/math] - связен. Таким образом наш граф дерево, у которого между любой парой вершин есть единственный простой путь. Очевидно, при добавлении ребра появится второй путь между парой вершин, то есть мы получим цикл.
  • [math] 5 \Rightarrow 6 [/math] Поскольку [math] K_p [/math] для [math] p \ge 3 [/math] содержит простой цикл, то [math]G[/math] не может им являться. [math]G[/math] связен, так как в ином случае можно было бы добавить ребро так, что граф остался бы ациклическим.
  • [math] 6 \Rightarrow 7 [/math] Докажем, что любые две вершины графа соеденены единственной простой цепью, а тогда поскольку [math] 2 \Rightarrow 3 [/math], получим [math] p = q + 1 [/math]. Любые две вершины соединены простой цепью, так как [math]G[/math] — связен. Если две вершины соединены более чем одной простой цепью, то мы получим цикл. Причем он должен являться [math] K_3 [/math], так как иначе добавив ребро, соединяющее две вершины цикла мы получим более одного простого цикла, что противоречит условию. [math] K_3 [/math] является собственным подграфом [math]G[/math], поскольку [math]G[/math] не является [math] K_p [/math] для [math] p \ge 3 [/math]. [math]G[/math] — связен, а значит есть вершина смежная с [math] K_3 [/math]. Очевидно, можно добавить ребро так, что образуется более одного простого цикла. Если нельзя добавить ребра так, чтобы не нарушалось исходное условие, то граф [math]G[/math] является [math]K_p[/math] для [math] p \ge 3 [/math], и мы получаем противоречие с исходным условием. Значит, любые две вершины графа соеденены единственной простой цепью, что и требовалось.
  • [math] 7 \Rightarrow 1 [/math] Если [math]G[/math] имеет простой цикл, то он является отдельной компонентой [math]K_3[/math] по ранее доказанному. Все остальные компоненты должны быть деревьями, но для выполнения соотношения [math] p = q + 1 [/math] должно быть не более одной компоненты отличной от [math]K_3[/math], так как в [math]K_3[/math] [math] p = q = 3 [/math]. Если это дерево содержить простой путь длины 2, то в [math]G[/math] можно добавить ребро так, что образуется 2 простых цикла. Следовательно, этим деревом является [math]K_1[/math] или [math]K_2[/math]. Значит [math]G[/math] является [math]K_3 \cup K_1[/math] или [math]K_3 \cup K_2[/math], которые мы исключили из рассмотрения. Значит наш граф ацикличен. Если [math]G[/math] ациклический и [math] p = q + 1 [/math], то из [math] 4 \Rightarrow 5 [/math] и [math] 5 \Rightarrow 6 [/math] верно, что [math]G[/math] — связен. В итоге получаем, что [math]G[/math] является деревом по определению.

Литература

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