Мост, эквивалентные определения

Пусть [math] G [/math] - связный граф.

Определение:

(1) Мост графа [math]G[/math] - ребро, соединяющее как минимум две компоненты реберной двусвязности [math]G[/math].

Определение:

(2) Мост графа [math]G[/math] - ребро, при удалении которого граф [math]G[/math] становится несвязным.

Определение:

(3) Ребро [math]x[/math] является мостом графа [math]G[/math], если в [math]G[/math] существуют такие вершины [math]u[/math] и [math]v[/math], что любой простой путь между этими вершинами проходит через ребро [math]x.[/math]

Определение:

(4) Ребро [math]x[/math] является мостом графа [math]G[/math], если существует разбиение множества вершин [math]V[/math] на такие множества [math]U[/math] и [math]W[/math], что [math]\forall u \in U[/math] и [math]\forall w \in W[/math] ребро [math]x[/math] принадлежит любому простому пути [math]u \rightsquigarrow w[/math]

Теорема:

Определения (1), (2), (3) и (4) эквивалентны.

Доказательство:

[math]\triangleright[/math]

[math](1) \Rightarrow (2)[/math] Пусть ребро [math]x[/math] соединяет вершины [math]a[/math] и [math]b[/math]. Пусть граф [math] G - {x} [/math] - связный. Тогда между вершинами [math]a[/math] и [math]b[/math] существует еще один путь, т.е. между вершинами [math]a[/math] и [math]b[/math] существуют два реберно неперескающихся пути. Но тогда ребро [math]x[/math] не является мостом графа [math]G[/math]. Противоречие.

[math]\triangleleft[/math]