Изменения

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

Отношение рёберной двусвязности

42 байта убрано, 06:22, 28 октября 2011
Реберная двусвязность
Отношение реберной двусвязности является отношением эквивалентности на вершинах.
|proof=
[[Файл:Rcon1.png|right|360px|thumb|]]
Пусть <tex>R</tex> - отношение реберной двусвязности.
''Доказательство:''
 [[Файл:Rcon2.png|right|360px|thumb|]] Пусть из <tex> u </tex> в <tex> v </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> u </tex> и <tex> w </tex> реберно двусвязны.
[[Файл:Rcon2.png|center|600px|thumb|]]
}}
228
правок

Навигация