Изменения

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

Граф компонент рёберной двусвязности

3 байта добавлено, 22:39, 10 октября 2010
м
Нет описания правки
Пусть какие-то две последовательные вершины <math>A_k</math> и <math>A_l</math> принадлежат какому-то циклу. Тогда ребро <math>(A_k, A_l)</math> принадлежит этому же циклу.
Следовательно, <math>\exist</math> два реберно неперескающихся не пересекающихся пути между вершинами <math>A_k</math> и <math>A_l</math>, т.е. <math>(A_k, A_l)</math> - не является мостом. Но <math>(A_k, A_l)</math> - мост по условию. Получили противоречие.
<math>T</math> - дерево.
}}
== См. также ==
[[Граф блоков-точек сочленения]]
205
правок

Навигация