84
правки
Изменения
Нет описания правки
*если путь <tex> e - d - f </tex> <math>\in</math> <tex> C </tex>, удалим этот путь и добавим любой другой из <tex> e </tex> в <tex> f </tex> в <tex> G' </tex>, не содержащий <tex>r</tex>.
<tex>C'</tex> это набор циклов (так как <tex>C'</tex> получен из <tex>C</tex> путём преобразования некоторых путей) и содержит <tex>r</tex>. Из этого следует, что каждое ребро графа <tex>G'</tex> лежит на некотором цикле, то есть граф не содержит мостов. Значит <tex>G'</tex> двусвязен.
}}
