322
правки
Изменения
Нет описания правки
<br>
{{Лемма
|statement =
Рассмотрим момент, когда вершина <tex>v</tex> стала черной: в этот момент существует cерый путь из <tex>u</tex> в <tex>v</tex>, а это значит, что в первый момент времени сущестовал белый путь из <tex>u</tex> в <tex>v</tex>, что и требовалось доказать.
}}
Отсюда следует, что если вершина стала была перекрашена из белой чернойв черную, то она была достижима по белому пути, и что если вершина как была, так и осталась белой, она не была достижима по белому пути, что и требовалось доказать.
}}
[[Категория: Алгоритмы и структуры данных]]
[[Категория: Обход в глубину]]