Студопедия

КАТЕГОРИИ:


Архитектура-(3434)Астрономия-(809)Биология-(7483)Биотехнологии-(1457)Военное дело-(14632)Высокие технологии-(1363)География-(913)Геология-(1438)Государство-(451)Демография-(1065)Дом-(47672)Журналистика и СМИ-(912)Изобретательство-(14524)Иностранные языки-(4268)Информатика-(17799)Искусство-(1338)История-(13644)Компьютеры-(11121)Косметика-(55)Кулинария-(373)Культура-(8427)Лингвистика-(374)Литература-(1642)Маркетинг-(23702)Математика-(16968)Машиностроение-(1700)Медицина-(12668)Менеджмент-(24684)Механика-(15423)Науковедение-(506)Образование-(11852)Охрана труда-(3308)Педагогика-(5571)Полиграфия-(1312)Политика-(7869)Право-(5454)Приборостроение-(1369)Программирование-(2801)Производство-(97182)Промышленность-(8706)Психология-(18388)Религия-(3217)Связь-(10668)Сельское хозяйство-(299)Социология-(6455)Спорт-(42831)Строительство-(4793)Торговля-(5050)Транспорт-(2929)Туризм-(1568)Физика-(3942)Философия-(17015)Финансы-(26596)Химия-(22929)Экология-(12095)Экономика-(9961)Электроника-(8441)Электротехника-(4623)Энергетика-(12629)Юриспруденция-(1492)Ядерная техника-(1748)

Деревья. Их свойства




Определение 5.1. Неориентированным деревом называют ациклический связный граф. Ориентированным деревом называют ориентированный бесконтурный граф, у которого полустепень захода каждой вершины не больше 1 и существует ровно одна вершина, называемая корнем ориентированного дерева, полустепень захода которой равна 0. Граф, компоненты связности которого представляют собой деревья, называется лесом.

Определение 5.2. Вершина vi ориентированного дерева называется потомком вершины vj, если существует путь ненулевой длины из vj в vi. В этом же случае вершина vj называется предком вершины vi. Если длина пути из vj в vi равна 1, то vi называется сыном vj, а vj отцом vi. Вершина, не имеющая потомков, называется листом.

Теорема 5.1 (первый критерий дерева). Неориентированный граф G является деревом тогда и только тогда, когда любые две его вершины соединяются единственной цепью.

Доказательство.

Необходимость. Нам дано, что граф является деревом. Нужно доказать, что любые две его вершины соединяются единственной цепью.

Для доказательства используем тот факт, что прямая теорема и ее контрапозиция эквивалентны (равносильны) в логическом смысле. Докажем контрапозицию. Контрапозиция формулируется следующим образом: Если в графе некоторые две вершины соединяются разными цепями, то этот граф не является деревом. Предположим, что для некоторых вершин a и b графа существуют две разных цепи, соединяющие a и b, например, P: a,v1,v2v3, …,v n-1,b и P’: a,v1’,v2 ‘,v3’, …,v m-1’,b. Поскольку начальные вершины этих цепей совпадают и совпадают также их конечные вершины, а пути разные, то должна существовать вершина, в которой эти цепи расходятся (пусть это будет вершина vi= vi) и вершина, в которой пути должны сойтись (пусть это будет вершина vj= vк). Тогда С: vi,v i+1,vi+2,…,vj-1,vj,vк-1’,…,vi-1’, vi - некоторый цикл в исходном графе и, следовательно, граф не является деревом. Контрапозиция, а вместе с ней и необходимость критерия, доказана.

Достаточность. Нам дано, что любые две вершины графа соединяются единственной цепью. Нужно доказать, что граф является деревом.

Снова докажем контрапозицию, которая в данном случае формулируется следующим образом: Если граф не является деревом, то в нем существуют, по крайней мере, две вершины, которые недостижимы друг из друга или соединяются разными цепями.

Предположим, что граф деревом не является. Тогда либо этот граф не является связным, либо в нем существуют циклы. Если граф не является связным, то в нем существуют, по крайней мере, две вершины, недостижимые друг из друга и в этом случае контрапозиция доказана. Пусть в графе существуют циклы. Зафиксируем один из них С: a,v1,v2v3, …,v n-1, a. Тогда Р1: v2v3, …,v n-1, a и Р2:v2 ,v1, a - две разные цепи, соединяющие, например. вершины v2 и a. И в этом случае контрапозиция доказана, а, значит, доказательство достаточности критерия завершено.

Пример 5.1. Пусть нам задан граф G:

 
v1v2 v3

G: v4v5v6 v7

v8v9v10

Нетрудно видеть, что этот граф в силу определения или первого критерия является деревом. Предположим, что дерево подвижно в своих вершинах и подвесим его, например, за вершину v5 так, что остальная часть дерева повиснет ниже этой вершины. Получим то же дерево G в виде

v5

 


G: v4v9v6

v1 v8v2v7

v10v3

Такая форма представления деревьев является стандартной. Если рассмотреть ориентированное дерево G’ (выбирая в качестве корня вершину v5), для которого предыдущее дерево является ассоциированным графом, получим:

v5

 


G’: v4v9v6

v1 v8v2v7

v10v3

Такое ориентированное дерево называется порожденным деревом G. В дереве G’ вершина v5 – корень дерева, вершины v1,v8,v9, v2, v10, v3 – листья. По аналогии с ориентированными деревьями понятия корневой вершины и листьев используется и для неориентированных деревьев. Таким образом, любое дерево рисуется от корня вниз. При этом вершины дерева располагаются по ярусам (уровням), номера которых равны длине пути от корня к вершинам данного яруса. В последнем примере на нулевом ярусе (уровне) находится корень дерева (вершина v5), на первом ярусе – вершины v4, v9, v6, на втором ярусе – вершины v1, v8, v2, v7, на третьем – вершины v10, v3. В ориентированном дереве направления ребер всегда выбираются от вершин некоторого уровня к вершинам следующего по номеру уровня.

Определение 5.3. Длина самого длинного пути из корня дерева к его листьям называется высотой дерева.

В рассмотренном выше примере 5.1 высота дерева (ориентированного или нет) равна 3.

Теорема 5.2 (второй критерий дерева). Связный граф G является деревом тогда и только тогда, когда в нем количество вершин ровно на единицу больше количества ребер.




Поделиться с друзьями:


Дата добавления: 2014-12-16; Просмотров: 797; Нарушение авторских прав?; Мы поможем в написании вашей работы!


Нам важно ваше мнение! Был ли полезен опубликованный материал? Да | Нет



studopedia.su - Студопедия (2013 - 2024) год. Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав! Последнее добавление




Генерация страницы за: 0.009 сек.