228
правок
Изменения
→Реберная двусвязность
Идем по первому пути из <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> очевидно. Это пути <tex> wau </tex> и <tex> wbu </tex> соответственно.Важно, что если <tex> a </tex>, <tex> b </tex> и <tex> v </tex> совпадают, то пути все равно остаются реберно не пересекающимися.
}}
