Теорема Менгера — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
(Формулировка теоремы)
 
(Фикс условий)
Строка 1: Строка 1:
 
{{Теорема
 
{{Теорема
 
|statement=
 
|statement=
Пусть G - конечный, неориентированный граф, <math>\kappa(G) = k</math>, а x, y - вершины G. Тогда существует k вершинно непересекающихся путей из x в y
+
Пусть G - конечный, неориентированный граф, <math>\kappa(G) = k</math> <math>\Leftrightarrow</math> для всех пар вершин <math>x, y \backepsilon G</math> существует k вершинно непересекающихся путей из x в y
 
|proof=
 
|proof=
 +
 
}}
 
}}
  
 
{{Теорема
 
{{Теорема
 
|statement=
 
|statement=
Пусть G - конечный, неориентированный граф, <math>\lambda(G) = k</math>, а x, y - вершины G. Тогда существует k реберно непересекающихся путей из x в y
+
Пусть G - конечный, неориентированный граф, <math>\lambda(G) = k</math> <math>\Leftrightarrow</math>  для всех пар вершин <math>x, y \backepsilon G</math> существует k реберно непересекающихся путей из x в y
 
|proof=
 
|proof=
 
}}
 
}}

Версия 07:39, 10 октября 2010

Теорема:
Пусть G - конечный, неориентированный граф, [math]\kappa(G) = k[/math] [math]\Leftrightarrow[/math] для всех пар вершин [math]x, y \backepsilon G[/math] существует k вершинно непересекающихся путей из x в y
Теорема:
Пусть G - конечный, неориентированный граф, [math]\lambda(G) = k[/math] [math]\Leftrightarrow[/math] для всех пар вершин [math]x, y \backepsilon G[/math] существует k реберно непересекающихся путей из x в y