228
правок
Изменения
→Реберная двусвязность
[[Файл:Gumno.png|right|480px|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> b </tex> - первое пересечение <tex> P_2 </tex> с циклом.Рассматриваем два пути.Первый - <tex> wa </tex> + часть цикла <tex> C </tex> <tex> au </tex> по часовой стрелке.Второй - <tex> wb </tex> + часть цикла <tex> C </tex> <tex> bu </tex> против часовой стрелке.
}}
