Зависимый случайный выбор
В математике зависимый случайный выбор — это вероятностный метод, который показывает, как найти большой набор вершин в плотном графе так, чтобы каждое небольшое подмножество вершин имело много общих соседей. Это полезный инструмент для встраивания одного графа в другой граф с множеством ребер. Таким образом, она находит применение в экстремальной теории графов , аддитивной комбинаторике и теории Рамсея .
Формулировка теоремы
[ редактировать ]Позволять , и предположим: [1] [2] [3] [4] [5] Каждый график на вершины с по крайней мере ребра содержат подмножество вершин с такой, что для всех с , имеет по крайней мере общие соседи.
Доказательство
[ редактировать ]Основная идея состоит в том, чтобы выбрать набор вершин случайным образом. Однако вместо равномерного случайного выбора каждой вершины процедура случайным образом выбирает список вершин. сначала вершины, а затем выбирает общих соседей в качестве набора вершин. Есть надежда, что таким образом выбранный набор с большей вероятностью будет иметь больше общих соседей.
Формально пусть быть списком вершины, выбранные равномерно случайным образом из с заменой (допуская повторение). Позволять быть общим соседом . Ожидаемая стоимость является Для каждого -подмножество элементов из , содержит тогда и только тогда, когда содержится в общей окрестности , что происходит с вероятностью Ан плохо , если его меньше общие соседи. Тогда для каждого фиксированного -подмножество элементов из , он содержится в с вероятностью меньше . Следовательно, в силу линейности ожидания Чтобы исключить плохие подмножества, мы исключаем один элемент в каждом плохом подмножестве. Число оставшихся элементов не менее , чье математическое ожидание не менее Следовательно, существует такие, что есть хотя бы элементы в оставшееся после избавления от всего плохого -подмножества элементов. Набор из оставшихся элементы выражают желаемые свойства.
Приложения
[ редактировать ]Числа Турана двудольного графа
[ редактировать ]Зависимый случайный выбор может помочь найти число Турана . Используя соответствующие параметры, если — двудольный граф , в котором все вершины иметь высшее образование максимум , то экстремальное число где зависит только от . [1] [5]
Формально с , позволять — достаточно большая константа такая, что Если затем
и поэтому предположение о зависимом случайном выборе справедливо. Следовательно, для каждого графа по крайней мере ребра, существует подмножество вершин размера удовлетворение, что каждый -подмножество имеет по крайней мере общие соседи. Путем внедрения в путем внедрения в произвольно, а затем встраивая вершины в по одному, затем для каждой вершины в , оно имеет не более соседи по , что показывает, что их изображения в иметь по крайней мере общие соседи. Таким образом может быть встроен в одного из общих соседей, избегая при этом коллизий.
Это можно обобщить на вырожденные графы, используя вариант зависимого случайного выбора.
Встраивание 1-подразделения полного графа
[ редактировать ]DRC можно применить непосредственно, чтобы показать, что если это график на вершины и края, затем содержит 1-подразделение полного графа с вершины. Это можно показать аналогично приведенному выше доказательству оценки числа Турана двудольного графа. [1]
Действительно, если мы положим , мы имеем (поскольку ) и поэтому предположение о ДРК справедливо. Поскольку 1-разбиение полного графа на вершин — двудольный граф с частями размера и где каждая вершина во второй части имеет степень два, аргумент встраивания в доказательстве оценки числа Турана двудольного графа дает желаемый результат.
Вариация
[ редактировать ]Более сильная версия находит два подмножества вершин. в плотном графе так что каждое небольшое подмножество вершин в имеет много общих соседей .
Формально пусть — некоторые положительные целые числа с , и пусть быть некоторым действительным числом. Предположим, что выполнены следующие ограничения: Тогда каждый график на вершины с по крайней мере ребра содержат два подмножества вершин так, что любой вершины в иметь по крайней мере общие соседи по . [1]
Экстремальное число вырожденного двудольного графа
[ редактировать ]Используя это более сильное утверждение, можно оценить сверху экстремальное число -вырожденные двудольные графы: для каждого -вырожденный двудольный граф с максимум вершин, экстремальное число самое большее [1]
Число Рамсея вырожденного двудольного графа
[ редактировать ]Это утверждение можно также применить для получения верхней оценки числа Рамсея вырожденных двудольных графов. Если — фиксированное целое число, то для любого двудольного -вырожденный двудольный граф на вершины, число Рамсея имеет порядок [1]
Ссылки
[ редактировать ]- ^ Jump up to: а б с д и ж Фокс, Джейкоб; Судаков, Бенни (2011). «Зависимый случайный выбор». Случайные структуры и алгоритмы . 38 (1–2): 68–99. дои : 10.1002/rsa.20344 . hdl : 1721.1/70097 . ISSN 1098-2418 . S2CID 2321395 .
- ^ Верстраэте, Жак (2015). «6 — Зависимый случайный выбор» (PDF) . Калифорнийский университет в Сан-Диего . S2CID 47638896 . Архивировано из оригинала (PDF) 19 мая 2017 г.
- ^ Косточка, А.В.; Рёдль, В. (2001). «О графах с малыми числами Рамсея*». Журнал теории графов . 37 (4): 198–204. CiteSeerX 10.1.1.225.1347 . дои : 10.1002/jgt.1014 . ISSN 1097-0118 . S2CID 12292577 .
- ^ Судаков, Бенни (1 мая 2003 г.). «Несколько замечаний о задачах типа Рэмси – Турана» . Журнал комбинаторной теории . Серия Б. 88 (1): 99–106. дои : 10.1016/S0095-8956(02)00038-2 . ISSN 0095-8956 .
- ^ Jump up to: а б Алон, Нога; Кривелевич, Михаил; Судаков, Бенни (ноябрь 2003 г.). «Числа Турана для двудольных графов и связанные с ними вопросы типа Рамсея». Комбинаторика, теория вероятностей и вычисления . 12 (5+6): 477–494. дои : 10.1017/S0963548303005741 . ISSN 1469-2163 .