Связность графов

Связность графов

Содержание

Связность

Граф G называется связным, если для любой пары различных вершин этого графа существует цепь, соединяющая эти вершины.

Если для графа G можно указать пару различных вершин, которые не соединяются цепью (простой цепью), то граф называется несвязным.

Примеры

Простейший пример несвязного графа — граф, содержащий изолированную вершину, простейший пример связного графа — любой полный граф Кn.

Теорема несвязности графов

Граф является несвязным тогда и только тогда, когда множество его вершин V можно разбить на два непустых подмножества V1 и V2 так, чтобы любое ребро графа соединяло вершины из одного подмножества.


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

Пусть G(V,E) — несвязный граф. Зафиксируем некоторую вершину v графа и обозначим через V1 множество, состоящее из вершины v и всех тех вершин из V, которые соединены цепями с вершиной v. Множество V1 не пусто (оно содержит, но крайней мере, вершину v) и не совпадает с множеством V (при V1=V граф G(V,E)- связный, т.к. между его любыми двумя различными вершинами существует цепь, проходящая через v). Рассмотрим дополнение V2=V \ V1.

Множество V2— не пусто, и никакое ребро графа G(V,E) не соединяет ни одну вершину из V1 ни с одной вершиной из V2. Поэтому построенные множества V1 и V2 образуют искомое разбиение множества V.

Обратно, пусть существует разбиение V1 V2, множества V, удовлетворяющее условию теоремы.

Докажем, что тогда граф G(V,E) несвязный. Возьмем произвольную пару вершин v V1 и w V2 , из разных подмножеств и предположим, что существует цепь, соединяющая эти вершины. Такая цепь включает ребро, концы которого принадлежат разным подмножествам, что противоречит условию. Теорема доказана.


Вершина w графа называется достижимой из вершины v, если либо w=v, либо существует цепь с началом v и концом w.

Следствие из теоремы


Для того чтобы граф G был связным необходимо и достаточно, чтобы в нем из любой фиксированной вершины были достижимы все остальные вершины этого графа.

Свойства графов


Свойства графов:

1°.Каждая вершина графа входит в одну и только в одну компоненту связности.

2°.Любой конечный граф имеет конечное число компонент связности.

3°.Граф, состоящий из единственной компоненты связности, является связным.

4°.Каждая компонента связности графа является его подграфом.

5°.Для любого графа либо он сам, либо его дополнение является связным.

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

Докажем свойства 4° и 5°.


4°. Пусть G1(V1,E1) — некоторая компонента связности графа G(V,E) . Рассмотрим множество вершин V2=V \V1 графа G, не входящих в компоненту G1(V1,E1) . Если удалить каждую вершину из V2 вместе со всеми инцидентными ей ребрами, получим подграф графа G(V,E) совпадающий с компонентой связности G1(V1,E1).

5°. Пусть G(V,E) некоторый граф порядка n, а G=(V,E) - его дополнение до графа Кn. Когда граф G связен, утверждение очевидно. Пусть G несвязный граф G1(V1,E1) — одна из его компонент связности и V2=V \V1 . Тогда для любых вершин v V1 , w V2 -, в дополнении G существует ребро vw E . Значит, любая вершина из V2 соединена с любой вершиной из V1 ребром, принадлежащим E , а любые две вершины из V1 соединены цепью длины 2, оба звена которой также лежат в E . Поэтому граф G связен.


Wikimedia Foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Полезное


Смотреть что такое "Связность графов" в других словарях:

  • ГРАФОВ ТЕОРИЯ — область дискретной математики, особенностью к рой является геометрич. подход к изучению объектов. Основной объект Г. т. граф и его обобщения. Первые задачи Г. т. были связаны с решением математических развлекательных задач и головоломок (задача о …   Математическая энциклопедия

  • Связность графа — Связный граф граф, содержащий ровно одну компоненту связности. Это означает, что между любой парой вершин этого графа существует по крайней мере один путь. Содержание 1 Примеры применения 2 Связность для орграфов …   Википедия

  • Теория графов — Граф с шестью вершинами и семью рёбрами Теория графов  раздел дискретной математики, изучающий свойства графов. В общем смысле граф представляется как множество вершин (узлов), соединённых рёбрами. В строго …   Википедия

  • Глоссарий теории графов — Эта страница глоссарий. См. также основную статью: Теория графов Здесь собраны определения терминов из теории графов. Курсивом выделены ссылки на термины в этом словаре (на этой странице) …   Википедия

  • Словарь терминов теории графов — Здесь собраны определения терминов из теории графов. Курсивом выделены ссылки на термины в этом словаре (на этой странице). # А Б В Г Д Е Ё Ж З И К Л М Н О П Р С …   Википедия

  • Дуга (теория графов) — Здесь собраны определения терминов из теории графов. Курсивом выделены ссылки на термины в этом словаре (на этой странице). # А Б В Г Д Е Ё Ж З И Й К Л М Н О П Р С Т У Ф …   Википедия

  • Цикл (теория графов) — Здесь собраны определения терминов из теории графов. Курсивом выделены ссылки на термины в этом словаре (на этой странице). # А Б В Г Д Е Ё Ж З И Й К Л М Н О П Р С Т У Ф …   Википедия

  • теория графов — — [Я.Н.Лугинский, М.С.Фези Жилинская, Ю.С.Кабиров. Англо русский словарь по электротехнике и электроэнергетике, Москва, 1999 г.] теория графов Математическая теория, содержание которой формулируется двояко, в зависимости от трактовки ее… …   Справочник технического переводчика

  • Теория графов — [graph theo­ry] математическая теория, содержание которой формулируется двояко, в зависимости от трактовки ее исходного понятия граф: теоретико множественной или геометрической. В первом случае предметом теории являются графы как некие объекты,… …   Экономико-математический словарь

  • Дерево (теория графов) — У этого термина существуют и другие значения, см. Дерево (значения). Дерево  это связный ациклический граф.[1] Связность означает наличие путей между любой парой вершин, ацикличность  отсутствие циклов и то, что между парами вершин… …   Википедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»