Проблема Ружи – Семереди (HjkQlybg Jr'n – Vybyjy;n)

Граф Пэли с девятью вершинами, сбалансированный трёхдольный граф с 18 рёбрами, каждое из которых принадлежит ровно одному треугольнику

Некоторые рисунки графа Брауэра — Хемерса, не трёхдольный 20-регулярный граф с 81 вершинами, в котором каждое ребро принадлежит в точности одному треугольнику

Проблема Ружи – Семереди или (6,3)-проблема спрашивает о максимальном числе рёбер в графе, в котором любое ребро принадлежит единственному треугольнику. Эквивалентно, проблема спрашивает о максимальном числе рёбер в сбалансированном двудольном графе, рёбра которого можно разбить на линейное число порождённых паросочетаний, или максимальное число троек, которые можно выбрать из $n$ точек так, что каждые шесть точек содержат максимум две тройки. Проблема названа именем Имре З. Ружи и Эндре Семереди, которые первыми доказали, что ответ меньше, чем $n^{2}$ на медленно растущий (но пока неизвестный) множитель.

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

Следующие вопросы имеют ответы, которые асисмптотически эквивалентны — они отличаются не более чем на постоянный множитель друг от друга:

• Каково максимальное возможное число рёбер графа с $n$ вершинами, в которых любое ребро принадлежит единственному треугольнику? Графы с этим свойством называются локально линейными графами или локально паросочетаемыми графами.
• Каково максимальное возможное число рёбер в двудольном графе с $n$ вершинами на каждой стороне его доли, рёбра которого могут быть разбиты на $n$ порождённых подграфов, каждый из которых является паросочетанием?
• Каково наибольшее число троек точек, которые можно выбрать из $n$ заданных точек, чтобы любые шесть точек содержали не более двух из отобранных троек? Проблема Ружи – Семереди ищет ответ на эти эквивалентные вопросы.

Чтобы привести задачу порождённого паросочетания для двудольного графа в задачу единственного треугольника, добавляем множество из $n$ вершин графа, по одному для каждого порождённого паросочетания, и добавляем рёбра из вершин $u$ и $v$ двудольного графа в вершину $w$ в этом третьем множестве, когда ребро двудольного графа $uv$ принадлежит порождённому паросочетанию $w$. В результате получим сбалансированный трёхдольный граф с $3n$ вершинами со свойством единственности треугольников. В другом направлении, любой граф со свойством единственности треугольников может быть приведён к сбалансированному трёхдольному графу путём распределения долей вершин по трём равным множествам случайно и с сохранением треугольников, которые задают распределение на доли. Это приводит к сохранению постоянного отношения треугольников и рёбер. Сбалансированный трёхдольный граф со свойством единственности треугольников может быть преобразован в разделённый двудольный граф путём удаления одного из его трёх подмножеств вершин, создавая порождённое паросочетание на соседях каждой из удалённых вершин.

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

Нижняя граница

Почти квадратичная граница для проблемы Ружи – Семереди может быть извлечена из результата Феликса Беренда, согласно которому числа по модулю нечётного простого числа $p$ имеют большие множества Салема — Спенсера, подмножества $A$ размера $|A|=p/e^{O({\sqrt {\log p}})}$ без трёхчленных арифметических прогрессий. Результат Беренда может быть использован для построения трёхдольных графов, в которых каждая доля имеет $p$ вершин, граф содержит $3|A|p$ рёбер и каждое ребро принадлежит единственному треугольнику. Тогда, согласно этому построению, $n=3p$ и число рёбер равно $n^{2}/e^{O({\sqrt {\log n}})}$.

Для построения графа этого вида из свободного от арифметических прогрессий подмножества Беренда $A$, нумеруем вершины в каждой доле от $0$ до $p-1$ и строим треугольники вида $(x,x+a,x+2a)$ по модулю $p$ для каждого $x$ из интервала от $0$ до $p-1$ и каждое число $a$ принадлежит $A$. Например, с $p=3$ и $A=\{\pm 1\}$ в результате получим сбалансированный трёхдольный граф с 9 вершинами и 18 рёбрами, показанный на рисунке. Граф, образованный путём объединения этих треугольников, имеет желаемое свойство, что каждое ребро принадлежит ровно одному треугольнику. Если бы это было не так, существовал бы треугольник $(x,x+a,x+a+b)$, где $a$, $b$ и $c=(a+b)/2$ принадлежат $A$, что нарушает предположение об отсутствии арифметических прогрессий $(a,c,b)$ в $A$.

Верхняя граница

Лемма регулярности Семереди может быть использована для доказательства, что любое решение проблемы Ружи – Семереди имеет не более $o(n^{2})$ рёбер или треугольников. Из более сильного врианта леммы об удалении графа Якоба Фокса следует, что размер решения не превосходит $n^{2}/e^{\Omega (\log ^{*}n)}$. Здесь $o$ и $\Omega$ являются представителями нотации «o малое» и $\Omega$, а $\log ^{*}$ означает итерированный логарифм. Фокс доказал, что в любом графе с $n$ вершинами и $O(n^{3-\delta })$ треугольниками для некоторого $\delta >0$ можно найти подграф без треугольников путём удаления не более $n^{2}/e^{\Omega (\log ^{*}n)}$ рёбер. В графе со свойством единственности треугольников существует (естественно) $O(n^{2})$ треугольников, так что результат приходит с $\delta =1$. Но в этом графе каждое удаление ребра удаляет только один треугольник, так что число рёбер, которые следует удалить для исключения всех треугольников, равно числу треугольников.

История

Проблема названа именами Имре З. Ружи и Эндре Семереди, которые изучали данную проблему в формулировке троек точек в публикации 1978 года. Однако проблему перед этим изучали У. Дж. Браун, Пал Эрдёш и Вера Т. Шош в двух публикациях в 1973, в которых доказывали, что максимальное число троек может быть $\Omega (n^{3/2})$, и высказали гипотезу, что на самом деле оно равно $o(n^{2})$. Ружа и Семереди дали (неравные) почти квадратичные верхние и нижние границы для проблемы, существенно улучшающие нижнюю границу Брауна, Эрдёша и Соса и доказательство их гипотезы.

Приложения

Упаковка треног, одно из приложений верхних границ проблемы Ружи – Семереди

Существование плотных графов, которые могут быть разбиты на большие порождённые паросочетания использовалось для построения эффективных тестов, является ли булевская функция линейной, ключевой компонент теоремы PCP в теории вычислительной сложности. В теории алгоритмов проверки свойств известные результаты по проблеме Ружи – Семереди применялись для того, чтобы показать, что можно проверить, не содержит ли граф заданный подграф $H$ (с односторонней ошибкой по числу запросов, полиномиальных от параметра ошибки) тогда и только тогда, когда $H$ является двудольным графом.

В теории поточных алгоритмов для паросочетаний графа (например, для сопоставления рекламодателей с рекламными слотами), качество покрытия паросочетанием (разреженные подграфы, примерно сохраняющие размер паросочетаний во всех подмножествах вершин) тесно связано с плотностью двудольных графов, которые могут быть разбиты на порождённые паросочетания. Это построение использует модифицированную форму проблемы Ружи – Семереди, в которой число порождённых паросочетаний может быть много меньше числа вершин, но каждое порождённое паросочетание должно покрывать бо́льшую часть вершин графа. В этой версии проблемы можно построить графы с непостоянным числом порождённых паросочетаний линейного размера, а этот результат приводит к почти точным границам на аппроксимационный коэффициент для поточных алгоритмов сопоставления.

Подкадратичная верхняя граница проблемы Ружи – Семереди была также использована для получения границы $o(3^{n})$ на размер множеств колпаков до того как были доказаны более сильные границы вида $c^{n}$ для $c<3$ для этой проблемы. Она также обеспечивает лучшую известную верхнюю границу для упаковки треног.