228
правок
Изменения
→Реберная двусвязность
''Доказательство:''
Пусть из <tex> u w </tex> в <tex> v </tex> есть два реберно не пересекающихся пути. Назовем эти пути <tex> P_1 </tex> и <tex> P_2 </tex>. Их объединение Объединение будет реберно-простым циклом. Обозначим его за <tex> C </tex>.
Вершина <tex> w </tex> реберно двусвязна с <tex> v </tex>.
Пусть вершины <tex> a </tex> и <tex> b </tex> - первые пересечения <tex> P_1 </tex> и <tex> P_2 </tex> с <tex> C </tex> соответственно.
