Верхние и нижние оценки хроматического числа — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
(Нижняя оценка количеством ребер и количеством вершин)
м (rollbackEdits.php mass rollback)
 
(не показано 7 промежуточных версий 3 участников)
Строка 5: Строка 5:
 
|proof=
 
|proof=
 
Опишем на графе следующий алгоритм раскраски:
 
Опишем на графе следующий алгоритм раскраски:
*Из произвольной вершины <tex>v</tex> запусти алгоритм поиска в глубину. Пусть <tex>T</tex> {{---}} дерево обхода глубина графа <tex>G</tex> с корнем в вершине <tex>v</tex>.
+
*Из произвольной вершины <tex>v</tex> запустим алгоритм поиска в глубину. Пусть <tex>T</tex> {{---}} дерево обхода глубина графа <tex>G</tex> с корнем в вершине <tex>v</tex>.
*Произвольную вершину <tex>u</tex>, покрасим в цвет <tex>dist(v,u)</tex> <tex> \mod </tex> <tex> (\Delta + 1)</tex>, где <tex>dist(v,u)</tex>{{---}} расстояние между вершинами <tex>u,v</tex> в графe <tex>T</tex>.
+
*Произвольную вершину <tex>u</tex>, покрасим в цвет <tex>dist(v,u)</tex> <tex> \bmod </tex> <tex> (\Delta + 1)</tex>, где <tex>dist(v,u)</tex>{{---}} расстояние между вершинами <tex>u,v</tex> в графe <tex>T</tex>.
 
Докажем от противного, что после выполнения описанного алгоритма граф <tex>G</tex> будет правильно раскрашен.
 
Докажем от противного, что после выполнения описанного алгоритма граф <tex>G</tex> будет правильно раскрашен.
Предположим, что после выполнения алгоритма покраски в графе существует ребро, соединяющее вершины <tex> a, b </tex> одного цвета. Пусть <tex>color(v)</tex> {{---}} цвет вершины после выполнения алгоритма раскраски.Заметим, что для произвольной вершины графа <tex>p</tex>, <tex>dist(v,p) = color(p) + n(\Delta + 1)</tex> , <tex>n \geqslant 0 </tex>.Тогда, <tex>dist(v,a) - dist(v,b) = k(\Delta + 1)</tex>.Поскольку в дереве dfs между вершинами находящимися на одинаковом расстоянии от корня нет перекрестных ребер, то <tex> k \geqslant 1</tex>. То есть, вершины <tex>a, b</tex> лежат на простом цикле длины по крайней мере <tex>\Delta + 2</tex>. Получается противоречие с условием потому, что длина максимального простого цикла получается больше чем <tex>\Delta</tex>.
+
Предположим, что после выполнения алгоритма покраски в графе существует ребро, соединяющее вершины <tex> a, b </tex> одного цвета. Пусть <tex>color(v)</tex> {{---}} цвет вершины после выполнения алгоритма раскраски. Заметим, что для произвольной вершины графа <tex>p</tex>, <tex>dist(v,p) = color(p) + n(\Delta + 1)</tex> , <tex>n \geqslant 0 </tex>. Тогда, <tex>dist(v,a) - dist(v,b) = k(\Delta + 1)</tex>. Поскольку в дереве dfs между вершинами находящимися на одинаковом расстоянии от корня нет перекрестных ребер, то <tex> k \geqslant 1</tex>. То есть, вершины <tex>a, b</tex> лежат на простом цикле длины по крайней мере <tex>\Delta + 2</tex>. Получается противоречие с условием потому, что длина максимального простого цикла получается больше чем <tex>\Delta</tex>.
 
Таким образом в графе <tex>G</tex> после выполнения алгоритма раскраски  нет вершин одного цвета соединенных ребром и при этом каждая вершина покрашена в один из <tex>\Delta + 1</tex>, то есть <tex>G</tex> правильно раскрашен в <tex>\Delta + 1</tex> цвет, следовательно <tex>\chi(G) \leqslant \Delta(G) + 1</tex>
 
Таким образом в графе <tex>G</tex> после выполнения алгоритма раскраски  нет вершин одного цвета соединенных ребром и при этом каждая вершина покрашена в один из <tex>\Delta + 1</tex>, то есть <tex>G</tex> правильно раскрашен в <tex>\Delta + 1</tex> цвет, следовательно <tex>\chi(G) \leqslant \Delta(G) + 1</tex>
 
   
 
   
  
 
}}
 
}}
 +
 
==Нижняя оценка числом независимости ==
 
==Нижняя оценка числом независимости ==
 
{{Определение
 
{{Определение
Строка 36: Строка 37:
 
{{Лемма  
 
{{Лемма  
 
|about = верхняя оценка
 
|about = верхняя оценка
|statement= Пусть <tex>G(V,E)</tex> {{---}} произвольный связный неориентированный граф с  <tex>m</tex> ребрами.Тогда, <tex dpi=140>\chi(G) \leqslant \frac{1}{2} +\sqrt{2m + \frac{1}{4}}</tex>.  
+
|statement= Пусть <tex>G(V,E)</tex> {{---}} произвольный связный неориентированный граф с  <tex>m</tex> ребрами.Тогда, <tex>\chi(G) \leqslant \dfrac{1}{2} +\sqrt{2m + \dfrac{1}{4}}</tex>.  
 
|proof=
 
|proof=
 
Пусть, <tex>V_1,V_2...V_\chi</tex> множеств вершин окрашенных в соответствующие цвета при правильно покраски графа <tex>G</tex>. Заметим, что между любыми двумя различными множествами существует хотя бы одно ребро (в противном случаи эти множества можно было бы покрасить в один цвет).
 
Пусть, <tex>V_1,V_2...V_\chi</tex> множеств вершин окрашенных в соответствующие цвета при правильно покраски графа <tex>G</tex>. Заметим, что между любыми двумя различными множествами существует хотя бы одно ребро (в противном случаи эти множества можно было бы покрасить в один цвет).
Тогда, <tex dpi=140>\frac{1}{2}\chi(\chi-1) \leqslant m \Rightarrow (\chi - \frac{1}{2})^2 \leqslant 2m + \frac{1}{4} \Rightarrow \chi(G) \leqslant \frac{1}{2} +\sqrt{2m + \frac{1}{4}} </tex>.
+
Тогда, <tex>\dfrac{1}{2}\chi(\chi-1) \leqslant m \Rightarrow (\chi - \dfrac{1}{2})^2 \leqslant 2m + \dfrac{1}{4} \Rightarrow \chi(G) \leqslant \dfrac{1}{2} +\sqrt{2m + \dfrac{1}{4}} </tex>.
 
}}
 
}}
  
Строка 45: Строка 46:
 
{{Лемма  
 
{{Лемма  
 
|about = нижняя оценка Геллера
 
|about = нижняя оценка Геллера
|statement= Пусть <tex>G(V,E)</tex> {{---}} произвольный связный неориентированный граф с <tex>n</tex> вершинами и <tex>m</tex> ребрами. Тогда, <tex dpi=140>\frac{n^2}{n^2 - 2m} \leqslant \chi(G) </tex>.  
+
|statement= Пусть <tex>G(V,E)</tex> {{---}} произвольный связный неориентированный граф с <tex>n</tex> вершинами и <tex>m</tex> ребрами. Тогда, <tex>\dfrac{n^2}{n^2 - 2m} \leqslant \chi(G) </tex>.  
 
|proof=
 
|proof=
 
Пусть, <tex>V_1,V_2...V_\chi</tex> множеств вершин окрашенных в соответствующие цвета при правильно покраски графа <tex>G</tex>.
 
Пусть, <tex>V_1,V_2...V_\chi</tex> множеств вершин окрашенных в соответствующие цвета при правильно покраски графа <tex>G</tex>.
<tex dpi=140>m \leqslant \frac{1}{2}n(n - 1) - \frac{1}{2}\sum\limits^{\chi}_{i = 1}|V_i|(|V_i| - 1) \Rightarrow \frac{n^2}{n^2 - 2m} \leqslant \frac{n^2}{n^2 -n(n - 1) + \sum\limits^{\chi}_{i = 1}|V_i|(|V_i| - 1)} =  \frac{n^2}{n + \sum\limits^{\chi}_{i = 1}|V_i|(|V_i| - 1)} =  \frac{n^2}{\sum\limits^{\chi}_{i = 1}|V_i| + \sum\limits^{\chi}_{i = 1}|V_i|(|V_i| - 1)} = \frac{n^2}{\sum\limits^{\chi}_{i = 1}|V_i|^2} = \frac{(\sum\limits^{\chi}_{i = 1}|V_i|)^2}{\sum\limits^{\chi}_{i = 1}|V_i|^2} \leqslant \chi</tex>.
+
<tex>m \leqslant \dfrac{1}{2}n(n - 1) - \dfrac{1}{2}\sum\limits^{\chi}_{i = 1}|V_i|(|V_i| - 1) \Rightarrow \dfrac{n^2}{n^2 - 2m} \leqslant \dfrac{n^2}{n^2 -n(n - 1) + \sum\limits^{\chi}_{i = 1}|V_i|(|V_i| - 1)} =  \dfrac{n^2}{n + \sum\limits^{\chi}_{i = 1}|V_i|(|V_i| - 1)} =  \dfrac{n^2}{\sum\limits^{\chi}_{i = 1}|V_i| + \sum\limits^{\chi}_{i = 1}|V_i|(|V_i| - 1)} = \dfrac{n^2}{\sum\limits^{\chi}_{i = 1}|V_i|^2} = \dfrac{(\sum\limits^{\chi}_{i = 1}|V_i|)^2}{\sum\limits^{\chi}_{i = 1}|V_i|^2} \leqslant \chi</tex>.
 
}}
 
}}
  
==Смотри так же==
+
==См. также==
 
*[[Хроматическое_число_планарного_графа|Хроматическое число планарного графа]]
 
*[[Хроматическое_число_планарного_графа|Хроматическое число планарного графа]]
  

Текущая версия на 19:15, 4 сентября 2022

Верхняя оценка длиной максимального нечетного цикла

Лемма (оценка хроматического числа длиной максимального нечётного цикла):
Пусть [math]G(V,E)[/math] — произвольный связный неориентированный граф и [math]\Delta(G)[/math] — длина максимального простого цикла графа [math]G[/math], [math]\Delta \geqslant 3[/math]. Тогда, [math]\chi(G) \leqslant\Delta(G) + 1[/math].
Доказательство:
[math]\triangleright[/math]

Опишем на графе следующий алгоритм раскраски:

  • Из произвольной вершины [math]v[/math] запустим алгоритм поиска в глубину. Пусть [math]T[/math] — дерево обхода глубина графа [math]G[/math] с корнем в вершине [math]v[/math].
  • Произвольную вершину [math]u[/math], покрасим в цвет [math]dist(v,u)[/math] [math] \bmod [/math] [math] (\Delta + 1)[/math], где [math]dist(v,u)[/math]— расстояние между вершинами [math]u,v[/math] в графe [math]T[/math].

Докажем от противного, что после выполнения описанного алгоритма граф [math]G[/math] будет правильно раскрашен. Предположим, что после выполнения алгоритма покраски в графе существует ребро, соединяющее вершины [math] a, b [/math] одного цвета. Пусть [math]color(v)[/math] — цвет вершины после выполнения алгоритма раскраски. Заметим, что для произвольной вершины графа [math]p[/math], [math]dist(v,p) = color(p) + n(\Delta + 1)[/math] , [math]n \geqslant 0 [/math]. Тогда, [math]dist(v,a) - dist(v,b) = k(\Delta + 1)[/math]. Поскольку в дереве dfs между вершинами находящимися на одинаковом расстоянии от корня нет перекрестных ребер, то [math] k \geqslant 1[/math]. То есть, вершины [math]a, b[/math] лежат на простом цикле длины по крайней мере [math]\Delta + 2[/math]. Получается противоречие с условием потому, что длина максимального простого цикла получается больше чем [math]\Delta[/math].

Таким образом в графе [math]G[/math] после выполнения алгоритма раскраски нет вершин одного цвета соединенных ребром и при этом каждая вершина покрашена в один из [math]\Delta + 1[/math], то есть [math]G[/math] правильно раскрашен в [math]\Delta + 1[/math] цвет, следовательно [math]\chi(G) \leqslant \Delta(G) + 1[/math]
[math]\triangleleft[/math]

Нижняя оценка числом независимости

Определение:
Подмножество [math]S[/math] вершин графа [math]G[/math] называется независимым, если любые две вершины из [math]S[/math] не смежны в [math]G[/math]


Определение:
Число независимости [math]\alpha(G)[/math] графа [math]G(V,E)[/math][math]\max \{|S|:S \in V[/math] и [math]S[/math] независимо в G[math]\}[/math]
Лемма (нижняя оценка):
Пусть [math]G(V,E)[/math] — произвольный связный неориентированный граф с [math]n[/math] вершинами .Тогда, [math]n/\alpha \leqslant \chi(G)[/math].
Доказательство:
[math]\triangleright[/math]

Пусть, [math]V_1,V_2...V_\chi[/math] множеств вершин окрашенных в соответствующие цвета при правильно покраски графа [math]G[/math].Каждое из [math]V_i[/math] — независимое множество (поскольку вершины множества покрашены в один цвет при правильной покраски графа [math]G[/math], следовательно, они попарно не смежны внутри множества ).

Заметим, что для произвольного [math]i[/math], [math]|V_i| \leqslant \alpha[/math] (т.к [math]V_i[/math] независимое множество). То есть, [math]\sum\limits^{\chi}_{i = 1}|V_i| = n \leqslant \chi \alpha [/math], следовательно [math]n / \alpha \leqslant \chi[/math].
[math]\triangleleft[/math]

Верхняя оценка количеством ребер

Лемма (верхняя оценка):
Пусть [math]G(V,E)[/math] — произвольный связный неориентированный граф с [math]m[/math] ребрами.Тогда, [math]\chi(G) \leqslant \dfrac{1}{2} +\sqrt{2m + \dfrac{1}{4}}[/math].
Доказательство:
[math]\triangleright[/math]

Пусть, [math]V_1,V_2...V_\chi[/math] множеств вершин окрашенных в соответствующие цвета при правильно покраски графа [math]G[/math]. Заметим, что между любыми двумя различными множествами существует хотя бы одно ребро (в противном случаи эти множества можно было бы покрасить в один цвет).

Тогда, [math]\dfrac{1}{2}\chi(\chi-1) \leqslant m \Rightarrow (\chi - \dfrac{1}{2})^2 \leqslant 2m + \dfrac{1}{4} \Rightarrow \chi(G) \leqslant \dfrac{1}{2} +\sqrt{2m + \dfrac{1}{4}} [/math].
[math]\triangleleft[/math]

Нижняя оценка количеством ребер и количеством вершин

Лемма (нижняя оценка Геллера):
Пусть [math]G(V,E)[/math] — произвольный связный неориентированный граф с [math]n[/math] вершинами и [math]m[/math] ребрами. Тогда, [math]\dfrac{n^2}{n^2 - 2m} \leqslant \chi(G) [/math].
Доказательство:
[math]\triangleright[/math]

Пусть, [math]V_1,V_2...V_\chi[/math] множеств вершин окрашенных в соответствующие цвета при правильно покраски графа [math]G[/math].

[math]m \leqslant \dfrac{1}{2}n(n - 1) - \dfrac{1}{2}\sum\limits^{\chi}_{i = 1}|V_i|(|V_i| - 1) \Rightarrow \dfrac{n^2}{n^2 - 2m} \leqslant \dfrac{n^2}{n^2 -n(n - 1) + \sum\limits^{\chi}_{i = 1}|V_i|(|V_i| - 1)} = \dfrac{n^2}{n + \sum\limits^{\chi}_{i = 1}|V_i|(|V_i| - 1)} = \dfrac{n^2}{\sum\limits^{\chi}_{i = 1}|V_i| + \sum\limits^{\chi}_{i = 1}|V_i|(|V_i| - 1)} = \dfrac{n^2}{\sum\limits^{\chi}_{i = 1}|V_i|^2} = \dfrac{(\sum\limits^{\chi}_{i = 1}|V_i|)^2}{\sum\limits^{\chi}_{i = 1}|V_i|^2} \leqslant \chi[/math].
[math]\triangleleft[/math]

См. также

Источники информации