Раскраска графов

Автор работы: Пользователь скрыл имя, 29 Апреля 2013 в 17:05, курсовая работа

Краткое описание

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

Содержание

Введение 3
§1. Введение в теорию графов 5
§2. Понятие хроматического числа и хроматического многочлена графа 13
§3. Гипотеза четырёх красок 15
Заключение 23
Список использованной литературы 24
Приложение 25

Вложенные файлы: 1 файл

валюша.doc

— 424.00 Кб (Скачать файл)

1) найти среди  неокрашенных вершину v наивысшей степени;

2) проверить,  является ли v смежной с какой-нибудь вершиной, уже окрашенной в k-цвет;

3) если нет,  то окрасить v в цвет k;

4) если да, то  исключить v из числа вершин, окрашивающих в цвет k, и вернуться к шагу (1). Этот эвристический метод опирается на рассмотрение вектора d, i-й компонентой которого является степень 1-й вершины. Уильяме модифицирует этот процесс, заменяя для этого вектор d на dm, где вектор dm определяется последовательно: d1=d, dm+1 = Adm; здесь через А обозначается матрица смежностей графа G. Вектора dm при m->∞ сходятся к главному собственному вектору матрицы А. Уильяме замечает, что эта сходимость наступает, вообще говоря, после итераций, где п — число вершин в графе. Уильям применил свой модифицированный метод к раскраске одного графа, содержащего 700 вершин, использовав для этого 28 красок. Заметим, что здесь речь идет не о планарном графе. Позднее было обнаружено, что этот граф содержит полный подграф на 26 вершинах и уже для раскраски такого подграфа нужно 26 цветов. Так что оценка Уильямса, прямо-таки, скажем, не слишком завышена. Как мы уже отмечали, Рингель и Янгс подтвердили гипотезу Хивуда. По мнению Янгса, их совместная работа может быть использована для получения прямых доказательств того, что различные гипотезы, в частности гипотеза 3, эквивалентны гипотезе четырех красок. Есть надежда, что эти методы (графы тока, вихревые графы, закон Кирхгофа) в конечном счете дадут нам новую информацию в этой области, хотя до сих пор они этого еще не сделали.

 

Заключение

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

  1. составление расписаний: расписание для образовательных  учреждений; расписание в спорте; планирование встреч, собраний, интервью; расписание транспорта, в том числе - авиатранспорта; расписания для коммунальных служб и т.д.;
  2. расчёт сетей ОКС-7 (некое обобщение телефонных сетей); а именно,

раскраска мультиграфа  с некоторыми ограничениями нужна  при маршрутизации пакетов с  учётом равномерной нагрузки;

         3) конструирование устройств, где провода соединённые в одном узле, должны для удобства различения иметь разные цвета;

        4)  распределение исполняемого кода по кешу.

Граф несовместимости  здесь такой: вершины – некие “блоки” кода (можно, например, брать процедуры), рёбра существуют тогда, когда из одного “блока” вызывается другой. Как видно, мы концентрируемся на так называемых конфликтах первого поколения (first-generation cache conflicts) – между “блоком” и её вызывающим/вызываемым. Но стоит отметить, что задача раскраски решается не алгоритмами общего назначения, а специальным эвристическим, который, к тому же, даёт решение, которое удовлетворяет неким дополнительным условиям.

Достоинство этого  метода – в том, что учитываются и размеры кеша, строки кеша, “блоков” кода, и ассоциативность кеша. Метод удачно  комбинируются с другими оптимизациями – но не оптимизатором компилятора, а оптимизатором компоновщика.

Список использованной литературы

1)  Белов В.В. Теория графов [Текст]: учеб. пособие для вузов /- В.В. Белов.- М.: Высш. школа, 1976. – 392 с.

2) Березина Л.Ю.  Графы и их применение [Текст]:пособие для учителей /Л.Ю. Березина– М.: Просвещение, 1979. – 143 с

3)  Гаврилов Г.П. Задачи и упражнения по дискретной математике [Текст]: учеб. пособие./ -Г.П. Гаврилов, А.А. Сапоженко– 3-е изд., перераб. – М.:ФИЗМАТЛИТ, 2006 - 416 c.

4) Делоне. Б.Н. Проблемы современной математики [Текст]: cборник. пер. с англ./- Б.Н. Делоне.- М.: Знание, 1975.-64 c.

5) Уилсон. Р. Введение в теорию графов [Текст]: пер. с англ./- Р. Уилсон.-М.: Мир, 1977.-207 c.

 

 
Приложение

ОПРЕДЕЛЕНИЕ 1: Граф, у которого множество рёбер пусто, называется вполне не связным (или пустым) графом. Будем обозначать вполне несвязный граф с n вершинами через Nn ; N4 показан на (рис.1). Заметим, что у вполне несвязного графа все вершины изолированы. Вполне несвязные графы не представляют особого интереса.

           рис. 1        

ОПРЕДЕЛЕНИЕ 2: Простой граф, в котором любые  две вершины смежны, называется полным графом. Полный граф с N вершинами обычно обозначается через Kn. Графы K4 и K5 изображены на (рис. 2 и 3).

                       

                   рис. 2                      рис. 3

ОПРЕДЕЛЕНИЕ 3: Граф, у которого все вершины имеют одну и ту же степень,  называется регулярным графом. Если степень каждой вершины равна r, то граф называется регулярным степени r. Регулярные графы степени 3, называемые также кубическими (или трёхвалентными) графами (см., например, рис. 2 и 4), представляют особый интерес в связи с задачей раскраски. Другим известным примером кубического графа является так называемый граф Петерсона, показанный на (рис. 5). Отметим что каждый вполне несвязный граф является регулярным степени 0, а каждый полный граф Кn – регулярным степени n – 1.

ОПРЕДЕЛЕНИЕ 4: Среди регулярных графов особенно интересны так называемые платоновы графы – графы, образованные вершинами и рёбрами многогранников – платоновых тел: тетраэдра, куба, октаэдра, додекаэдра и икосаэдра. Граф К4 соответствует тетраэдру (рис.2); графы, соответствующие кубу и октаэдру, показаны на рис.4 и 6.

                               

                  рис. 4                                          рис. 5

ОПРЕДЕЛЕНИЕ 5: Если множество вершин графа можно разбить на два непересекающихся подмножества V1 и V2 так, что каждое ребро в G какую-нибудь вершину из V1 с какой-либо вершиной из V2 (рис.7);

 

                                 

рис. 6                          рис.7

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

                       

                         рис.8                                          рис. 9

 

Один конец  красный, а другой – синий. Следует  подчеркнуть, что в двудольном графе  совсем не обязательно каждая вершина  из V1 соединена с каждой вершиной из V2; если же это так и если при этом граф G простой, то он называется полым двудольным графом и обычно обозначается Кm,n ,где m и n – число вершин соответственно в V1 и V2. Например, на (рис. 8). изображён граф К4,3, а на (рис. 2.5) – два варианта графа К3,3. Заметим, что граф Кm,n имеет ровно m + n вершин  и mn рёбер. Полый двудольный граф вида К1,n называется звёздным графом; на (рис. 9) изображён звёздный граф К1,5.

Объединение и соединение двух графов. Существует несколько способов соединения двух графов для образования нового, большего графа; проиллюстрируем два из них. Пусть даны два графа G1 = (V(G1), E(G1)) и G2 = (V(G2), E(G2)), причём множества V(G1) и V(G2) не пересекаются; тогда объединением G1 ᴜ G2 графов G1 и G2 называется граф с множеством вершин  V(G1) ᴜ V(G2) и семейством рёбер E(G1) ᴜ E(G2) (рис.10).  Можно также образовать соединение графов G1 и G2 ( обозначаемое G1+ G2), взяв их объединение и соединив рёбрами каждую вершину графа G1   с каждой вершиной графа G2 . Пример графа   К1+ К2 дан на (рис. 11). Заметим, что граф Кm,n можно было бы определить как соединение графов Nm и Nn.

            рис.10

Связные графы. Все графы, рассмотренные нами до сих пор, состояли из “одного куска”. Исключениями были вполне не связные графы Nn (n >=2) и объединения графов, состоящее из “ не соединённых друг с другом частей”. Формализуем это различие,

 

                             

Рис.11 рис. 12

 

Называя граф связным, если его нельзя представить в виде объединения двух графов, и несвязным в противном случае. Очевидно, что всякий несвязный граф G можно представить в виде объединения конечного числа связных графов – каждый из таких связных графов называется компонентой (связности ) графа G. На рис. 12. изображён граф с тремя компонентами).  Доказательство некоторых утверждений для произвольных графов часто бывает удобно сначала провести для связных графов, а затем применить их к каждой компоненте в отдельности.

ОПРЕДЕЛЕНИЕ 6: Связный регулярный граф степени 2 называется циклическим графом (или циклом); циклический граф с n вершинами обозначается через Cn. Соединение графов N1 и Cn-1 (n>=3) называется колесом с n вершинами и обозначается Wn. На (рис. 13) изображены C6 и W6.

                         

                                        рис. 3.13

 

ОПРЕДЕЛЕНИЕ 7: Пусть G – простой граф с множеством вершин V(G). Дополнением G графа G называется простой граф с множеством вершин V(G), в котором две вершины смежны тогда и только тогда, когда они не смежны в G. Отсюда следует, что если граф G содержит n вершин, то граф G c чертой можно построить, удалив из графа Кn все рёбра, принадлежащие G (сдесь G считается подграфом Кn). Заметим, что дополнение полного графа является вполне несвязным графом и наоборот; дополнение регулярного графа регулярно.                                         

 

 


Информация о работе Раскраска графов