3.9. Деревья и леса
Каждая компонента связности леса – дерево, следовательно, для -связного леса существует дизъюнктное разбиение на
деревьев.
Пример 1. Граф
не является деревом, не является лесом. Граф
— дерево. Граф
— лес.
Лемма. Если граф – дерево, то каждое его ребро является мостом.
Доказательство.В параграфе 3.6 было доказано, что если ребро графа не содержится ни в одном цикле, то оно является мостом. Дерево граф ациклический, следовательно, каждое его ребро мост.■
Теорема (основная теорема о деревьях). Для графа следующие утверждения равносильны:
- Граф
— дерево.
ациклический и
.
связный и
.
связный и каждое его ребро является мостом.
- Любые две вершины графа
можно соединить, притом единственной, простой цепью.
ациклический, и добавление к нему нового ребра приводит к образованию единственного простого цикла.
Доказательство.Доказательство проведем по следующей схеме:.
. Индукцией по числу ребер проверим, что для любого дерева выполняется равенство
. Базис индукции.Пусть
, тогда
, и равенство
выполнено. Индуктивный переход.Предположим, что требуемое равенство выполняется для любого дерева с числом ребер меньшим либо равным
. Докажем, что оно справедливо и для дерева с числом ребер
. Удалим из графа
произвольное ребро
.Согласно лемме, ребро
— мост. По теореме о мостах
. Следовательно, граф
состоит из двух компонент связности,
и
, каждая из которых – дерево с числом ребер меньшим либо равным
. Для каждой компоненты связности справедливо предположение индукции, т.е. выполнены равенства
и
. Складывая эти равенства почленно, получим:
. Или
.
. Докажем, что если граф
ациклический и
, то граф связный. Будем рассуждать от противного, т.е. предположим, что найдется ациклический граф
, число ребер которого на единицу меньше числа вершин, который связным не является. Пусть
,
, — число компонент связности графа
. Каждая компонента связности — дерево. Переход
уже доказан, следовательно, для каждой компоненты связности
можем записать:
. Просуммировав по
, получим:
. Или
. Так как
, то пришли к противоречию с условием
. Следовательно, наше предположение было неверным.
. Докажем, что если граф связный и
, то каждое его ребро является мостом. Будем рассуждать от противного. Предположим, что найдется связный граф
, такой что
, в котором есть ребро
, не являющееся мостом. Тогда граф
связный и
. То есть для связного графа
выполняется условие
, что противоречит следствию теоремы о знаке цикломатического числа (см. параграф 3.7).
. Из связности графа вытекает, что любые две его вершины можно соединить маршрутом, и, следовательно, простой цепью. Докажем, что эта простая цепь единственна. Доказательство проведем от противного. Предположим, что найдется связный граф, все ребра которого — мосты, такой, что в нем есть две вершины
и
, соединенные двумя различными простыми цепями
и
. Поскольку цепи
и
различны, то имеется ребро
, входящее в цепь
и не входящее в цепь
. Пусть
и
— фрагменты цепи
. Склеим инвертированный фрагмент
, цепь
и инвертированный фрагмент
. Получим на графе
— маршрут, не содержащий ребра
. Из этого маршрута выделим
-простую цепь и склеим ее с цепью
. В результате получим цикл, содержащий
, а это противоречит тому, что ребро
— мост.
. Пусть для графа
выполнено условие 5. Проверим сначала, что граф
не содержит циклов. Будем рассуждать от противного. Предположим, что на графе
имеется цикл. Пусть
— одно из ребер этого цикла и вершины
и
— концы этого ребра. Тогда
— простая цепь, соединяющая вершины
и
. Обозначим ее
. Удалим из графа
ребро
. Поскольку ребра циклов не являются мостами и граф
связный, то граф
также будет связным. Следовательно, на графе
существует
— маршрут. Выделим из этого маршрута
-простую цепь и обозначим ее
. Таким образом мы показали, что на графе
есть две простые цепи, соединяющие вершины
и
:
и
, что противоречит условию 5. Покажем, что добавление к графу
нового ребра приводит к образованию, притом единственного, цикла. Возьмем на графе
две произвольные вершины
и
и соединим их новым ребром
; получим граф
. По условию на графе
имеется единственная простая
-цепь. Склеив ее с цепью
, получим на графе
простой цикл. Докажем, что этот цикл единственный. Предположим, что при добавлении ребра
образовалось два простых цикла. Тогда, удалив из каждого из них ребро
, получим на графе
две простые
-цепи, а наличие двух -цепей противоречит условию.
. Будем рассуждать от противного, т.е. предположим, что существует несвязный граф
, для которого выполнено условие 6. Возьмем на этом графе две вершины, лежащие в разных компонентах связности, и соединим их ребром
. В результате образуется граф
, для которого ребро
является мостом и, следовательно, не содержится ни в одном цикле. Таким образом, добавление ребра
не привело к образованию цикла, что противоречит условию 6.■ Следствие 1.Неодноэлементное дерево имеет не менее двух висячих вершин.Доказательство.Рассмотрим произвольное дерево, имеющее не менее двух вершин. Представим множество его вершин
в виде
, где
— множество висячих вершин этого дерева. Тогда
. Но
, поэтому
. Откуда
. ■ Следствие 2.Если граф
—
-связный лес, то
. Последнее следствие рекомендуем доказать самостоятельно.
Источник
Дерево, эквивалентные определения
Для графа [math]G[/math] эквивалентны следующие утверждения:
- [math]G[/math] — дерево.
- Любые две вершины графа [math]G[/math] соединены единственным простым путем.
- [math]G[/math] — связен и [math] p = q + 1 [/math] , где [math]p[/math] — количество вершин, а [math]q[/math] количество ребер.
- [math]G[/math] — ацикличен и [math] p = q + 1 [/math] , где [math]p[/math] — количество вершин, а [math]q[/math] количество ребер.
- [math]G[/math] — ацикличен и при добавлении любого ребра для несмежных вершин появляется один простой цикл.
- [math]G[/math] — связный граф, отличный от [math] K_p [/math] для [math] p \gt 3 [/math] , а также при добавлении любого ребра для несмежных вершин появляется один простой цикл.
- [math]G[/math] — граф, отличный от [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]p = q + 1[/math] . Утверждение очевидно для связных графов с одной и двумя вершинами. Предположим, что оно верно для графов, имеющих меньше [math]p[/math] вершин. Если же граф [math]G[/math] имеет [math]p[/math] вершин, то удаление из него любого ребра делает граф [math] G [/math] несвязным в силу единственности простых цепей; более того, получаемый граф будет иметь в точности две компоненты. По предположению индукции в каждой компоненте число вершин на единицу больше числа ребер. Таким образом, [math] p = q + 1 [/math] .
Очевидно, что если граф связен и ребер на одно меньше, чем вершин, то он ацикличен. Преположим, что у нас есть p вершин, и мы добавляем ребра. Если мы добавили ребро для получения цикла, то добавили второй путь между парой вершин, а значит нам не хватит его на добавление вершины и мы получим не связный граф, что противоречит условию.
[math]G[/math] — ациклический граф, значит каждая компонента связности графа является деревом. Так как в каждой из них вершин на единицу больше чем ребер, то [math] p = q + k [/math] , где [math]k[/math] — число компонент связности. Поскольку [math] p = q + k [/math] , то [math] k = 1 [/math] , а значит [math]G[/math] — связен. Таким образом наш граф — дерево, у которого между любой парой вершин есть единственный простой путь. Очевидно, при добавлении ребра появится второй путь между парой вершин, то есть мы получим цикл.
Поскольку [math] K_p [/math] для [math] p \gt 3 [/math] содержит простой цикл, то [math]G[/math] не может им являться. [math]G[/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 \gt 3 [/math] . [math]G[/math] — связен, а значит есть вершина смежная с [math] K_3 [/math] . Очевидно, можно добавить ребро так, что образуется более одного простого цикла. Если нельзя добавить ребра так, чтобы не нарушалось исходное условие, то граф [math]G[/math] является [math]K_p[/math] для [math] p \gt 3 [/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] можно добавить ребро так, что образуются два простых цикла. Следовательно, этим деревом является [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] является деревом по определению.
См. также
Источники информации
- Харари Ф. Теория графов. /пер. с англ. — изд. 2-е — М.: Едиториал УРСС, 2003. — 296 с. — ISBN 5-354-00301-6
- Википедия — дерево(теория графов)
Источник
Теория графов
Следующая теорема устанавливает, что два из четырех свойств – связность, ацикличность, древовидность и субцикличность – характеризуют граф как дерево.
- Для
– графа
следующие утверждения эквивалентны:
– дерево;
- Любые две несовпадающие вершины графа
соединяет единственная простая цепь;
– связный граф, и любое ребро есть мост;
– связный граф и древовидный;
– ациклический граф (лес) и древовидный;
– ациклический граф (лес) и субцикличекий;
– связный, субциклический и неполный,
;
– древовидный и субциклический, исключая
и
;
- (1->2): Если
-
Ориентированные деревья
- Ориентированным деревом (или ордеревом, или корневым деревом) называется орграф со следующими свойствами:
- существует единственный узел, в который не входит ни один другой узел. Он называется корнем ордерева;
- во все остальные узлы входит только по одному узлу;
- каждый узел достижим из корня.
- Ордерево обладает следующими свойствами:
- Концевая вершина ордерева называется листом. Путь из корня в лист называется ветвью. Длина наибольшей ветви ордерева называется высотой. Уровень узла ордерева – это расстояние отт корня до узла. Сам корень имеет уровень 0. Узлы одного уровня образуют ярус дерева.
1. ; 2. если в ордереве отменить ориентацию ребер, то получится обычное дерево; 3. для каждого узла существует единственный путь, ведущий в этот узел из корня; 4. подграф, определяемый множеством узлов, достижимых из узла
, является ордеревом с корнем
. Это ордерево называется поддеревом узла
.
Источник