228
правок
Изменения
→Реберная двусвязность
'''Транзитивность:''' <tex>(u, v)\in R </tex> и <tex>(v, w)\in R \Rightarrow (u, w)\in R. </tex>
''Доказательство:'' [[Файл: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>).
