Изменения

Перейти к: навигация, поиск

Дерево, эквивалентные определения

874 байта добавлено, 20:58, 24 ноября 2011
Доказательство эквивалентности
* <tex> 1 \Rightarrow 2 </tex> Граф связен, значит любые две вершнины соединены путем, ацикличен, значит путь единственен, а так же прост, так как никакой путь не может зайти в одну вершину два раза, потому что это противоречит ацикличности.
* <tex> 2 \Rightarrow 3 </tex> Очевидно, граф связен. Докажем по индукции, соотношение <tex>p = q + 1</tex>. Утверждение очевидно для связных графов с одной и двумя вершинами. Предположим, что оно верно для графов, имеющих меньше <tex>p</tex> вершин. Если же граф <tex>G</tex> имеет <tex>p</tex> вершин, то удаление из него любого ребра делает граф <tex> G </tex> несвязным в силу единственности простых цепей; более того, получаемый граф будет иметь в точност две компоненты. По предположению индукции в каждой компоненте число вершин на еденицу больше числа ребер. Таким образом, <tex> q = p - 1 </tex> или <tex> p = q + 1 </tex>.
* <tex> 3 \Rightarrow 4 </tex>
Анонимный участник

Навигация