322
правки
Изменения
Нет описания правки
== Реберная двусвязность ==
{{Определение
''Доказательство:''
Пусть из <tex> u </tex> в <tex> v </tex> есть два реберно не пересекающихся пути. Назовем эти пути <tex> P_1 </tex> и <tex> P_2 </tex>. Их объединение будет реберно-простым циклом. Обозначим его за <tex> C </tex>. Вершина <tex> w </tex> реберно двусвязна с <tex> v </tex>. Назовем эти пути <tex> P_1 </tex> и <tex> P_2 </tex>.
Пусть вершина <tex> a </tex> - пересечение <tex> P_1 </tex> с <tex> C </tex>.
Пусть вершина <tex> b </tex> - пересечение <tex> P_2 </tex> с <tex> C </tex>.
Наличие двух таких реберно не пересекающихся путей очевидно, а значит <tex> u </tex> и <tex> w </tex> реберно двусвязны.
[[Файл:Rcon2.png|centerleft|600px|thumb|]]
}}
[[Отношение вершинной двусвязности]]
==ИсточникиСм. также==[http://rain.ifmo.ru/cat/view.php/vis/graph-general/biconnected-components-2005 Визуализатор - визуализатор ::компоненты связностидвусвязности]
== Литература ==
* Харари Фрэнк '''Теория графов''' = Graph theory/Пер. с англ. и предисл. В. П. Козырева. Под ред. Г.П.Гаврилова. Изд. 2-е. — М.: Едиториал УРСС, 2003. — 60 с. — ISBN 5-354-00301-6
