Основы комбинаторики - IIDEVTYPE4.1 Материалы модуля
4.2 k-перестановки из n элементов
4.3 Урновые схемы и схемы раскладки по ящикам.
4.4 Подсчет отображений конечных множеств
4.5 Рекуррентные соотношения
Основы комбинаторики - IDEVTYPE3.2 Основные понятия теории множеств
3.3 Основные правила перечислительной комбинаторики
3.4 Принцип Дирихле
3.5 K-сочетания из n-элементов
Границы Плоткина и Элайеса—БассалыгоAlex DainiakГраница Плоткина.
Вложение метрических пространств. Лемма о числе векторов в евклидовом пространстве. Граница Элайеса—Бассалыго.
Коды Адамара. Каскадные коды Форни.Alex DainiakМатрицы Адамара. Конструкции Сильвестра и Пэли. Коды на основе матриц Адамара.
Каскадные коды. Коды Форни: конструкция и простой алгоритм декодирования.
Квадратичная математикаDEVTYPEДля чтения не требуется почти никаких предварительных знаний, по крайней мере, ничего выходящего за рамки школьной программы. Исключение составляет только последний раздел.
Основы теории графов 10: экстремальная теория графовAlex DainiakДоказываем теорему Турана, а затем теорему Эрдёша—Стоуна—Симоновица(Шимоновича) о связи хроматического числа подграфа с максимальным числом рёбер в графе, его не содержащего.
[Слайды курса, прочитанного в МФТИ в 2013 году.]
Линейная алгебра - IDEVTYPE1.3 Линейное (векторное) пространство
1.4 Существование решений систем линейных уравнений
1.5 Решение систем линейных алгебраических уравнений
Коды на основе многочленов и алгоритмы их декодированияAlex DainiakКоды Рида—Соломона. Алгоритм декодирования Берлекэмпа—Велча.
Коды Рида—Маллера: кодовое расстояние, алгоритм мажоритарного декодирования.
Варианты обобщений конструкции Рида—Маллера. Лемма Липтона—ДеМилло—Шварца—Зиппеля. Понятие об алгеброгеометрических кодах.
Границы Плоткина и Элайеса—БассалыгоAlex DainiakГраница Плоткина.
Вложение метрических пространств. Лемма о числе векторов в евклидовом пространстве. Граница Элайеса—Бассалыго.
Коды Адамара. Каскадные коды Форни.Alex DainiakМатрицы Адамара. Конструкции Сильвестра и Пэли. Коды на основе матриц Адамара.
Каскадные коды. Коды Форни: конструкция и простой алгоритм декодирования.
Квадратичная математикаDEVTYPEДля чтения не требуется почти никаких предварительных знаний, по крайней мере, ничего выходящего за рамки школьной программы. Исключение составляет только последний раздел.
Основы теории графов 10: экстремальная теория графовAlex DainiakДоказываем теорему Турана, а затем теорему Эрдёша—Стоуна—Симоновица(Шимоновича) о связи хроматического числа подграфа с максимальным числом рёбер в графе, его не содержащего.
[Слайды курса, прочитанного в МФТИ в 2013 году.]
Линейная алгебра - IDEVTYPE1.3 Линейное (векторное) пространство
1.4 Существование решений систем линейных уравнений
1.5 Решение систем линейных алгебраических уравнений
Коды на основе многочленов и алгоритмы их декодированияAlex DainiakКоды Рида—Соломона. Алгоритм декодирования Берлекэмпа—Велча.
Коды Рида—Маллера: кодовое расстояние, алгоритм мажоритарного декодирования.
Варианты обобщений конструкции Рида—Маллера. Лемма Липтона—ДеМилло—Шварца—Зиппеля. Понятие об алгеброгеометрических кодах.
Задача о ближайшем кодовом слове. Коды Галлагера—Сипсера—ШпильманаAlex DainiakСложность задачи декодирования линейных кодов: задача NCP (задачи о ближайшем кодовом слове).
Графы-расширители. Вероятностное доказательство существования расширителей. Коды на основе двудольных графов. Кодовое расстояние кодов на основе расширителей. Алгоритм декодирования Сипсера—Шпильмана.
Основы теории графов 04: метрики на деревьяхAlex DainiakДоказываем теорему Зарецкого о существовании дерева с заданными расстояниями между вершинами.
[Слайды курса, прочитанного в МФТИ в 2013 году.]
Основы теории графов 02: факторизация графов (разложение на простые подграфы)Alex DainiakДоказываем теоремы о разложении полных графов на полные двудольные: Грэхема—Поллака и Анселя. Доказываем теорему Татта о критерии существования совершенного паросочетания в произвольном графе.
[Слайды курса, прочитанного в МФТИ в 2013 году.]
Графовая модель канала связи. Шенноновская ёмкостьAlex DainiakГрафовая модель канала. Шенноновское произведение графов, шенноновская ёмкость. Теорема о верхней оценке шенноновской ёмкости.
Циклические коды. Граница БЧХAlex DainiakЦиклические коды. Проверочный и порождающий многочлены, критерий существования кода с заданным порождающим многочленом. Вид порождающей и проверочной матриц. Систематическое кодирование.
Граница Боуза—Чоудхури—Хоквингема.
Циклические коды БЧХ, Хемминга. Восстановление синхронизацииAlex DainiakКоды БЧХ.
Задача восстановления синхронизации. Восстановление синхронизации для смежных классов циклических кодов.
Циклическое представление кодов Хемминга. Совершенные коды. Коды Голея. Теорема Васильева.
Основы теории графов 09: раскраски планарных графов, совершенные графыAlex DainiakРассматриваем раскраски планарных графов и другие темы, связанные с раскрасками. Доказываем теорему Томассена о том, что списочное хроматическое число любого планарного графа не превышает пяти. Доказываем теорему Эрдёша о том, что существуют графы с большим хроматическим числом и одновременно большим обхватом.
Рассматриваем совершенные графы и доказываем слабую гипотезу Бержа.
[Слайды курса, прочитанного в МФТИ в 2013 году.]
Коды, исправляющие ошибки. Простейшие границы. Коды Варшамова—Тененгольца.Alex DainiakЗадача исправления и обнаружения ошибок. Геометрическая интерпретация. Типы ошибок. Метрики Хемминга и Левенштейна. Кодовое расстояние. Основные задачи теории кодов, исправляющих ошибки.
Коды Варшамова—Тененгольца, алгоритмы исправления одиночных ошибок выпадения и вставки символов.
Простейшие границы для параметров кодов, исправляющих ошибки замещения: границы сферической упаковки, Синглтона.
Основы теории графов 11: гамильтоновы циклыAlex DainiakДоказываем достаточные условия существования в графе гамильтоновых циклов: условия Эрдёша—Хватала, Асратяна—Хачатряна, Хватала. Доказываем необходимые условия существования гамильтонова цикла в планарном графе (теорема Гринберга).
[Слайды курса, прочитанного в МФТИ в 2013 году.]
Основы теории графов 07: сепараторы в планарных графахAlex DainiakДоказываем теорему Липтона—Тарджена о существовании хороших разделяющих множеств (сепараторов) в планарных графах.
[Слайды курса, прочитанного в МФТИ в 2013 году.]
Основы теории графов 08: раскраски и списочные раскраскиAlex DainiakВводим понятие списочной раскраски. Демонстрируем различие между обчным и списочным хроматическим числом. Доказываем теоремы Брукса и Визинга. Доказываем теорему Алона об оценки списочного хроматического числа через минимальную степень вершин. Доказываем верхнюю оценку на списочное хроматическое число через обычное.
[Слайды курса, прочитанного в МФТИ в 2013 году.]
Основы теории графов 06: триангуляции и трёхсвязные планарные графыAlex DainiakВводим понятие триангуляций. Доказываем, что триангуляции трёхсвязны. Доказываем критерий Татта о том, когда множество образует границу грани в трёхсвязном планарном графе. Доказываем теорему Вагнера—Фари о том, что у любого планарного графа существует укладка, в которой рёбра — отрезки прямых линий.
[Слайды курса, прочитанного в МФТИ в 2013 году.]
Основы теории графов 05: критерии планарности графовAlex DainiakВводим определение укладки, планарных графов, доказываем критерии планарности Вагнера и Понтрягина—Куратовского.
[Слайды курса, прочитанного в МФТИ в 2013 году.]
Основы теории графов 03: связностьAlex DainiakОбсуждаем два определения k-связности. Доказываем теорему Менгера об их эквавалентности (через теорему Форда—Фалкерсона). Доказываем теоремы о построении 2-связных и 3-связных графов. Вводим деревья блоков и точек сочленения. Доказываем теорему Мадера о существовании k-связного подграфа.
[Слайды курса, прочитанного в МФТИ в 2013 году.]
Основы теории графов 01: напоминание определений, теорема Форда—ФалкерсонаAlex DainiakВспоминаем определения изоморфизма, связности, соседства и т.п. Доказываем (напоминаем) теорему Форда—Фалкерсона, из которой на следующей лекции выведем теорему Менгера.
[Слайды курса, прочитанного в МФТИ в 2013 году.]
Конспект лекций по теории кодированияAlex DainiakСобранные в один файл конспекты лекций по теории кодов, исправляющих ошибки. Лекции читаются на факультете ФИВТ МФТИ.
Последняя версия этого файла всегда доступна на www.dainiak.com
Приложения теории кодированияAlex DainiakПриложения кодов, исправляющих ошибки. Рандомизированный протокол в коммуникационной сложности. Криптосхема МакЭлиса. Однородные (псевдослучайные) множества на основе кодов, их приложения к дерандомизации задачи выполнимости и к задаче разделения секрета.
Линейные кодыAlex DainiakЛинейные коды. Определения. Порождающая и проверочная матрицы. Связь кодового расстояния с проверочной матрицей. Граница Варшамова—Гилберта. Систематическое кодирование. Декодирование по синдрому. Коды Хемминга.
Остаточный код. Граница Грайсмера—Соломона—Штиффлера.
2. Одно обобщение деления многочленов
Утверждение.
Пусть 𝑃 ∈ 𝔽 𝑥1, … , 𝑥 𝑚 и 𝑃 ∈ 𝔽 𝑥𝑖 — произвольные ненулевые многочлены.
Тогда существуют 𝑄, 𝑅 ∈ 𝔽 𝑥1, … , 𝑥 𝑚 , такие, что
𝑃 = 𝑃 ⋅ 𝑄 + 𝑅,
и deg 𝑥 𝑖
𝑅 < deg 𝑥 𝑖
𝑃.
Доказательство: во всех мономах 𝑃, куда 𝑥𝑖 входит в степени больше
deg 𝑥 𝑖
𝑅, заменяем эту степень, выразив её через 𝑃.
По сути, это «деление столбиком», в котором мы рассматриваем 𝑃 как
многочлен от 𝑥𝑖 с коэффициентами из 𝔽 𝑥1, … , 𝑥𝑖−1, 𝑥𝑖+1, … , 𝑥 𝑚 .
4. Теорема Алона о нулях
Теорема.
Пусть 𝑃 ∈ 𝔽 𝑥1, … , 𝑥 𝑚 — произвольный полином,
и пусть 𝑥1
𝑡1
⋅ … ⋅ 𝑥 𝑚
𝑡 𝑚
— моном старшей степени, то есть 𝑖 𝑡𝑖 = deg 𝑃.
Пусть 𝑆1, … , 𝑆 𝑚 ⊆ 𝔽 — произвольные множества, такие, что 𝑆𝑖 ≥ 𝑡𝑖 + 1
для всех 𝑖.
Тогда найдутся такие 𝑠1 ∈ 𝑆1, … , 𝑠 𝑚 ∈ 𝑆 𝑚, что
𝑃 𝑠1, … , 𝑠 𝑚 ≠ 0
5. Доказательство теоремы Алона
Доказательство: индукция по deg 𝑃.
Если deg 𝑃 = 1, то 𝑃 — линейная форма:
𝑃 𝑥1, … , 𝑥 𝑚 = 𝑐0 +
𝑖
𝑐𝑖 𝑥𝑖
Если, например, 𝑐1 ≠ 0, то 𝑆1 ≥ 2 и, как бы ни были фиксированы
𝑥2 ← 𝑠2, … , 𝑥 𝑚 ← 𝑠 𝑚, уравнение 𝑃 𝑥1, 𝑠2, … , 𝑠 𝑚 = 0 имеет
не более одного корня.
Значит, найдётся 𝑠1 ∈ 𝑆1, для которого 𝑃 𝑠1, 𝑠2, … , 𝑠 𝑚 ≠ 0.
6. Доказательство теоремы Алона
Пусть deg 𝑃 > 1, и для многочленов меньшей степени утверждение
теоремы выполнено.
Б.о.о. будем считать, что 𝑡1 > 0.
Зафиксируем произвольное 𝑠 ∈ 𝑆1 и поделим с остатком 𝑃 на 𝑥1 − 𝑠 :
𝑃 = 𝑥1 − 𝑠 ⋅ 𝑄 + 𝑅,
где 𝑄 ≢ 0 и deg 𝑥1
𝑅 < deg 𝑥1
𝑥1 − 𝑠 = 1, то есть 𝑅 не зависит от 𝑥1.
7. Доказательство теоремы Алона
𝑃 = 𝑥1 − 𝑠 ⋅ 𝑄 + 𝑅,
где 𝑄 ≢ 0 и deg 𝑥1
𝑅 < deg 𝑥1
(𝑥1 − 𝑠) = 1, т.е. 𝑅 не зависит от 𝑥1.
Если найдётся набор 𝑠2 ∈ 𝑆2, … , 𝑠 𝑚 ∈ 𝑆 𝑚, такой, что 𝑅 𝑠2, … , 𝑠 𝑚 ≠ 0, то
𝑃 𝑠, 𝑠2, … , 𝑠 𝑚 ≠ 0,
что и требовалось.
Остаётся разобрать случай, когда
∀𝑠2 ∈ 𝑆2, … , ∀𝑠 𝑚 ∈ 𝑆 𝑚 𝑅 𝑠2, … , 𝑠 𝑚 = 0.
8. Доказательство теоремы Алона
𝑃 = 𝑥1 − 𝑠 ⋅ 𝑄 + 𝑅
Т.к. в 𝑃 один из мономов степени deg 𝑃 имеет вид 𝑥1
𝑡1
⋅ … ⋅ 𝑥 𝑚
𝑡 𝑚
,
то в 𝑄 один из мономов степени deg 𝑄 имеет вид 𝑥1
𝑡1−1
⋅ … ⋅ 𝑥 𝑚
𝑡 𝑚
.
По предположению индукции, найдутся такие
𝑠1 ∈ 𝑆1 ∖ 𝑠 , 𝑠2 ∈ 𝑆2, … , 𝑠 𝑚 ∈ 𝑆 𝑚,
для которых
𝑄 𝑠1, … , 𝑠 𝑚 ≠ 0.
Для таких 𝑠1, … , 𝑠 𝑚 получаем
𝑃 𝑠1, … , 𝑠 𝑚 = 𝑠1 − 𝑠 ⋅ 𝑄 𝑠1, … , 𝑠 𝑚 ≠ 0
9. Аддитивная комбинаторика
Аддитивная комбинаторика изучает свойства подмножеств
натуральных чисел и абелевых групп при сложении.
Пусть 𝐴, 𝐵 ⊆ 𝐺, где 𝐺 — абелева группа.
Обозначим
𝐴 + 𝐵 ≔ 𝑎 + 𝑏 ∣ 𝑎 ∈ 𝐴, 𝑏 ∈ 𝐵
Вопрос: как можно оценить 𝐴 + 𝐵 , если известны 𝐴 и 𝐵 ?
Пример простой оценки сверху:
𝐴 + 𝐵 ≤ min 𝐺 , 𝐴 ⋅ 𝐵
10. Теорема Коши—Давенпорта
Теорема (Cauchy, Davenport).
Если 𝐴, 𝐵 ⊆ ℤ 𝑝, где 𝑝 — простое число, то
𝐴 + 𝐵 ≥ min 𝑝, 𝐴 + 𝐵 − 1
Доказательство:
Сначала рассмотрим лёгкий случай 𝐴 + 𝐵 > 𝑝.
Для любого 𝑐 ∈ ℤ 𝑝 имеем
𝐴 + 𝑐 − 𝐵 = 𝐴 + 𝐵 > 𝑝
а значит 𝐴 ∩ 𝑐 − 𝐵 ≠ ∅, и найдутся 𝑎 ∈ 𝐴 и 𝑏 ∈ 𝐵, такие, что
𝑎 = 𝑐 − 𝑏. Отсюда 𝑐 ∈ 𝐴 + 𝐵.
Т.к. 𝑐 брался произвольным, получаем 𝐴 + 𝐵 = ℤ 𝑝.
11. Теорема Коши—Давенпорта
Пусть теперь 𝐴 + 𝐵 ≤ 𝑝.
Допустим, что 𝐴 + 𝐵 < 𝐴 + 𝐵 − 1, и придём к противоречию.
По предположению, найдётся 𝐶 ⊂ ℤ 𝑝, такое, что 𝐶 = 𝐴 + 𝐵 − 2
и 𝐴 + 𝐵 ⊆ 𝐶.
Рассмотрим многочлен
𝑃 𝑥, 𝑦 ≔
𝑐∈𝐶
𝑥 + 𝑦 − 𝑐 ∈ ℤ 𝑝 𝑥, 𝑦
Заметим, что 𝑃 𝑥, 𝑦 = 0 для любых 𝑥 ∈ 𝐴, 𝑦 ∈ 𝐵.
12. Теорема Коши—Давенпорта
𝑃 𝑥, 𝑦 ≔
𝑐∈𝐶
𝑥 + 𝑦 − 𝑐 ∈ ℤ 𝑝 𝑥, 𝑦
Раскрыв скобки в определении 𝑃, видим, что
coef 𝑥 𝐴 −1 𝑦 𝐵 −1 𝑃 = 𝐴 + 𝐵 −2 !
𝐴 −1 ! 𝐵 −1 !
mod 𝑝 ≠ 0
то есть моном 𝑥 𝐴 −1 𝑦 𝐵 −1 реально входит в многочлен.
По теореме Алона, найдутся 𝑎 ∈ 𝐴 и 𝑏 ∈ 𝐵, такие, что 𝑃 𝑎, 𝑏 ≠ 0.
Но такого не может быть по определению 𝑃.
13. Покрытие вершин куба гиперплоскостями
Вопрос: сколько плоскостей нужно, чтобы покрыть все, кроме
одной, вершины куба?
Теорема (Алон, Фюреди).
Наименьшее число плоскостей, достаточное, чтобы покрыть все,
кроме одной, вершины куба в ℝ 𝑛, равно 𝑛.
Доказательство:
Б.о.о. будем считать, что у нас куб 0,1 𝑛, и что вершина, которую
мы не покрываем 0,0, … , 0 .
14. Покрытие вершин куба гиперплоскостями
Куб 0,1 𝑛, не покрываем вершину 0,0, … , 0 .
𝑛 плоскостей достаточно — например, такие:
• 𝑥1 − 1 = 0
• 𝑥2 − 1 = 0
• …
• 𝑥 𝑛 − 1 = 0
Сложная часть — доказать, что меньшим числом плоскостей
не обойтись.
Докажем это от противного…
15. Покрытие вершин куба гиперплоскостями
Допустим, мы обошлись 𝑚 плоскостями, 𝑚 < 𝑛. Пусть их уравнения такие:
𝒂1, 𝒙 − 𝑏1 = 0
⋮
𝒂 𝑚, 𝒙 − 𝑏 𝑚 = 0
При этом 𝑏1, … , 𝑏 𝑚 ≠ 0, т.к. ни одна из плоскостей не должна покрывать точку 0,0, … , 0 .
Рассмотрим многочлен:
𝑃 𝑥1, … , 𝑥 𝑛 ≔
𝑗=1
𝑚
𝑏𝑗 − 𝒂𝑗, 𝒙 −
𝑗=1
𝑚
𝑏𝑗 ⋅
𝑖=1
𝑛
1 − 𝑥𝑖
Имеем deg 𝑃 = 𝑛, и
coef 𝑥1⋅𝑥2⋅…⋅𝑥 𝑛
𝑃 = −1 𝑛+1
𝑗=1
𝑚
𝑏𝑗 ≠ 0.
По теореме Алона, найдутся 𝛼1 ∈ 0,1 , … , 𝛼 𝑛 ∈ 0,1 , для которых 𝑃 𝛼1, … , 𝛼 𝑛 ≠ 0.
17. Регулярные подграфы в регулярных графах
Общая постановка многих задач в теории графов:
в данном графе с известными свойствами выделить подграф
с требуемыми свойствами.
Например:
• В заданном графе найти максимальную клику
• В заданном несвязном графе найти компоненту связности с
максимальным числом вершин.
• …
18. Регулярные подграфы в регулярных графах
Вопрос: во всяком ли 𝑘-регулярном графе существует
𝑘 − 1 -регулярный подграф?
Известно следующее:
• Это так для 𝑘 ≤ 3 — простое упражнение.
• Это так для 𝑘 = 4 — и это трудная теорема (В.А. Ташкинов ’1984)
• Это в общем случае не верно для 𝑘 ≥ 6
19. Регулярные подграфы в регулярных графах
Вопрос: во всяком ли 𝑘-регулярном графе существует
𝑘′-регулярный подграф (𝑘′ < 𝑘)?
Известно, например, что для любых нечётных 𝑘 и 𝑘′
ответ на вопрос положительный.
Если ослабить условие «строгой» регулярности и рассматривать
«почти регулярные» графы (у которых степени вершин близки,
но необязательно равны) — тоже можно доказать кое-что
интересное…
23. Доказательство теоремы А—Ф—К
𝑃 ≔
𝑣∈𝑉
1 −
𝑒∈𝐸
𝟙 𝑣,𝑒 𝑥 𝑒
𝑝−1
−
𝑒∈𝐸
1 − 𝑥 𝑒
deg 𝑃 = 𝐸 и coef 𝑒∈𝐸 𝑥 𝑒
𝑃 = −1 𝐸 +1
≠ 0.
Значит, по теореме Алона, найдётся набор значений 𝜶 = 𝛼 𝑒 𝑒∈𝐸 ∈ 0,1 𝐸
, такой,
что 𝑃 𝜶 ≠ 0.
При этом для любого 𝑣 ∈ 𝑉 имеем
𝑒∈𝐸
𝟙 𝑣,𝑒 𝛼 𝑒 =
𝑝
0,
иначе, по м. т. Ферма, получилось бы 𝑒∈𝐸 𝟙 𝑣,𝑒 𝛼 𝑒
𝑝−1
=
𝑝
1 ⇒ 𝑃 𝜶 = 0 (в ℤ 𝑝).
24. Доказательство теоремы А—Ф—К
• Δ 𝐺 ≤ 2𝑝 − 1
• 𝑃 ≔ 𝑣∈𝑉 1 − 𝑒∈𝐸 𝟙 𝑣,𝑒 𝑥 𝑒
𝑝−1
− 𝑒∈𝐸 1 − 𝑥 𝑒
Нашли 𝜶 ∈ 0,1 𝐸
, т. ч. 𝑃 𝜶 ≠ 0, и ∀𝑣 ∈ 𝑉
𝑒∈𝐸
𝟙 𝑣,𝑒 𝛼 𝑒 =
𝑝
0
Кроме того, видно, что 𝜶 ≠ 𝟎. Взяв те рёбра 𝐺, для которых 𝛼 𝑒 = 1,
и все вершины 𝐺, получим непустой остовный подграф 𝐺′.
В подграфе 𝐺′ степень каждой вершины 𝑣 равна 𝑒∈𝐸 𝟙 𝑣,𝑒 𝛼 𝑒 =
𝑝
0,
а значит, эта степень равна нулю либо 𝑝.
25. Доказательство теоремы А—Ф—К
По набору 𝜶 построили непустой остовный подграф 𝐺′.
В подграфе 𝐺′ степень каждой вершины равна нулю или 𝑝.
Выбросив из 𝐺′ вершины нулевой степени, получим искомый
𝑝-регулярный подграф.