Тверской государственный университет
Опубликован: 21.08.2007 | Доступ: свободный | Студентов: 3170 / 268 | Оценка: 4.08 / 3.92 | Длительность: 15:40:00
ISBN: 978-5-9556-0110-6
Специальности: Программист, Математик
Лекция 9:

Графы: представления, достижимость и связность

< Лекция 8 || Лекция 9: 1234 || Лекция 10 >

Взаимная достижимость, компоненты сильной связности и базы графа

По аналогии с графом достижимости определим граф сильной достижимости.

Определение 9.10. Пусть G=(V,E) - ориентированный граф. Граф сильной достижимости G**=(V,E**) для G имеет то же множество вершин V и следующее множество ребер E** ={ (u, v) | в графе G вершины v и u взаимно достижимы}.

По матрице графа достижимости A_{G^*} легко построить матрицу A_{G_*^*} графа сильной достижимости. Действительно из определений достижимости и сильной достижимости непосредственно следует, то для всех пар (i,j), 1<= i,j <= n, значение элемента A_{G_*^*}(i,j) равно 1 тогда и только тогда, когда оба элемента AG*(i, j) и AG*(j, i) равны 1, т.е.

A_{G_*^*}(i,j) = A_{G^*}(i, j) \wedge A_{G^*}( j, i)

По матрице A_{G_*^*} можно выделить компоненты сильной связности графа G следующим образом.

  1. Поместим в компоненту K1 вершину v1 и все такие вершины vj, что A_{G_*^*}(1,j) = 1.
  2. Пусть уже построены компоненты K1, ..., Ki и vk - это вершина с минимальным номером, еще не попавшая в компоненты. Тогда поместим в компоненту K_{i+1} вершину vk и все такие вершины vj,
  3. что A_{G_*^*}(k,j) = 1.

Повторяем шаг (2) до тех пор, пока все вершины не будут распределены по компонентам.

В нашем примере для графа G на рис.2 по матрице A_{G^*} получаем следующую матрицу графа сильной достижимости

A_{G_*^*}=  \left(
\begin{array}{cccccc}
1 & 1 & 1 & 0& 0& 0\\
1 & 1 & 1 & 0& 0& 0\\
1 &1 & 1 & 0& 0& 0\\
0 & 0 & 0 & 1& 0& 0\\
0 & 0 & 0 & 0& 1& 0\\
0 & 0 & 0 & 0& 0& 1
\end{array}\right).

Используя описанную выше процедуру, находим, что вершины графа G разбиваются на 4 компоненты сильной связности: K1= {v1, v2, v3}, \ K2 ={ v4}, \ K3 ={ v5}, \ K4 ={ v6}. На множестве компонент сильной связности также определим отношение достижимости.

Определение 9.11. Пусть K и K' - компоненты сильной связности графа G. Компонента K достижима из компоненты K^\prime, если K= K' или существуют такие две вершины u \in  K и v \in  K', что u достижима из v. K строго достижима из K^\prime, если K\ne  K' и K достижима из K'. Компонента K называется минимальной, если она не является строго достижимой ни из какой компоненты.

Так как все вершины в одной компоненте взаимно достижимы, то нетрудно понять, что отношения достижимости и строгой достижимости на компонентах не зависят от выбора вершин u \in  K и v \in  K'.

Из определения легко выводится следующая характеристика строгой достижимости.

Лемма 9.3. Отношение строгой достижимости является отношением частичного порядка, т.е. оно антирефлексивно, антисимметрично и транзитивно.

Это отношение можно представлять в виде ориентированного графа, вершинам и которого являются компоненты, а ребро (K', K) означает, что K строго достижима из K'. На рис. 9.4 показан этот граф компонент для рассматриваемого выше графа G.

Граф отношения достижимости на компонентах G

Рис. 9.4. Граф отношения достижимости на компонентах G

В данном случае имеется одна минимальная компонента K2.

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

Определение 9.12. Пусть G=(V,E) - ориентированный граф. Подмножество вершин W \subseteq  V называется порождающим, если из вершин W можно достичь любую вершину графа. Подмножество вершин W \subseteq  V называется базой графа, если оно является порождающим, но никакое его собственное подмножество порождающим не является.

Следующая теорема позволяет эффективно находить все базы графа.

Теорема 9.1. Пусть G=(V,E) - ориентированный граф. Подмножество вершин W \subseteq  V является базой G тогда и только тогда, когда содержит по одной вершине из каждой минимальной компоненты сильной связности G и не содержит никаких других вершин.

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

Обратно, если W является базой, то оно обязано включать хотя бы по одной вершине из каждой минимальной компоненты, иначе вершины такой минимальной компоненты окажутся недоступны. Никаких других вершин W содержать не может, так как каждая из них достижима из уже включенных вершин.

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

  1. Найти все компоненты сильной связности G.
  2. Определить порядок на них и выделить минимальные относительно этого порядка компоненты.
  3. Породить одну или все базы графа, выбирая по одной вершине из каждой минимальной компоненты.

Пример 9.5. Определим все базы ориентированного графа G, показанного на рис.9.5.

Граф G

Рис. 9.5. Граф G

На первом этапе находим компоненты сильной связности G:

K_1 =\{ a, n, l \}, K_2 = \{ b \}, K_3 =\{ c\}, K_4 =\{ d,e, f, g\}, \\ K_5=\{ h, m\}, K_6 =\{ k\}, K_7= \{ r\}

На втором этапе строим граф строгой достижимости на этих компонентах.

Граф отношения достижимости на компонентах G

Рис. 9.6. Граф отношения достижимости на компонентах G

Определяем минимальные компоненты: K2 = { b }, K4 ={ d,e, f, g} и K7= { r}.

Наконец перечисляем все четыре базы G: B1= { b, d, r}, B2= { b, e, r}, B3= { b, f, r} и B1= { b, g, r}.

Задачи

Задача 9.1. Докажите, что сумма степеней всех вершин произвольного ориентированного графа четна.

У этой задачи имеется популярная интерпретация: доказать, что общее число рукопожатий, которыми обменялись люди, пришедшие на вечеринку, всегда четно.

Задача 9.2. Перечислите все неизоморфные неориентированные графы, у которых не более четырех вершин.

Задача 9.3. Докажите, что неориентированный связный граф остается связным после удаления некоторого ребра \leftrightarrow это ребро принадлежит некоторому циклу.

Задача 9.4. Докажите, что неориентированный связный граф с n вершинам и

  • содержит не менее n-1 ребер,
  • если содержит больше n-1 ребер, то имеет, по крайней мере, хотя бы один цикл.

Задача 9.5. Докажите, что в любой группе из 6 человек есть трое попарно знакомых или трое попарно незнакомых.

Задача 9.6. Докажите, что неориентированный граф G=(V,E) связен \leftrightarrow для каждого разбиения V= V_{1}\cup   V_{2} с непустыми V1 и V2 существует ребро, соединяющее V1 с V2.

Задача 9.7. Докажите, что, если в неориентированном графе имеется ровно две вершины нечетной степени, то они связаны путем.

Задача 9.8. Пусть G=(V,E) неориентированный граф с |E| < |V|-1. Докажите, что тогда G несвязный граф.

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

Задача 9.10. Пусть неориентированный граф без петель G=(V,E) имеет k компонент связности. Доказать, что тогда

|E| \leq (|V| -k)(|V|-k +1)/2

Задача 9.11. Определите, что представляет из себя граф достижимости для

  • графа с n вершинам и и пустым множеством ребер;
  • графа с n вершинам и: V= {v1,... , vn}, ребра которого образуют цикл:

    E =\{(v_1,v_2), (v_2,v_3), \ldots , (v_{n-1},v_n), (v_n,v_1) \}.

Задача 9.12. Вычислите матрицу графа достижимости A_{G^*} для графа

G=(\{a,b,c,d,e,f, g\}, \{ (a,b), (b,a), (a,c), (b,d), (e,d), \\(d, f), (f,c), (c,f), (g,e)\}

и постройте соответствующий ей граф достижимости. Найдите все базы графа G.

Задача 9.13. Построить для заданного на рис. 9.7 ориентированного графа G1=(V,E) его матрицу смежности AG1, матрицу инцидентности BG1 и списки смежности. Вычислить матрицу достижимости AG1* и построить соответствующий граф достижимости G1*.


Рис. 9.7.
< Лекция 8 || Лекция 9: 1234 || Лекция 10 >
Елена Алексеевская
Елена Алексеевская

Это в лекции 3.

Татьяна Дембелова
Татьяна Дембелова

Почему в вводной лекции курса Основы дискретной математики одним из свойств отношения частичного порядка упоминается антирефлексивность? Посмотрела в других источниках, там -0  рефлексивность... http://ru.wikipedia.org/wiki/%D0%9E%D1%82%D0%BD%D0%BE%D1%88%D0%B5%D0%BD%D0%B8%D0%B5_%D0%BF%D0%BE%D1%80%D1%8F%D0%B4%D0%BA%D0%B0