Изменения
Нет описания правки
{{Утверждение
|statement =
<tex>ret(v)</tex> = <tex>\min(</tex> <br>
* <tex>enter(v) </tex> <br>
* <tex>enter(p)</tex>, <tex>(v, p)</tex> — обратное ребро <br>
'''for''' всех <tex>u</tex> смежных с <tex>v</tex>
''if'' <tex>(v, u)</tex> — обратное ребро
<tex>ret[v] \leftarrow \min(ret[v], enter[u])</tex>
'''if''' вершина <tex>u</tex> — белая
'''dfs'''(u)
<tex> ret[v] \leftarrow \min(ret[v], ret[u]) </tex>
'''if''' <tex>ret[u] > enter[v]</tex>
ребро <tex>(v, u)</tex> — мост