Зависимый случайный выбор - Dependent random choice
Это читается как учебник и его тон или стиль могут не отражать энциклопедический тон используется в Википедии. См. Википедию руководство по написанию лучших статей для предложений.(Сентябрь 2020) (Узнайте, как и когда удалить этот шаблон сообщения)
В математике зависимый случайный выбор - это простой, но мощный вероятностный метод, который показывает, как найти большой набор вершин в плотном графе, так что каждое небольшое подмножество вершин имеет много общих соседей. Это полезный инструмент для встраивания графа в другой граф с множеством ребер, поэтому он может применяться в экстремальная теория графов и Теория Рамсея.
Тогда каждый граф на вершины не менее ребра содержат подмножество вершин с такой, что для всех с участием , имеет по крайней мере общие соседи.
Доказательство
Основная идея - случайный выбор набора вершин. Однако вместо того, чтобы выбирать каждую вершину равномерно случайным образом, процедура выбирает список сначала вершины, а затем выбирает своих общих соседей в качестве набора вершин. Есть надежда, что таким образом у выбранного набора будет больше общих соседей.
Формально пусть быть списком вершины выбираются равномерно случайным образом из с заменой (с возможностью повторения). Позволять быть обычным соседством . Ожидаемая стоимость является
Для каждого -элементное подмножество из , событие содержащий происходит тогда и только тогда, когда содержится в общей окрестности , что происходит с вероятностью Позвоните в плохой если у него меньше чем общие соседи. Тогда для каждого фиксированного -элементное подмножество из , он содержится в с вероятностью меньше чем . Следовательно, по линейности ожидания
Чтобы убедиться, что нет плохих подмножеств, мы можем избавиться от одного элемента в каждом плохом подмножестве. Количество оставшихся элементов не менее , ожидаемое значение которого не менее Следовательно, существует так что есть по крайней мере элементы в остающийся после избавления от всего плохого -элементные подмножества. Набор из оставшихся elements удовлетворяет желаемым свойствам.
Непосредственно используя зависимый случайный выбор, задав соответствующие параметры, мы можем показать, что если является двудольным графом, в котором все вершины из иметь высшее образование , то экстремальное число где зависит только от .[1][5]
Формально, если и - достаточно большая константа такая, что Затем, установив мы знаем это
Таким образом, выполняется предположение о зависимом случайном выборе. Следовательно, для каждого графа по крайней мере с ребер существует подмножество вершин размера удовлетворение того, что каждый -подмножество имеет по крайней мере общие соседи. Это позволяет нам встроить в следующим образом. Встроить в произвольно, а затем вложим вершины в по одному. Для каждой вершины в , у него не больше соседи в , что показывает, что их изображения в иметь по крайней мере общие соседи. Это позволяет нам встроить одному из общих соседей, избегая столкновений.
Фактически, это можно обобщить на выродиться графики с использованием вариации зависимого случайного выбора, описанной ниже.
Зависимый случайный выбор может применяться напрямую, чтобы показать, что если это график на вершины и края, то содержит 1-подразделение полного графа с вершины. Это можно показать аналогично приведенному выше доказательству оценки Число Турана двудольного графа.[1]
Действительно, если положить , имеем (так как )
Таким образом, выполняется предположение о зависимом случайном выборе. Поскольку 1-разбиение полного графа на вершины - двудольный граф с частями размера и где каждая вершина во второй части имеет степень два, мы можем использовать аргумент вложения в приведенном выше доказательстве оценки Число Турана двудольного графа, чтобы получить желаемый результат.
Вариация
Существует более сильная версия зависимого случайного выбора, которая находит два подмножества вершин в плотном графе так что каждое небольшое подмножество вершин в имеет много общих соседей в .
Формально пусть быть некоторыми положительными целыми числами с , и разреши быть реальным числом. Предположим, что выполняются следующие ограничения:
Тогда каждый граф на вершины не менее ребра содержит два подмножества вершин так, чтобы любая вершины в иметь по крайней мере общие соседи в .[1]
Экстремальное число вырожденного двудольного графа
Используя это более сильное утверждение, можно оценить сверху экстремальное число -вырожденный двудольный граф: для каждого -вырожденный двудольный граф максимум с вершин, экстремальное число это самое большее [1]
Число Рамсея вырожденного двудольного графа
Это утверждение можно также применить для получения верхней оценки числа Рамсея вырожденных двудольных графов. Если - фиксированное целое число, то для каждого двудольного -вырожденный двудольный граф на вершин, число Рамсея имеет порядок [1]
^Косточка, А.В .; Рёдль, В. (2001). «На графиках с малыми числами Рамсея *». Журнал теории графов. 37 (4): 198–204. Дои:10.1002 / jgt.1014. ISSN1097-0118.
^ абАлон, Нога; Кривелевич Михаил; Судаков, Бенни (ноябрь 2003 г.). "Числа Турана двудольных графов и связанные с ними вопросы типа Рамсея". Комбинаторика, теория вероятностей и вычисления. 12 (5+6): 477–494. Дои:10.1017 / S0963548303005741. ISSN1469-2163.