171
правка
Изменения
Нет описания правки
{{Теорема
|statement=
Ребро <tex>uv</tex> ведет из одной компоненты реберной двусвязности в другую, если оно является частью дерева <tex>dfs</tex>, и либо <tex>u</tex> - предок <tex>v</tex> и <tex>return(v) = enter(v)</tex>, либо наоборот<tex>v</tex> - предок <tex>u</tex> и <tex>return(u) = enter(u)</tex>.
|proof=
Если ребро <tex>uv</tex> - обратное, образуется цикл, содержащий <tex>uv</tex>, поэтому <tex>uv</tex> не может являться мостом.
