Деревья
[18/100%]Определить, является ли неориентированное дерево плоским, эйлеровым, полуэйлеровым, гамильтоновым графом? Найти его хроматическое число.
Найти формулу, связывающую количества вершин и рёбер для леса из неориентированных деревьев.
Доказать, что в неориентированном дереве , содержащем хотя бы одно ребро, количество висячих вершин равняется , где — множество невисячих вершин.
Доказать, что если в связном неориентированном графе количество вершин равно количеству рёбер, то можно выбросить одно из рёбер так, что после этого граф станет деревом.
Доказать, что в неориентированном дереве существует вершина, через которую проходят все максимальные простые пути.
Доказать лемму 76 на стр. 221.
Лемма 76: Пусть в неориентированном дереве выбрана произвольная вершина . Для каждой вершины обозначим с помощью минимальную длину пути из в . Для каждого неориентированного ребра определим его направление от к , если . Тогда полученный граф будет ориентированным деревом с корнем .
Доказать теорему 77 на стр. 223 в обратную сторону.
Теорема 77: Определения ориентированных деревьев 93 (стр. 221) и 94 (стр. 222) эквивалентны.
Определение 93 (Ориентированное дерево): ориентированный граф называется (ориентированным) деревом, если 1) в нём есть ровно один исток , он называется корнем дерева; 2) в каждую из остальных вершин входит ровно по одному ребру; 3) все вершины достижимы из корня.
Определение 94 (Ориентированное дерево, индуктивное определение): ориентированный граф является деревом в следующих случаях. 1) Любой граф с единственной вершиной и пустым множеством рёбер является деревом; вершина называется корнем этого дерева. 2) Пусть графы являются деревьями с корнями соответственно, множества вершин , , попарно не пересекаются, — новая вершина: , . Тогда следующий граф тоже будет деревом с корнем : , .
«В обратную сторону» означает: если граф удовлетворяет определению 94, то для него выполняются условия 1)-3) определения 93 — доказывается индукцией по построению из определения 94.
Пусть — это ориентированное дерево с корнем . Определим для каждой вершины подграф следующим образом: — это множество вершин, достижимых из в , а — это множество рёбер из , оба конца которых входят в . Доказать, что
является деревом с корнем ;
если две разные вершины и имеют одинаковую глубину, то деревья и не пересекаются.
Пусть — отношение частичного порядка на конечном множестве , которое обладает следующими двумя свойствами:
существует наименьший элемент ;
если элементы и множества несравнимы, , то и тоже несравнимы.
Бинарное отношение на множестве означает, что — это максимальный из элементов, меньших . Доказать, что граф — это ориентированное дерево с корнем .
Пусть — ориентированное дерево, а означает, что вершина достижима из вершины . Доказать, что — отношение нестрогого частичного порядка на , удовлетворяющее свойствам (а) и (б) из предыдущей задачи.
Пусть — это ориентированный граф с не менее чем двумя вершинами. Доказать, что граф является (ориентированным) деревом тогда и только тогда, когда в нет циклов, имеется один исток , а в каждую из остальных вершин входит ровно одно ребро.
Для множества вершин определить, сколько существует неориентированных деревьев, в которых
вершина является висячей;
обе вершины и являются висячими;
все вершины являются висячими;
ровно две вершины являются висячими.
Пусть корень ориентированного дерева имеет пять сыновей, а каждая из остальных внутренних вершин имеет три или четыре сына, при этом количество вершин с тремя сыновьями вдвое больше количества вершин с четырьмя. Сколько всего вершин и рёбер в , если известно, что количество его листьев равно ?
Пусть — лес деревьев. Доказать, что по последовательности можно однозначно восстановить лес . Доказать аналогичное утверждение для суффиксного обхода.
Доказать по индукции, что в каждом бинарном дереве количество вершин с двумя сыновьями на единицу меньше количества листьев.
Сколько листьев и вершин есть в полном бинарном дереве высоты ?
Построить дерево и ациклический ориентированный граф, представляющие следующую арифметическую формулу
Сколько вершин удалось сократить?
Построить дерево, представляющее следующую логическую формулу
Для полученного дерева построить префиксный, суффиксный и инфиксный обходы (для вершин с отрицаниями единственного сына считать правым).