228
правок
Изменения
→Реберная двусвязность
''Доказательство:''
[[Файл:RconnectionGumno.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> с циклом.
