Jump to content

Зависимый случайный выбор

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

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

[ редактировать ]

Позволять , и предположим: [1] [2] [3] [4] [5] Каждый график на вершины с по крайней мере ребра содержат подмножество вершин с такой, что для всех с , имеет по крайней мере общие соседи.

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

[ редактировать ]

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

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

Приложения

[ редактировать ]

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

[ редактировать ]

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

Формально с , позволять — достаточно большая константа такая, что Если затем

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

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

Встраивание 1-подразделения полного графа

[ редактировать ]

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

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

[ редактировать ]
Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: dd53aae70516b4cc7af9264343bcbf78__1712665980
URL1:https://arc.ask3.ru/arc/aa/dd/78/dd53aae70516b4cc7af9264343bcbf78.html
Заголовок, (Title) документа по адресу, URL1:
Dependent random choice - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)