Основы теории графов 10: экстремальная теория графов

29
Основы теории графов осень 2013 Александр Дайняк www.dainiak.com

Upload: alex-dainiak

Post on 07-Jul-2015

166 views

Category:

Education


1 download

DESCRIPTION

Доказываем теорему Турана, а затем теорему Эрдёша—Стоуна—Симоновица(Шимоновича) о связи хроматического числа подграфа с максимальным числом рёбер в графе, его не содержащего. [Слайды курса, прочитанного в МФТИ в 2013 году.]

TRANSCRIPT

Page 1: Основы теории графов 10: экстремальная теория графов

Основы теории графовосень 2013

Александр Дайняк

www.dainiak.com

Page 2: Основы теории графов 10: экстремальная теория графов

Задача Турана

• Пусть у нас есть пустой граф 𝐺 ≔ 𝐾𝑛.

• Будем добавлять в 𝐺 рёбра по одному.

• На каком шаге в графе 𝐺 точно появится треугольник? А клика на 𝑘 вершинах?

Иными словами,

• Сколько рёбер должно быть в графе на 𝑛 вершинах, чтобы он наверняка содержал клику на 𝑘 вершинах?

• Как много рёбер может быть в графе на 𝑛 вершинах, не содержащем клику на 𝑘 вершинах?

Page 3: Основы теории графов 10: экстремальная теория графов

Задача Турана

Задача Турана — типичный пример задачи из экстремальной теории графов.

Общая постановка экстремальных задач обычно такая:

• Как много/мало рёбер/вершин/… может быть в графе, имеющем заданные свойства?

• Как «выглядят» графы, на которых достигаются экстремумы?

Page 4: Основы теории графов 10: экстремальная теория графов

Теорема Турана

Теорема. (Turán ’1941)Пусть 𝐺 — граф на 𝑛 вершинах, и 𝜔 𝐺 ≤ 𝑘. И пусть 𝐺 имеет наибольшее число рёбер среди всех графов с указанными свойствами.

Тогда 𝐺 является полным 𝑘-дольным графом, в котором мощности любых двух долей отличаются не более чем на 1.

Такие графы называютсяграфами Турана.

Page 5: Основы теории графов 10: экстремальная теория графов

Теорема Турана

Доказательство:

Вначале докажем, что 𝐺 полный 𝑘-дольный.

Заметим, что 𝜔 𝐺 = 𝑘, т.к. иначе в 𝐺 можно было бы добавить произвольное ребро, сохранив неравенство 𝜔 𝐺 ≤ 𝑘.

Далее докажем, что для любых 𝑢, 𝑣, 𝑤 ∈ V 𝐺 если 𝑢𝑣, 𝑣𝑤 ∉ 𝐸 𝐺 , то 𝑢𝑤 ∉ 𝐸 𝐺 .

Допустим, это не так, и нашлись 𝑢, 𝑣, 𝑤, такие, что 𝑢𝑣, 𝑣𝑤 ∉ 𝐸 𝐺 и 𝑢𝑤 ∈ 𝐸 𝐺 . Покажем, что тогда число рёбер в 𝐺 можно увеличить.

Page 6: Основы теории графов 10: экстремальная теория графов

𝑣

Теорема Турана

Допустим, что 𝑢𝑣, 𝑣𝑤 ∉ 𝐸 𝐺 и 𝑢𝑤 ∈ 𝐸 𝐺 .

Случай 1: 𝑑 𝑣 < 𝑑 𝑢 . Тогда рассмотрим граф 𝐺′, для которого

𝐸 𝐺′ ≔ 𝐸 𝐺 − 𝑣 ∪ 𝑣𝑥 ∣ 𝑥 ∈ 𝑁 𝑢 в 𝐺

В 𝐺′ по-прежнему нет клик размера 𝑘 + 1 , и при этом 𝐺′ = 𝐺 − 𝑑 𝑣 + 𝑑 𝑢 > 𝐺 , противоречие с

максимальностью 𝐺 .

𝐺 − 𝑢, 𝑣, 𝑤

𝑢 𝑤𝑣

𝐺′ − 𝑢, 𝑣, 𝑤

𝑢 𝑤

Page 7: Основы теории графов 10: экстремальная теория графов

Теорема Турана

Случай 2: 𝑑 𝑣 < 𝑑 𝑤 — аналогичен случаю 1.Случай 3: 𝑑 𝑣 ≥ 𝑑 𝑢 и 𝑑 𝑣 ≥ 𝑑 𝑤 .Тогда рассмотрим граф 𝐺′, для которого

𝐸 𝐺′ ≔ 𝐸 𝐺 − 𝑢, 𝑤 ∪ 𝑢𝑥, 𝑤𝑥 ∣ 𝑥 ∈ 𝑁 𝑣 в 𝐺

В 𝐺′ по-прежнему нет клик размера 𝑘 + 1 , а рёберстрого больше, чем в 𝐺:

𝐺′ = 𝐺 − 𝑑 𝑢 + 𝑑 𝑤 − 1 + 2𝑑 𝑣 > 𝐺

𝐺 − 𝑢, 𝑣, 𝑤

𝑢 𝑤𝑣

𝐺′ − 𝑢, 𝑣, 𝑤

𝑢 𝑤𝑣

Page 8: Основы теории графов 10: экстремальная теория графов

Теорема Турана

Мы доказали «транзитивность несмежности»: для любых 𝑢, 𝑣, 𝑤 ∈𝑉 𝐺 если 𝑢𝑣, 𝑣𝑤 ∉ 𝐸 𝐺 , то 𝑢𝑤 ∉ 𝐸 𝐺 .

Пусть 𝐴 = 𝑣1, … , 𝑣𝑘 — клика в 𝐺, и пусть 𝑣 — любая вершина из 𝑉 𝐺 ∖ 𝐴.

Вершина 𝑣 не может быть смежна со всеми вершинами из 𝐴, иначе было бы 𝜔 𝐺 ≥ 𝑘 + 1.Также 𝑣 не может быть несмежна более чем с одной вершиной из 𝐴, иначе получаем противоречие с транзитивностью несмежности.

Page 9: Основы теории графов 10: экстремальная теория графов

Теорема Турана

Пусть 𝐴 = 𝑣1, … , 𝑣𝑘 — клика в 𝐺.

Пусть 𝑉𝑖 — все вершины графа 𝐺, не смежные с вершиной 𝑣𝑖 (сама 𝑣𝑖 принадлежит 𝑉𝑖).

Мы показали, что каждая вершина графа 𝐺 не смежна ровно с одной вершиной клики 𝐴, следовательно 𝑉 𝐺 = 𝑉1 ⊔ ⋯ ⊔ 𝑉𝑘.

Из транзитивности несмежности следует, что при каждом 𝑖множество 𝑉𝑖 независимое, следовательно, 𝐺 — полный 𝑘-дольный граф.

Page 10: Основы теории графов 10: экстремальная теория графов

Теорема Турана

Осталось доказать «почти-равномощность» долей графа 𝐺.

Положим 𝑛𝑖 ≔ 𝑉𝑖 . Имеем

𝐺 =

1≤𝑖<𝑗≤𝑘

𝑛𝑖𝑛𝑗 =1

2∑𝑛𝑖

2 − ∑𝑛𝑖2

Следовательно, чтобы величина 𝐺 была максимальной, нужно,

чтобы сумма ∑𝑖 𝑛𝑖2 была минимальна при ограничении ∑𝑖 𝑛𝑖 = 𝐺 .

Покажем, что 𝑛𝑖 − 𝑛𝑗 ≤ 1 для любых 𝑖 и 𝑗.

Page 11: Основы теории графов 10: экстремальная теория графов

Теорема Турана

Покажем, что 𝑛𝑖 − 𝑛𝑗 ≤ 1 для любых 𝑖 и 𝑗.

Допустим, что это не так: например, 𝑛1 − 𝑛2 ≥ 2.

Тогда рассмотрим набор чисел 𝑛1′ , … , 𝑛𝑘

′ , где 𝑛1′ ≔ 𝑛1 − 1, 𝑛2

′ ≔𝑛2 + 1, и 𝑛𝑖

′ ≔ 𝑛𝑖 при 𝑖 > 2.

Имеем

∑𝑛𝑖2 − ∑ 𝑛𝑖

′ 2 = 𝑛12 + 𝑛2

2 − 𝑛1 − 1 2 − 𝑛2 + 1 2 == 2 𝑛1 − 𝑛2 − 1 > 0,

что противоречит максимальности 𝐺 .

Page 12: Основы теории графов 10: экстремальная теория графов

Теорема Эрдёша—Стоуна

Можно обобщить вопрос Турана с клик на произвольные подграфы:

• Каково максимальное число рёбер в графе на 𝑛 вершинах, не содержащем заданного подграфа 𝐻? Обозначим это числоex𝐻 𝑛 .

Теорема (Erdős, Stone, Simonovits ’1946, 1966)Для любого фиксированного 𝐻 при 𝑛 → ∞

ex𝐻 𝑛

𝑛 𝑛 − 1 2→

𝜒 𝐻 − 2

𝜒 𝐻 − 1

Page 13: Основы теории графов 10: экстремальная теория графов

Теорема Эрдёша—Стоуна—Симоновица

Лемма.

Для любых 𝑟, 𝑡 ∈ ℕ и любого 휀 ∈ 0, 1

𝑟при всех достаточно

больших 𝑛 (т.е. для всех 𝑛 начиная с некоторого 𝑛0 = 𝑛0 𝑟, 𝑡 ) в

любом графе на 𝑛 вершинах с 1 − 1

𝑟+ 휀 ⋅

𝑛2

2рёбрами найдётся

полный 𝑟 + 1 -дольный подграф, в котором мощность каждой доли не меньше 𝑡.

Page 14: Основы теории графов 10: экстремальная теория графов

Доказательство леммы: ищем подграф с большой 𝛿

Индукция по 𝑟.

• Полный 𝑟 + 1 -дольный подграф найдётся при 𝑟 = 0— можно взять произвольные 𝑡 вершин.

• Пусть граф 𝐺 удовлетворяет условиям Леммы, и пусть для всех меньших значениях 𝑟 (и при любых 𝑡) утверждение леммы выполнено.Докажем, что в 𝐺 есть нужный 𝑟 + 1 -дольный подграф.

Page 15: Основы теории графов 10: экстремальная теория графов

Доказательство леммы:ищем подграф с большой 𝛿

Сначала найдём в 𝐺 подграф, в котором степень каждой вершины большая:

1. Пусть в 𝐺 есть вершина 𝑣, такая, что

deg 𝑣 < 1 − 1𝑟 + 𝜀

2 ⋅ 𝐺

2. Тогда полагаем 𝐺 ≔ 𝐺 − 𝑣 и возвращаемся на шаг 1 (при этом 𝐺 , очевидно, уменьшается на единицу).

Вопрос: сколько шагов придётся сделать до остановки (сколько вершин выживет)?

Page 16: Основы теории графов 10: экстремальная теория графов

Доказательство леммы: ищем подграф с большой 𝛿

Пусть процесс завершился и мы пришли к графу на 𝑛′ вершинах. Тогда количество рёбер, которые мы удалили из 𝐺, не превосходит

𝑘=𝑛′+1

𝑛

1 − 1𝑟 + 𝜀

2 ⋅ 𝑘 = 1 − 1𝑟 + 𝜀

2 ⋅𝑛 − 𝑛′ 𝑛 + 𝑛′ + 1

2

≤ 1 − 1𝑟 + 𝜀

2 ⋅𝑛2 − 𝑛′2

2+

𝑛 − 𝑛′

2

Page 17: Основы теории графов 10: экстремальная теория графов

Доказательство леммы: ищем подграф с большой 𝛿

Мы пришли к графу на 𝑛′ вершинах, количество рёбер в котором не

менее чем

𝐺 − 1 − 1𝑟

+ 𝜀2

⋅𝑛2 − 𝑛′2

2+

𝑛 − 𝑛′

2≥

≥ 1 − 1𝑟 + 휀 ⋅

𝑛2

2− 1 − 1

𝑟 + 𝜀2 ⋅

𝑛2 − 𝑛′2

2−

𝑛 − 𝑛′

2

=휀

2⋅𝑛2

2+ 1 − 1

𝑟 + 𝜀2 ⋅

𝑛′2

2−

𝑛 − 𝑛′

2

С другой стороны, рёбер в нём не более чем 𝑛′2 2.

Page 18: Основы теории графов 10: экстремальная теория графов

Доказательство леммы: ищем подграф с большой 𝛿

Получаем неравенство

𝑛′2

2≥

2⋅𝑛2

2+ 1 − 1

𝑟+ 𝜀

2⋅𝑛′2

2−

𝑛 − 𝑛′

2

Отсюда

1𝑟 − 𝜀

2 ⋅ 𝑛′2 − 𝑛′ ≥휀𝑛2

2− 𝑛

И следовательно 𝑛′2 ≥𝜀𝑛2

2− 𝑛.

Page 19: Основы теории графов 10: экстремальная теория графов

Доказательство леммы: ищем подграф с большой 𝛿

𝑛′2 ≥휀𝑛2

2− 𝑛

Главный вывод: 𝑛′ неограниченно растёт при росте 𝑛.

Поэтому будем доказывать лемму в предположении, что мы уже преобразовали 𝐺 так, что 𝛿 𝐺 ≥ 1 − 1

𝑟+ 𝜀

2⋅ 𝐺 .

Page 20: Основы теории графов 10: экстремальная теория графов

Доказательство леммы: применяем индуктивное предположение

• Полагаем, что 𝛿 𝐺 ≥ 1 − 1

𝑟+ 𝜀

2⋅ 𝐺 .

Обозначим 𝑡 ≔ 4𝑡 휀 .

Т.к. количество рёбер в 𝐺 не меньше

1

2⋅ 𝐺 ⋅ 𝛿 𝐺 >

𝐺 2

2⋅ 1 − 1

𝑟−1 + 𝜀2 ,

то, по предположению индукции, при достаточно большом 𝐺 в 𝐺

найдётся полный 𝑟-дольный подграф с долями 𝐴1, … , 𝐴𝑟, где 𝐴𝑖 = 𝑡 для каждого 𝑖.

Page 21: Основы теории графов 10: экстремальная теория графов

Доказательство леммы: ищем недостающую долю

• 𝛿 𝐺 ≥ 1 − 1

𝑟+ 𝜀

2⋅ 𝐺 .

• В 𝐺 есть полный 𝑟-дольный подграф с долями 𝐴1, … , 𝐴𝑟, где 𝐴𝑖 = 𝑡 = 4𝑡 휀 .

Пусть 𝐴 ≔ 𝑉 𝐺 ∖ 𝐴1 ∪ ⋯ ∪ 𝐴𝑟 .

Пусть 𝐴good — множество всех таких 𝑣 ∈ 𝐴, что для каждого 𝑖 ∈

1, … , 𝑟 из 𝑣 в 𝐴𝑖 идут не менее чем 𝑡 рёбер.

Page 22: Основы теории графов 10: экстремальная теория графов

Доказательство леммы: ищем недостающую долю• 𝛿 𝐺 ≥ 1 − 1

𝑟+ 𝜀

2⋅ 𝐺 .

• В 𝐺 есть полный 𝑟-дольный подграф с долями 𝐴1, … , 𝐴𝑟, где 𝐴𝑖 = 𝑡 = 4𝑡 휀 .

• 𝐴good ≔ 𝑣 ∈ 𝐴 ∣ ∀𝑖 𝑁 𝑣 ∩ 𝐴𝑖 ≥ 𝑡

Количество пар несмежных вершин из 𝐴 × 𝐴1 ∪ ⋯ ∪ 𝐴𝑟 не превосходит

𝐴1 ∪ ⋯ ∪ 𝐴𝑟 ⋅ 𝐺 − 𝛿 𝐺 ≤ 𝑟 𝑡 ⋅ 1𝑟 − 𝜀

2 ⋅ 𝐺

Это же количество пар вершин не меньше𝐴 − 𝐴good ⋅ 𝑡 − 𝑡 = 𝐺 − 𝑟 𝑡 − 𝐴good ⋅ 𝑡 − 𝑡

Page 23: Основы теории графов 10: экстремальная теория графов

Доказательство леммы: ищем недостающую долю

• 𝛿 𝐺 ≥ 1 − 1

𝑟+ 𝜀

2⋅ 𝐺 .

• В 𝐺 есть полный 𝑟-дольный подграф с долями 𝐴1, … , 𝐴𝑟, где 𝐴𝑖 = 𝑡 = 4𝑡 휀 .

• 𝐴good ≔ 𝑣 ∈ 𝐴 ∣ ∀𝑖 𝑁 𝑣 ∩ 𝐴𝑖 ≥ 𝑡

Имеем

𝐺 − 𝑟 𝑡 − 𝐴good ⋅ 𝑡 − 𝑡 ≤ 𝑟 𝑡 ⋅ 1𝑟 − 𝜀

2 ⋅ 𝐺 .

Отсюда

𝐴good ≥𝜀2

⋅ 𝑟 𝑡 − 𝑡 ⋅ 𝐺 − 𝑟 𝑡 𝑡 − 𝑡

𝑡 − 𝑡≥

𝑡 ⋅ 𝐺 − 𝑟 𝑡2

𝑡

Page 24: Основы теории графов 10: экстремальная теория графов

Доказательство леммы: ищем недостающую долю

• В 𝐺 есть полный 𝑟-дольный подграф с долями 𝐴1, … , 𝐴𝑟,

где 𝐴𝑖 = 𝑡 = 4𝑡 휀 .

• 𝐴good ≔ 𝑣 ∈ 𝐴 ∣ ∀𝑖 𝑁 𝑣 ∩ 𝐴𝑖 ≥ 𝑡

Имеем 𝐴good ≥ 𝑡 ⋅ 𝐺 − 𝑟 𝑡2 𝑡.

Поскольку 𝑡, 𝑟, 𝑡 — константы, а 𝐺 растёт, то можно добиться, чтобы

𝐴good > 𝑡

𝑡

𝑟

⋅ 𝑡 − 1 .

Page 25: Основы теории графов 10: экстремальная теория графов

Доказательство леммы: ищем недостающую долю• В 𝐺 есть полный 𝑟-дольный подграф с долями 𝐴1, … , 𝐴𝑟, где 𝐴𝑖 = 𝑡.

• 𝐴good ≔ 𝑣 ∈ 𝐴 ∣ ∀𝑖 𝑁 𝑣 ∩ 𝐴𝑖 ≥ 𝑡

• 𝐴good > 𝑡𝑡

𝑟⋅ 𝑡 − 1 .

Удалим из 𝐺 произвольные рёбра, так, чтобы выполнялось условие∀𝑣 ∈ 𝐴good ∀𝑖 𝑁 𝑣 ∩ 𝐴𝑖 = 𝑡

Page 26: Основы теории графов 10: экстремальная теория графов

Доказательство леммы: ищем недостающую долю

• В 𝐺 есть полный 𝑟-дольный подграф с долями 𝐴1, … , 𝐴𝑟, где 𝐴𝑖 = 𝑡.

• 𝐴good ≔ 𝑣 ∈ 𝐴 ∣ ∀𝑖 𝑁 𝑣 ∩ 𝐴𝑖 = 𝑡

• 𝐴good > 𝑡𝑡

𝑟⋅ 𝑡 − 1 .

При 𝑣 ∈ 𝐴good число различных вариантов для множества

𝑁 𝑣 ∩ 𝐴1 ⊔ ⋯ ⊔ 𝐴𝑟 равно 𝑡𝑡

𝑟.

По принципу Дирихле, в 𝐴good найдутся 𝑡 вершин, у которых

окрестности в 𝐴1 ∪ ⋯ ∪ 𝐴𝑟 совпадают.

Эти вершины и составят множество 𝐴𝑟+1.

Page 27: Основы теории графов 10: экстремальная теория графов

Теорема Эрдёша—Стоуна

Теорема (Erdős, Stone, Simonovits ’1946, 1966)Для любого фиксированного 𝐻 при 𝑛 → ∞ имеем

ex𝐻 𝑛

𝑛 𝑛 − 1 2→

𝜒 𝐻 − 2

𝜒 𝐻 − 1

Переформулировка теоремы.Для любого фиксированного графа 𝐻 и любого 휀 > 0 при всех достаточно больших 𝑛в любом 𝑛-вершинном графе 𝐺, таком, что

𝐺 ≥ 1 −1

𝜒 𝐻 − 1+ 휀 ⋅

𝑛2

2,

найдётся подграф, изоморфный 𝐻.

С другой стороны, найдётся 𝑛-вершинный граф с числом рёбер

≥ 1 −1

𝜒 𝐻 − 1− 휀 ⋅

𝑛2

2

в котором нет подграфов, изоморфных 𝐻.

Page 28: Основы теории графов 10: экстремальная теория графов

Доказательство теоремы Эрдёша—Стоуна: существование графа без 𝐻Рассмотрим полный 𝜒 𝐻 − 1 -дольный граф 𝐺, в котором каждая доля имеет размер ∼ 𝐺

𝜒 𝐻 −1.

Граф 𝐺 не содержит подграфов, изоморфных 𝐻, поскольку 𝜒 𝐺 < 𝜒(𝐻).

При этом

𝐺 ∼𝜒 𝐻 − 1

2⋅

𝐺

𝜒 𝐻 − 1

2

=𝐺 2

2⋅𝜒 𝐻 − 2

𝜒 𝐻 − 1

Page 29: Основы теории графов 10: экстремальная теория графов

Доказательство теоремы Эрдёша—Стоуна: наличие 𝐻 в графе с большим числом рёбер

Пусть теперь 𝐺 — большой произвольный граф, такой, что

𝐺 ≥ 1 −1

𝜒 𝐻 − 1+ 휀 ⋅

𝐺 2

2.

По Лемме (применённой с 𝑟 ≔ 𝜒 𝐻 − 1 и 𝑡 ≔ 𝐻 ), в 𝐺 есть полный 𝜒 𝐻 -дольный подграф 𝐺′ с мощностью каждой доли ≥ 𝐻 . Очевидно, что 𝐻 ⊆ 𝐺′.