![](/user_photo/2706_HbeT2.jpg)
- •Глава I
- •§ 1. Определение графа
- •§ 2. Подграфы
- •§ 3. Операции над графами
- •§ 4. Цепи, циклы, компоненты
- •§ 5. Степени вершин графа
- •§ 6. Матрицы, ассоциированные с графом
- •§ 7. Регулярные графы
- •§ 8. Метрические характеристики графа
- •§ 9. Критерий двудольности графа
- •§10. Реберный граф
- •§ 11. Группа автоморфизмов графа
- •§ 12. «Почти все» графы
- •Упражнения
- •Глава II Деревья
- •§ 13. Определение дерева
- •§ 14. Матричная теорема Кирхгофа
- •§ 15. Остов минимального веса
- •Упражнения
- •Глава III
- •§ 16. Азбука теории матроидов
- •§ 17. Двойственный матроид
- •§ 18. Примеры матроидов
- •§ 19. Изоморфизм матроидов
- •§ 20. Представление матроида
- •§ 21. Бинарные матроиды
- •§ 22. Трансверсали
- •§ 23. Жадный алгоритм
- •§ 24. Объединение и пересечение матроидов
- •Глава IV Независимость и покрытия
- •§ 25. Независимые множества и покрытия
- •К. Шеннон ввел параметр
- •§ 26. Клика
- •§ 27. Проблемы клики, изоморфной вложимости и изоморфного подграфа
- •§ 28. Интерпретации независимых множеств
- •§ 29. Паросочетания
- •§ 30. Паросочетания в двудольном графе
- •§ 31. Двудольные графы и семейства подмножеств
- •§ 32. Паросочетания и покрытия
- •Упражнения
- •Глава V
- •§ 33. Вершинная связность и реберная связность
- •Чтобы учесть эту и подобные ей ситуации, естественно ввести следующее распределение: максимальный k-связный подграф графа называется его k-связной компонентой, или просто k-компонентой.
- •§ 34. Двусвязные графы
- •§ 35. Теорема Менгера
§ 26. Клика
Антиподом понятия независимого множества является понятие клики. Подмножество V вершин графа G называется кликой, если любые две входящие в него вершины смежны, т. е. если порожденный подграф G(V') является полным. Клика называется максимальной, если она не содержится в клике с большим числом вершин, и наибольшей, если число вершин в ней наибольшее среди всех клик. Число вершин в наибольшей клике графа G называется его плотностью (или кликовым числом) и обозначается через φ(G). Как и в случае независимых множеств, максимальная клика графа может оказаться не наибольшей, и это обстоятельство делает задачи нахождения числа φ (G) и наибольшей клики для произвольного графа G крайне трудными. Очевидно следующее
Утверждение 26.1. Подмножество вершин графа G является кликой тогда и только тогда, когда оно независимо в дополнительном графе G. Следовательно, φ(G) = a0 (G).
С помощью этого утверждения и приведенных в § 25 оценок числа а0(G) просто получаются соответствующие оценки числа φ(G).
Очевидно,
что все клики графа, как и все максимальные
клики, составляют покрытие множества
вершин.Н
аименьшее
число клик графа G,
покрывающих
множество VG,
называется
числом кликового покрытия
и обозначается через c(G).
Очевидно, что c(G)>=a0 (G) для любого графа G.
О взаимном расположении клик в графе можно судить по свойствам вводимого ниже графа клик.
Граф пересечений максимальных клик графа G назовем графом клик и обозначим через Q(G). Таким образом, вершины графа Q(G) объективно соответствуют максимальным кликам графа G и две вершины смежны тогда и только тогда, когда соответствующие клики пересекаются. Если для некоторого графа H существует такой граф G, что H=Q(G), то Н также называется графом клик.
Очевидно, что граф Q(G) может быть как «большим», так и «малым». Например, Q(0n) = 0n, Q(Kn) = K1, Q(K1,n)=Kn, Q(Pn)=Pn-1 Q(Cn) = Cn. Для графа G, изображенного на рис. 26.1, Q(G) = K4.
Известно, что существуют графы, не являющиеся графами клик. Таков, например, граф, представленный на рис. 26.1. Тем не менее следующая теорема свидетельствует о том, что расположение клик в произвольном графе достаточно произвольно.
Теорема 26.2. Для любого (n, m)-графа Н существует такой граф G порядка
n + m, что Н изоморфен некоторому порожденному подграфу графа клик Q(G). Если при этом H не содержит треугольников, то граф G можно выбрать так, что H=Q(G).
П
усть
О
писанным
ниже способом построим граф G
с множеством
вершин
Если
-
множество всех ребер графа
Н, инцидентных вершине i,
то положим
-
полный
граф с множеством вершин Vi,
Рассмотрим граф клик Q(G). Очевидно, что каждое из множеств Vi служит максимальной кликой графа G. Кроме этого, возможны еще максимальные клики, не содержащие вершин вида vi. Пусть X — одна из них,
З
аметим,
что EaEв
EG
тогда и только тогда, когда ребра
еа
и еВ
графа G
смежны. Поэтому из (1) следует, что
существует
вершина k,
инцидентная
каждому из ребер еа и еВ, и потому Еа Vk,, EВ Vk. Таким образом, |Х| > 2 и любые две вершины, принадлежащие клике X, вместе входят в какое-либо из множеств Vi. Поскольку клика X не совпадает ни с одним из Vi, то в ней есть три вершины Еа, ЕВ, Eγ такие, что Еа,, ЕВ Vk,, Еа, E γ Vi, E γ Vj и индексы i,j, k попарно различны. Тогда ребра ea, еВ, е γ составляют в графе Н треугольник (рис. 26.2). Поскольку в графе Н нет четвертого ребра, смежного с каждым из ребер еа, еВ, е γ, то |Х| =3, X = ХаВ γ = {Еа, EВ, Eγ.}
Очевидно и обратное: если ребра еa,, еb еγ составляют треугольник в графе Н, то множество Х α β γ является максимальной кликой графа G.
Таким образом, если в H нет треугольников, то VQ(G) = {V1, V2, ..., Vn}. Если в графе Н есть треугольники, то вершинами графа Q(G) служат все множества Vi и все клики графа G вида Х α β γ
В любой ситуации обозначим через F подграф графа Q(G], порожденный множеством вершин V = {V1 V2, ... ..., Vn). Очевидно, что отображение УН ->V, при котором i -> Vi, является изоморфизмом графов Н и F. Итак, если в Н нет треугольников, то H=Q(G). В противном случае граф Н изоморфен порожденному подграфу F графа Q(G)
На рис. 26.3 изображен граф G, описанный в доказательстве предыдущей теоремы; в качестве Н взят граф,
представленный на рис. 26.1, а на рис. 26.4 показан граф клик Q(G).
Следствие 26.3. Всякий граф, не содержащий треугольников, является графом клик.
Иногда полезно понятие матрицы клик. Пусть G — произвольный граф, Q = {Q1, Q2, ..., Qn] — множество всех его максимальных клик, VG ={v1, v2, ..., vn}. Следующим образом определим бинарную p*n-матрицу С => = C(G), строки которой соответствуют кликам из множества Q, а столбцы — вершинам графа G:
Матрица С (G) называется матрицей клик графа G.
Очевидно, что матрица клик определяется с точностью до перестановок строк и столбцов.
Например, для графа G, изображенного на рис. 26.1,