39
правок
Изменения
м
→Базовые определения и теоремы
{{Определение
|definition=
Пусть множество вершин графа <tex> G </tex> разбито на взаимно дополнительные подмножества <tex> X </tex> и <tex> Y </tex>. Через <tex> J(X, Y) </tex> обозначим множество всех ребер графа <tex> G </tex>, у каждого из которых один конец лежит в <tex> X </tex>, а другой {{---}} в <tex> Y </tex>. <br>
Если граф <tex> G </tex> и порожденные подграфы <tex> G[X] </tex> и <tex> G[Y] </tex> связны, то множество <tex> J(X, Y) </tex> называется '''бондом''' графа <tex> G </tex>. Подграфы <tex> G[X] </tex> и <tex> G[Y] </tex> называются '''торцевыми графами''' этого бонда. Из приведенного определения следует, что бонд <tex> J(X, Y) </tex> должен быть непустым множеством. Если граф <tex> G </tex> несвязен, то его '''бонд''' определим как бонд какой-либо его компоненты. Заметим, что всякий перешеек графа образует однореберный бонд. Торцевые графы перешейка являются торцевыми графами соответствующего бонда.
}}
