Изменения

Перейти к: навигация, поиск
Доказательство корректности алгоритма
<tex>\Rightarrow</tex>
Если вершины <tex>s</tex> и <tex>t</tex> были взаимно достижимы в графе <tex>G</tex>, то во время выполнения третьего шага на третьем этапе будет найден путь из одной вершины в другую, это означает, что по окончанию алгоритма обе вершины лежат в одном поддереве по свойству обхода в глубину. Следовательно они будут находится в одной компоненте сильной связности.
<tex>\Leftarrow</tex>
148
правок

Навигация