228
правок
Изменения
→Реберная двусвязность
[[Файл:Rconnection.png|right|480px|thumb|]] Пусть из <tex> u </tex> в <tex> v </tex> есть два реберно не пересекающихся пути. Их объединение будет реберно-простым циклом.
Вершина <tex> w </tex> реберно двусвязна с <tex> v </tex>.
Идем по первому пути из <tex> w </tex> в <tex> v </tex> до пересечения с циклом(вершина <tex> a </tex>).Идем по второму пути из <tex> w </tex> в <tex> v </tex> до пересечения с циклом(вершина <tex> b </tex>).Забудем про дугу часть цикла <tex> (a, b) </tex> содержащую вершину <tex> v </tex>. (Возможно, <tex> a </tex> совпадает с <tex> v </tex>, или <tex> b </tex> совпадает с <tex> v </tex>, или и то и другое). Наличие двух реберно не пересекающихся путей из из <tex> u </tex> в <tex> w </tex> очевидно.
}}
