Автор работы: Пользователь скрыл имя, 29 Апреля 2013 в 17:05, курсовая работа
Цель курсовой работы – изучить основные понятия теории раскрашивания плоских графов и проанализировать известные результаты о гипотезе четырех красок. Достижению данной цели курсовой работы были поставлены и решены следующие задачи:
изучить такие основополагающие понятия теории графов, как граф, маршрут и контур, раскраска и плоский граф;
раскрыть понятие хроматического числа и хроматического многочлена графа;
изучить достаточные условия раскраски графов и проанализировать известные результаты о гипотезе четырех красок.
Введение 3
§1. Введение в теорию графов 5
§2. Понятие хроматического числа и хроматического многочлена графа 13
§3. Гипотеза четырёх красок 15
Заключение 23
Список использованной литературы 24
Приложение 25
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, эквивалентны гипотезе четырех красок. Есть надежда, что эти методы (графы тока, вихревые графы, закон Кирхгофа) в конечном счете дадут нам новую информацию в этой области, хотя до сих пор они этого еще не сделали.
В процессе выполнения курсовой работы была рассмотрена такая важная тема как раскраска графов. Задачи подобного рода встречаются довольно часто в повседневной жизни – ярким примером того может служить раскраска географических карт, на которых не должно быть граничащих областей с одинаковыми цветами. Многочисленные применения раскраска находит в таких областях как:
раскраска мультиграфа с некоторыми ограничениями нужна при маршрутизации пакетов с учётом равномерной нагрузки;
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: Если множество вершин графа можно разбить на два непересекающихся подмножества V1 и V2 так, что каждое ребро в G какую-нибудь вершину из V1 с какой-либо вершиной из V2 (рис.7);
рис. 6 рис.7
тогда G называется двудольным графом. Такие графы иногда обозначают G(V1, V2), если хотят выделить два указанных подмножества. Двудольный граф можно определить и по-другому – в терминах раскраски его вершин двумя цветами, скажем красным и синим. При этом граф называется двудольным, если каждую его вершину можно окрасить красным или синим цветом так, чтобы любое ребро имело
рис.8
Один конец красный, а другой – синий. Следует подчеркнуть, что в двудольном графе совсем не обязательно каждая вершина из 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.
ОПРЕДЕЛЕНИЕ 7: Пусть G – простой граф
с множеством вершин V(G). Дополнением G графа G называется
простой граф с множеством вершин V(G), в котором
две вершины смежны тогда и только тогда,
когда они не смежны в G. Отсюда следует,
что если граф G содержит n вершин,
то граф G c чертой можно
построить, удалив из графа Кn все
рёбра, принадлежащие G (сдесь G считается подграфом Кn). Заметим,
что дополнение полного графа является
вполне несвязным графом и наоборот; дополнение
регулярного графа регулярно.