Изменения

Перейти к: навигация, поиск

K-связность

232 байта убрано, 03:05, 21 октября 2018
м
Нет описания правки
Связность <tex>k</tex>- cвязность {{---}} одна из топологических характеристик графа.
{{Определение
|id=def_1
|definition=
Граф называется '''[[Вершинная, реберная связность, связь между ними и минимальной степенью вершины|вершинно <tex>k</tex> - связным]]''', если удаление любых <tex> (k - 1) </tex> вершин оставляет граф связным.
}}
[[Вершинная, реберная связность, связь между ними и минимальной степенью вершины|Вершинной связностью ]] графа называется<tex> \varkappa (G) = \max \{ k | \mid G </tex> вершинно <tex> k </tex> - связен <tex> \} </tex>. Полный граф , при этом для полного графа полагаем <tex> \varkappa (K_n) = n - 1 </tex>.
{{Определение
|id=def_2
|definition=
Граф называется ''' [[Вершинная, реберная связность, связь между ними и минимальной степенью вершины|реберно <tex> l </tex> - связным]]''', если удаление любых <tex> (l - 1) </tex> ребер оставляет граф связным.
}}
[[Вершинная, реберная связность, связь между ними и минимальной степенью вершины|Реберной связностью ]] графа называется <tex> \lambda(G) = \max \{ l | \mid G </tex> реберно <tex> l </tex> - связен <tex> \} </tex> При , для тривиального графа считаем <tex> n = 1, \lambda (K_1) = 0 </tex> .   Если граф <tex>G </tex> имеет <tex>n </tex> вершин и <tex> \sigma (G) \ge \left [ \frac{n}{2} \right ] \quad </tex>, то <tex> \lambda (G) = \sigma (G) </tex>, где <tex> \sigma(G) </tex> - минимальная степень вершин графа <tex> G </tex>
Рассмотрим граф <tex> G </tex> .==k-связность и непересекающиеся пути между вершинами==
Пусть Рассмотрим граф <tex> S G </tex> - множество вершини вершины <tex> u </реберtex> и <tex> v </вершин и реберtex>.
Рассмотрим вершины Пусть <tex> u S </tex> {{---}} множество вершин/ребер/вершин и <tex> v </tex>ребер.
<tex> S </tex> разделяет <tex> u </tex> и <tex> v </tex>, если <tex> u </tex> и <tex> v </tex> принадлежат разным компонентам связности графа <tex> G \smallsetminus setminus S </tex>, который получается удалением элементов множества <tex> S </tex> из <tex> G </tex>.
Из теоремы [[Теорема Менгера, альтернативное доказательство|теоремы Менгера для вершинной <tex>k</tex>-связности]] имеем, что наименьшее число вершин, разделяющих две несмежные вершины <tex> u </tex> и <tex> v </tex>, равно наибольшему числу простых путей, не имеющих общих вершин, соединяющих <tex> u </tex> и <tex> v </tex>.
Справедливы следующие утверждения: * Наименьшее число вершин, разделяющих две несмежные вершины <tex> u </tex> и <tex> v </tex>, равно наибольшему числу простых путей, не имеющих общих вершин, соединяющих <tex> u </tex> и <tex> v </tex>. (См.[[Теорема Менгера, альтернативное доказательство|''Теорема Менгера для вершинной <tex>k - </tex> связности'']])  ТогдаОтсюда непосредственно следует:
{{Утверждение
|statement=
Граф <tex> G </tex> является '''вершинно <tex>k</tex> - связным ''' <tex>\Leftrightarrow </tex> любая пара его вершин соединена по крайней мере <tex>k</tex> вершинно непересекающимися путями.
}}
Подобные теоремы справедливы Подобная теорема справедлива и для реберной связности. То естьиз [[Теорема Менгера, альтернативное доказательство|''теоремы Менгера для реберной <tex>k</tex>-связности'']] следует:
* <tex>\lambda(G) = k</tex> <tex>\Leftrightarrow</tex>  для всех пар вершин <tex> u </tex> и <tex> v </tex> существует <tex>k</tex> реберно непересекающихся путей из <tex> u </tex> в <tex> v </tex>. (См.[[Теорема Менгера, альтернативное доказательство|''Теорема Менгера для реберной <tex>k - </tex> связности'']])
 
 
Тогда:
{{Утверждение
|statement=
Граф  <tex> G </tex> является '''реберно <tex> l </tex> - связным''' <tex>\Leftrightarrow </tex> любая пара его вершин соединена по крайней мере <tex> l </tex> - реберно непересекающимися путями.
}}
==Смотри См. также==
* [[Теорема Менгера]]
* [[Теорема Менгера, альтернативное доказательство]]
 ==ЛитератураИсточники информации==
* Харари Ф. Теория графов.[1] — М.: Мир, 1973. (Изд. 3, М.: КомКнига, 2006. — 296 с.)
 
* Форд Л., Фалкерсон Д., Потоки в сетях, пер. с англ., М., 1966
[[Категория:Алгоритмы и структуры данных]]
[[Категория:Связность в графах]]
{{Заголовок со строчной буквы}}
200
правок

Навигация