WikiDer > График Франкла – Рёдля

Граф Франкла – Рёдля ${ displaystyle operatorname {FR} _ {1/3} ^ {3}}$, образованный соединением вершин на расстоянии два друг от друга в трехмерный куб

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

Графы Франкла – Рёдля названы в честь Петер Франкл и Войтех Рёдль, которые в 1987 году доказали, что (для определенных диапазонов параметров графика) они имеют малые число независимости и высокий хроматическое число.^[1] С тех пор они стали интересны теоретикам вычислительной сложности как сложные примеры для полуопределенное программирование основан аппроксимационные алгоритмы для крышка вершины и раскраска графика проблемы. Их свойства по отношению к этим алгоритмам были использованы, чтобы поставить под сомнение Гипотеза уникальных игр.

Определение и примеры

Граф Франкла – Рёдля ${ displaystyle operatorname {FR} _ {1/2} ^ {4}}$ состоит из двух экземпляров график коктейльной вечеринки K_2,2,2,2.

Граф Франкла – Рёдля ${ displaystyle operatorname {FR} _ {1/5} ^ {5}}$ состоит из двух экземпляров 5-регулярного Граф Клебша.

Позволять п - натуральное число, и пусть γ быть действительным числом в единичный интервал 0 ≤ γ ≤ 1. Предположим дополнительно, что (1 − γ)п является четное число. Тогда граф Франкла – Рёдля ${ displaystyle operatorname {FR} _ { gamma} ^ {n}}$ график на 2^п вершины п-размерная единица гиперкуб [0,1]^п в котором две вершины смежны, когда их Расстояние Хэмминга (количество координат, в которых они различаются) точно равно (1 − γ)п.^[2]Здесь требование, чтобы (1 − γ)п быть ровным необходимо, чтобы результат не был двудольный граф. Граф Франкла – Рёдля обязательно будет несвязным (по крайней мере, с одной связной компонентой для каждой из двух сторон двудольного разбиения соответствующего граф гиперкуба), но для его приложений это не проблема.

Например, граф Франкла – Рёдля ${ displaystyle operatorname {FR} _ {1/3} ^ {3}}$ соединяет вершины на два шага друг от друга в обычном трехмерном кубе, как показано на рисунке. Геометрически этот рисунок соединения образует форму, известную как Stella Octangula; теоретически он образует две компоненты связности, каждая из которых является четырехвершинной полный график. Аналогично граф Франкла – Рёдля ${ displaystyle operatorname {FR} _ {1/2} ^ {4}}$ соединяет вершины на два шага друг от друга в четырехмерном гиперкубе и дает граф, состоящий из двух копий график коктейльной вечеринки K_2,2,2,2. Два графа Франкла – Рёдля размерности пять, ${ displaystyle operatorname {FR} _ {1/5} ^ {5}}$и ${ displaystyle operatorname {FR} _ {3/5} ^ {5}}$, формируются из двух копий двух дополнительный Графики Клебша степени пятой и десятой соответственно.

Характеристики

Граф Франкла – Рёдля ${ displaystyle operatorname {FR} _ { gamma} ^ {n}}$ это регулярный графстепени

${ displaystyle { binom {n} {(1- gamma) n}}.}$

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

В качестве Франкл и Рёдль (1987) показал,^[3]когда γ ≤ 1/4, размер максимальный независимый набор в графе Франкла – Рёдля ${ displaystyle operatorname {FR} _ { gamma} ^ {n}}$ является

${ displaystyle n (2- Omega ( gamma) ^ {2}) ^ {n}.}$

В Ω в этой формуле является экземпляром обозначение большой Ω.Для постоянных значений γ и переменная п, размер этого независимого набора составляет небольшую часть 2^п вершины графа. Точнее, эта дробь обратно пропорциональна экспоненциальной функции от п и полиномиальная функция от размера графика. Потому что каждый цвет в правильная окраска графа Франкла – Рёдля образует независимое множество с несколькими вершинами, количество цветов должно быть большим (опять же, полиномиальная функция от размера графа).

По вычислительной сложности

В крышка вершины проблема заключается в нахождении набора вершин, который касается каждого ребра графа. это NP-жесткий но может быть округлено с точностью до коэффициент аппроксимации из двух, например, взяв конечные точки совпадающих ребер в любом максимальное соответствие. Доказательством того, что это наилучший возможный коэффициент аппроксимации алгоритма аппроксимации за полиномиальное время, является тот факт, что, когда он представлен как полуопределенная программа, проблема имеет разрыв целостности, равный двум; этот пробел представляет собой отношение между значением решения целочисленного решения (допустимое вершинное покрытие) и его полуопределенного расслабление. Согласно Гипотеза уникальных игр, для многих задач, подобных этой, оптимальное отношение приближения обеспечивается разрывом целочисленности их полуопределенной релаксации. Однако графы Франкла – Рёдля предоставляют единственные известные примеры вершинного покрытия, для которых разрыв целочисленности может достигать двух значений.^[4]

Графы Франкла – Рёдля также использовались для изучения полуопределенных приближений для раскраски графов. В этом приложении, в частности, исследователи изучали 3-раскрашиваемость графов в связи с графами Франкла – Рёдля с параметром γ = 1/4. Несмотря на то, что графы Франкла – Рёдля с этим значением параметра имеют высокое хроматическое число, полуопределенное программирование не может отличить их от 3-раскрашиваемых графов.^[5][6][7]Однако для этих графов алгебраические методы, основанные на полиномиальные суммы квадратов могут предоставить более строгие границы, подтверждающие их потребность во многих цветах. Этот результат ставит под сомнение оптимальность полуопределенного программирования и правильность гипотезы уникальных игр.^[2]

Рекомендации