Зависимый случайный выбор - Dependent random choice

В математике зависимый случайный выбор - это простой, но мощный вероятностный метод, который показывает, как найти большой набор вершин в плотном графе, так что каждое небольшое подмножество вершин имеет много общих соседей. Это полезный инструмент для встраивания графа в другой граф с множеством ребер, поэтому он может применяться в экстремальная теория графов и Теория Рамсея.

Формулировка теоремы

[1][2][3][4][5]Позволять , и предположим

Тогда каждый граф на вершины не менее ребра содержат подмножество вершин с такой, что для всех с участием , имеет по крайней мере общие соседи.

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

Основная идея - случайный выбор набора вершин. Однако вместо того, чтобы выбирать каждую вершину равномерно случайным образом, процедура выбирает список сначала вершины, а затем выбирает своих общих соседей в качестве набора вершин. Есть надежда, что таким образом у выбранного набора будет больше общих соседей.

Формально пусть быть списком вершины выбираются равномерно случайным образом из с заменой (с возможностью повторения). Позволять быть обычным соседством . Ожидаемая стоимость является

Для каждого -элементное подмножество из , событие содержащий происходит тогда и только тогда, когда содержится в общей окрестности , что происходит с вероятностью Позвоните в плохой если у него меньше чем общие соседи. Тогда для каждого фиксированного -элементное подмножество из , он содержится в с вероятностью меньше чем . Следовательно, по линейности ожидания
Чтобы убедиться, что нет плохих подмножеств, мы можем избавиться от одного элемента в каждом плохом подмножестве. Количество оставшихся элементов не менее , ожидаемое значение которого не менее Следовательно, существует так что есть по крайней мере элементы в остающийся после избавления от всего плохого -элементные подмножества. Набор из оставшихся elements удовлетворяет желаемым свойствам.

Приложения

Числа Турана двудольного графа

Непосредственно используя зависимый случайный выбор, задав соответствующие параметры, мы можем показать, что если является двудольным графом, в котором все вершины из иметь высшее образование , то экстремальное число где зависит только от .[1][5]

Формально, если и - достаточно большая константа такая, что Затем, установив мы знаем это

Таким образом, выполняется предположение о зависимом случайном выборе. Следовательно, для каждого графа по крайней мере с ребер существует подмножество вершин размера удовлетворение того, что каждый -подмножество имеет по крайней мере общие соседи. Это позволяет нам встроить в следующим образом. Встроить в произвольно, а затем вложим вершины в по одному. Для каждой вершины в , у него не больше соседи в , что показывает, что их изображения в иметь по крайней мере общие соседи. Это позволяет нам встроить одному из общих соседей, избегая столкновений.

Фактически, это можно обобщить на выродиться графики с использованием вариации зависимого случайного выбора, описанной ниже.

Встраивание 1-секционный полного графа

Зависимый случайный выбор может применяться напрямую, чтобы показать, что если это график на вершины и края, то содержит 1-подразделение полного графа с вершины. Это можно показать аналогично приведенному выше доказательству оценки Число Турана двудольного графа.[1]

Действительно, если положить , имеем (так как )

Таким образом, выполняется предположение о зависимом случайном выборе. Поскольку 1-разбиение полного графа на вершины - двудольный граф с частями размера и где каждая вершина во второй части имеет степень два, мы можем использовать аргумент вложения в приведенном выше доказательстве оценки Число Турана двудольного графа, чтобы получить желаемый результат.

Вариация

Существует более сильная версия зависимого случайного выбора, которая находит два подмножества вершин в плотном графе так что каждое небольшое подмножество вершин в имеет много общих соседей в .

Формально пусть быть некоторыми положительными целыми числами с , и разреши быть реальным числом. Предположим, что выполняются следующие ограничения:

Тогда каждый граф на вершины не менее ребра содержит два подмножества вершин так, чтобы любая вершины в иметь по крайней мере общие соседи в .[1]

Экстремальное число вырожденного двудольного графа

Используя это более сильное утверждение, можно оценить сверху экстремальное число -вырожденный двудольный граф: для каждого -вырожденный двудольный граф максимум с вершин, экстремальное число это самое большее [1]

Число Рамсея вырожденного двудольного графа

Это утверждение можно также применить для получения верхней оценки числа Рамсея вырожденных двудольных графов. Если - фиксированное целое число, то для каждого двудольного -вырожденный двудольный граф на вершин, число Рамсея имеет порядок [1]

использованная литература

  1. ^ а б c d е ж Фокс, Джейкоб; Судаков, Бенни (2011). «Зависимый случайный выбор». Случайные структуры и алгоритмы. 38 (1–2): 68–99. Дои:10.1002 / rsa.20344. HDL:1721.1/70097. ISSN  1098-2418.
  2. ^ Verstraëte, Жак (2015). «6 - Зависимый случайный выбор» (PDF).
  3. ^ Косточка, А.В .; Рёдль, В. (2001). «На графиках с малыми числами Рамсея *». Журнал теории графов. 37 (4): 198–204. Дои:10.1002 / jgt.1014. ISSN  1097-0118.
  4. ^ Судаков, Бенни (01.05.2003). «Несколько замечаний по проблемам типа Рамсея – Турана». Журнал комбинаторной теории, серия B. 88 (1): 99–106. Дои:10.1016 / S0095-8956 (02) 00038-2. ISSN  0095-8956.
  5. ^ а б Алон, Нога; Кривелевич Михаил; Судаков, Бенни (ноябрь 2003 г.). "Числа Турана двудольных графов и связанные с ними вопросы типа Рамсея". Комбинаторика, теория вероятностей и вычисления. 12 (5+6): 477–494. Дои:10.1017 / S0963548303005741. ISSN  1469-2163.

дальнейшее чтение