|id = tree
|definition =
'''Диаметр дерева''' (англ. ''diameter of a tree'') — максимальная длина (в рёбрах) кратчайшего пути в дереве между любыми двумя вершинами.
}}
=== Алгоритм ===
* Возьмём любую вершину <tex> v \in V </tex> и найдём расстояния до всех других вершин. <tex>d[i] = \min\limits_{u, i \in V} dist(uv, i)</tex>
* Возьмём вершину <tex> u \in V </tex> такую, что <tex>d[u] \geqslant d[t]</tex> для любого <tex>t</tex>. Снова найдём расстояние от <tex>u</tex> до всех остальных вершин. Самое большое расстояние — диаметр дерева.
=== Реализация ===
<span style="color:green">//граф g представлен списком смежности</span> '''int''' diameterTree(graph'''list<nodelist<int>> g) //''тип node содержит поле number, в котором хранится номер вершины в графе'' g):
v = u = w = 0
d = bfs(g, v)
|id = tree
|definition =
'''Эксцентриситет вершины <tex>e(v)</tex>''' (англ. ''eccentricity of a vertex'') — <tex>\max\limits_{u, v \in V} dist(v, u)</tex>, где <tex>V</tex> — множество вершин связного графа <tex>G</tex>.
}}
{{Определение
|id = tree
|definition =
'''Радиус <tex>r(G)</tex>''' (англ. ''radius'') — наименьший из эксцентриситетов вершин графа <tex>G</tex>.
}}
{{Определение
|id = tree
|definition =
'''Центральная вершина''' (англ. ''central vertex'') — вершина графа <tex>G</tex>, такая что <tex>e(v) = r(G)</tex>
}}
{{Определение
|id = tree
|definition =
'''Центр графа <tex>G</tex>''' (англ. ''center of a graph'') — множество всех центральных вершин графа <tex>G</tex>.
}}
[[Файл:Центральные_вершины.png|300px|thumb|left|Примеры деревьев с одной и двумя центральными вершинами]]
[[Файл:Эксцентриситеты.png|400px|thumb|center|Графы, у которых показан эксцентриситет каждой вершины]]
{{Теорема
|statement=
Каждое дерево имеет центр, состоящий из одной вершины или из двух смежных вершин.
|proof=
Утверждение очевидно для деревьев с одной и двумя вершинами. Покажем, что у любого другого дерева <tex>T</tex> те же центральные вершины, что и у дерева <tex>T'</tex>, полученного из <tex>T</tex> удалением всех его висячих вершин. Расстояние от данной вершины дерева <tex>u</tex> до любой другой вершины <tex>v</tex> достигает наибольшего значения, когда <tex>v</tex> – висячая вершина. Таким образом, эксцентриситет каждой вершины дерева <tex>T'</tex> точно на единицу меньше эксцентриситета этой же вершины в дереве <tex>T</tex>, следовательно, центры этих деревьев совпадают. Продолжим процесс удаления и получим требуемое.
}}
=== Алгоритм ===
==== Алгоритм для дерева за O(n) ====
Найдём центр дерева, действуя как в доказанной выше теореме.
Будем удалять {{Теорема|statement=Каждое дерево имеет центр, состоящий из одной вершины или из двух смежных вершин. |proof=Утверждение очевидно для деревьев с одной и двумя вершинами. Покажем, что у любого другого дерева <tex>T</tex> те же центральные вершины, что и у дерева <tex>T'</tex>, полученного из <tex>T</tex> удалением всех его висячих вершин. Расстояние от данной вершины дерева <tex>u</tex> до любой другой вершины <tex>v</tex> достигает наибольшего значения, когда <tex>v</tex> – висячая вершина. Таким образом, эксцентриситет каждой вершины дерева <tex>T'</tex> точно на единицу меньше эксцентриситета этой же вершины в дереве <tex>T</tex>, следовательно, центры этих деревьев совпадают. Продолжим процесс удаления и получим требуемое.}} Собственно, алгоритм нахождения центра описан в доказательстве теоремы. * Пройдёмся по дереву [[Обход_в_глубину,_цвета_вершин|обходом в глубину]] и пометим все висячие вершины (или "обрезать числом <tex>0</tex>.* Обрежем помеченные вершины.* Образовавшиеся листья")пометим числом <tex>1</tex> и тоже обрежем.* Будем повторять, пока на текущей глубине не окажется не более двух листьев, и при этом в дереве будет тоже не останется одна или две вершины — они и будут центрамиболее двух листьев. Оставшиеся листья являются центром дерева. Для того, чтобы алгоритм работал за <tex>O(n)</tex>, нужно обрабатывать листья по одному, поддерживая в [[Очередь|очереди]] два последовательных по глубине слоя.
== См. также ==
