Студопедия — Раскраски и хроматическое число графа
Студопедия Главная Случайная страница Обратная связь

Разделы: Автомобили Астрономия Биология География Дом и сад Другие языки Другое Информатика История Культура Литература Логика Математика Медицина Металлургия Механика Образование Охрана труда Педагогика Политика Право Психология Религия Риторика Социология Спорт Строительство Технология Туризм Физика Философия Финансы Химия Черчение Экология Экономика Электроника

Раскраски и хроматическое число графа

Будем раскрашивать вершины графа. Раскраска графа называется правильной, если смежные вершины окрашены в разные цвета.

Минимальное количество цветов, при котором получается. правильная раскраска называется хроматическим числом графа и обозначается . Через будет обозначаться число всех различных правильных раскрасок с помощью красок. Очевидно, хроматическое число равно минимальному из тех , для которых .

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

Теорема. Справедлива формула , где — число суграфов, — ребер и — компонент связности (если для и таких суграфов нет, полагаем ).

Будем рассматривать как функцию переменной . Очевидны следующие свойства :

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

2) свободный член у равен 0.

 

Данную формулу можно использовать для непосредственного вычисления в простых случаях.

Пример. Вычислим для «треугольника» :

 

 

Ясно, что у имеется:

a) один суграф без ребер ();

b) три суграфа с одним ребром ();

c) три суграфа с двумя ребрами ();

d) один суграф с тремя ребрами ().

Поэтому числа для этого графа таковы:

, , , .

Согласно формуле для

.

Из последней формулы следует, что хроматическое число равно 3, что, конечно, легко доказать непосредственно.

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

Лемма 1. Если граф состоит из двух несвязных частей и , то справедлива формула

 

.

 

 

Доказательство следует из очевидного факта, что раскраски и можно выбирать независимо.

 

Лемма 2. Если граф получен из двух графов и склеиванием по одной вершине, то

 

 

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

Лемма 3. Если граф получен из двух графов и с помощью ребра , то

.

Доказательство аналогично доказательству леммы 2. Зафиксировав одну из раскрасок , получим, что допускает те раскраски, при которых вершина окрашена в любой цвет; кроме цвета вершины . Таких цветов , а раскрасок .

Лемма 4. (Предложена студентом группы ФММ 01 М. Бузуверовым). Если граф получен из двух графов и склеиванием по ребру , то

.

 

 
 

 


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

Лемма 5. Пусть граф получен из графа добавлением ребра без изменения числа вершин. Обозначим через граф, полученный из склеиванием вершин, инцидентных ребру , и последующим отождествлением кратных ребер. Тогда

.

 

 

Доказательство. Очевидно, что равно минус число раскрасок , в которых концы ребра одинаково раскрашены. Но последнее и есть .

 

Примеры.

1). — полный граф с вершинами (случай уже был рассмотрен). Выражение для можно получить из общих свойств многочлена . Так как в каждая вершина соединена со всеми остальными вершинами ребрами, нельзя раскрасить менее, чем красками. Значит, - многочлен -й степени со свободным членом, равным 0, обращающийся в 0 при , и со старшим коэффициентом 1. Отсюда следует, что

.

2). — дерево с вершинами. Удалим из дерева какое-нибудь концевое ребро. При применении леммы 5 заметим, что граф в этом случае есть дерево с вершиной , а состоит из и изолированной вершины. Тогда по лемме 5 с учетом леммы 1 получим:

.

Заметив, что (так как — изолированная вершина), получим по индукции:

.

 

3). — цикл с вершинами. Для вычисления применим лемму 5. Удалив из одно ребро, получим Тогда

.

Аналогично получим цепочку равенств:

,

..............

,

 

Умножив каждое равенство для на и сложив их, получим после сокращения

Воспользовавшись формулой для суммы геометрической прогрессии и тем, что

,

получим:

.

 

Итак, для — полного графа с вершинами

; (1)

для — дерева с вершинами

; (2)

для — цикла с вершинами

. (3)

 

При нахождении хроматического полинома удобно использовать символическое графическое изображение. Например, вместо записи , где графы имеют вид

 

удобно представить это уравнение рисунком.

 

 

Задачи

Пример 1. Дан граф .

 

Постройте хроматический полином графа и определите его хроматическое число .

Решение.

 

Так как , а , то .

 

Ответ. , .

 

Обратите внимание, что окончательная запись хроматического полинома должна иметь вид

, где не имеет действительных корней. В этом случае .

 

Пример 2. Дан граф .

 

Постройте хроматический полином графа и определите его хроматическое число .

Решение.

. См. рисунок.

Так как , а , то .

 

Ответ. , .




<== предыдущая лекция | следующая лекция ==>
Возможность применения поляризованного света при аутодермопластике у пациентов с гнойно-некротическими заболеваниями нижних конечностей. | Омск 2005

Дата добавления: 2015-08-12; просмотров: 1504. Нарушение авторских прав; Мы поможем в написании вашей работы!



Кардиналистский и ординалистский подходы Кардиналистский (количественный подход) к анализу полезности основан на представлении о возможности измерения различных благ в условных единицах полезности...

Обзор компонентов Multisim Компоненты – это основа любой схемы, это все элементы, из которых она состоит. Multisim оперирует с двумя категориями...

Композиция из абстрактных геометрических фигур Данная композиция состоит из линий, штриховки, абстрактных геометрических форм...

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

Тема: Изучение фенотипов местных сортов растений Цель: расширить знания о задачах современной селекции. Оборудование:пакетики семян различных сортов томатов...

Тема: Составление цепи питания Цель: расширить знания о биотических факторах среды. Оборудование:гербарные растения...

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

Различия в философии античности, средневековья и Возрождения ♦Венцом античной философии было: Единое Благо, Мировой Ум, Мировая Душа, Космос...

Характерные черты немецкой классической философии 1. Особое понимание роли философии в истории человечества, в развитии мировой культуры. Классические немецкие философы полагали, что философия призвана быть критической совестью культуры, «душой» культуры. 2. Исследовались не только человеческая...

Обзор компонентов Multisim Компоненты – это основа любой схемы, это все элементы, из которых она состоит...

Studopedia.info - Студопедия - 2014-2024 год . (0.015 сек.) русская версия | украинская версия