K-связность — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
(Небольшой комментарий)
(форматирование)
Строка 1: Строка 1:
 
Связность - одна из топологических характеристик графа
 
Связность - одна из топологических характеристик графа
{{Определение
 
|definition=
 
'''Числом вершинной связности''' <math>\kappa(G)</math> называется наименьшее число вершин, которое надо удалить, чтобы граф потерял связность.
 
}}
 
 
{{Определение
 
|definition=
 
'''Числом реберной связности''' <math>\lambda(G)</math> называется наименьшее число ребер, которое надо удалить, чтобы граф потерял связность.
 
}}
 
  
 
{{Определение
 
{{Определение
 
|definition=
 
|definition=
Граф называется k-связным, если <math>\kappa(G) \ge k</math>
+
Граф называется <tex>k</tex>-связным, если <tex>\kappa(G) \ge k</tex>
 
}}
 
}}
  
 
{{Определение
 
{{Определение
 
|definition=
 
|definition=
Граф называется k-реберно связным, если <math>\lambda(G) \ge k</math>
+
Граф называется <tex>k</tex>-реберно связным, если <tex>\lambda(G) \ge k</tex>
 
}}
 
}}
  
 
{{Определение
 
{{Определение
 
|definition=
 
|definition=
Множество S вершин, ребер или вершин и ребер разделяет u и v, если u и v принадлежат различным [[компонентам графа]] <math>G-S</math>
+
Множество <tex>S</tex> вершин, ребер или вершин и ребер разделяет <tex>u</tex> и <tex>v</tex>, если <tex>u</tex> и <tex>v</tex> принадлежат различным [[Отношение_связности,_компоненты_связности| компонентам графа]] <tex>G-S</tex>
 
}}
 
}}
  
Многие утверждения для связных графов можно обобщить для случая k-связности, однако аналог тривиального утверждения часто оказывается содержательным. Простейший пример - [[Теорема Менгера]], утверждение которой для <math>k=1</math> тривиально.
+
Многие утверждения для связных графов можно обобщить для случая <tex>k</tex>-связности, однако аналог тривиального утверждения часто оказывается содержательным. Простейший пример - [[Теорема Менгера]], утверждение которой для <math>k=1</math> тривиально.

Версия 23:25, 13 октября 2010

Связность - одна из топологических характеристик графа


Определение:
Граф называется [math]k[/math]-связным, если [math]\kappa(G) \ge k[/math]


Определение:
Граф называется [math]k[/math]-реберно связным, если [math]\lambda(G) \ge k[/math]


Определение:
Множество [math]S[/math] вершин, ребер или вершин и ребер разделяет [math]u[/math] и [math]v[/math], если [math]u[/math] и [math]v[/math] принадлежат различным компонентам графа [math]G-S[/math]


Многие утверждения для связных графов можно обобщить для случая [math]k[/math]-связности, однако аналог тривиального утверждения часто оказывается содержательным. Простейший пример - Теорема Менгера, утверждение которой для [math]k=1[/math] тривиально.