Изменения
Нет описания правки
{{Определение
|definition=
Пусть [[Основные определения теории графов|граф ]] <tex>G</tex> [[Отношение реберной двусвязности|реберно двусвязен]]. Обозначим <tex>A_1...A_n</tex> - компоненты реберной двусвязности, а <tex>a_1...a_m</tex> - [[Мост, эквивалентные определения|мосты]] <tex>G</tex>.
Построим граф <tex>T</tex>, в котором вершинами будут <tex>A_1...A_n</tex>, а ребрами <tex>a_1...a_m</tex>, соединяющими соответствующие вершины из соответствующих компонент реберной двусвязности. Полученный граф <tex>T</tex> называют '''графом компонент реберной двусвязности''' графа <tex>G</tex>.
}}
{{Лемма
|statement=
В определениях, приведенных выше, <tex>T</tex> - [[Дерево, эквивалентные определения|дерево]].
|proof=
