137
правок
Изменения
Нет описания правки
<center> <tex> dist_{G'}(y, u) = dist_G(y, u) \geqslant g - 1 > dist_G(y, x) </tex> </center>
Значит, <tex>P</tex> проходит по ребру <tex>zx</tex>. Следовательно, <tex>P</tex> содержит путь по рёбрам графа <tex>G</tex> от <tex>y </tex> до одной из вершин <tex>x</tex> или <tex>z</tex> и ребро <tex>xz</tex>. Тогда
<center> <tex> dist_{G'}(y, u) = \min(dist_G(y, x), dist_G(y, z)) + 1 > dist_G(y, x) </tex>, </center>
