WikiDer > Хроматический полином

Все неизоморфные графы с 3-мя вершинами и их хроматические многочлены, по часовой стрелке сверху. Независимый 3-х комплект: ${ displaystyle k ^ {3}}$. Ребро и единственная вершина: ${ Displaystyle к ^ {2} (к-1)}$. 3 пути: ${ Displaystyle к (к-1) ^ {2}}$. 3-клика: ${ Displaystyle к (к-1) (к-2)}$.

В хроматический полином это многочлен графа учился в алгебраическая теория графов, филиал математика. Считает количество раскраски графиков как функция количества цветов и первоначально определялась Джордж Дэвид Биркофф изучить четырехцветная проблема. Он был обобщен на Полином Тутте к Хасслер Уитни и В. Т. Тутте, связав его с Модель Поттса из статистическая физика.

История

Джордж Дэвид Биркофф ввел хроматический полином в 1912 г., определив его только для планарные графы, пытаясь доказать теорема четырех цветов. Если ${ Displaystyle P (G, k)}$ обозначает количество правильных раскрасок грамм с k цветов, тогда можно было бы установить теорему четырех цветов, показав ${ Displaystyle P (G, 4)> 0}$ для всех плоских графов грамм. Таким образом, он надеялся применить мощные инструменты анализа и алгебры для изучения корней многочленов к проблеме комбинаторной раскраски.

Хасслер Уитни обобщил многочлен Биркгофа с плоского случая на общие графы в 1932 г. В 1968 г. Читать спросил, какие многочлены являются хроматическими многочленами некоторого графа, вопрос, который остается открытым, и ввел понятие хроматически эквивалентных графов.^[1] Сегодня хроматические многочлены являются одним из центральных объектов алгебраическая теория графов.^[2]

Определение

Все правильные раскраски вершин графов вершин с 3 вершинами с использованием k цвета для ${ Displaystyle к = 0,1,2,3}$. Хроматический полином каждого графа интерполируется через количество правильных раскрасок.

Для графика грамм, ${ Displaystyle P (G, k)}$ считает количество своих (собственных) вершина kраскраски. Другие часто используемые обозначения включают ${ Displaystyle P_ {G} (к)}$, ${ Displaystyle чи _ {G} (к)}$, или же ${ Displaystyle pi _ {G} (к)}$.Есть уникальный многочлен ${ Displaystyle P (G, x)}$ который оценивается в любое целое число k ≥ 0 совпадает с ${ Displaystyle P (G, k)}$; это называется хроматический полином из грамм.

Например, чтобы раскрасить граф путей ${ displaystyle P_ {3}}$ на 3 вершинах с k цвета, можно выбрать любой из k цвета для первой вершины, любой из ${ displaystyle k-1}$ оставшиеся цвета для второй вершины и, наконец, для третьей вершины, любой из ${ displaystyle k-1}$ цвета, отличные от выбранных второй вершиной. ${ Displaystyle P (P_ {3}, k) = k cdot (k-1) cdot (k-1)}$ это количество k-расцветки ${ displaystyle P_ {3}}$.Для переменной Икс (не обязательно целое число), то есть ${ Displaystyle P (P_ {3}, x) = x (x-1) ^ {2} = x ^ {3} -2x ^ {2} + x}$. (Окраски, которые различаются только перестановкой цветов или автоморфизмы из грамм по-прежнему считаются разными.)

Удаление – сокращение

Дело в том, что количество k-раскраски - многочлен от k следует из рекуррентного соотношения, называемого повторение удаления – сокращения или же Фундаментальная теорема редукции.^[3] Он основан на сжатие края: для пары вершин ${ displaystyle u}$ и ${ displaystyle v}$ график ${ displaystyle G / uv}$ получается путем слияния двух вершин и удаления всех ребер между ними. Если ${ displaystyle u}$ и ${ displaystyle v}$ соседствуют в грамм, позволять ${ displaystyle G-uv}$ обозначим граф, полученный удалением ребра ${ displaystyle uv}$.Тогда числа k-раскраски этих графиков удовлетворяют:

${ Displaystyle P (G, K) = P (G-uv, k) -P (G / uv, k)}$

Эквивалентно, если ${ displaystyle u}$ и ${ displaystyle v}$ не соседствуют в грамм и ${ displaystyle G + uv}$ это граф с ребром ${ displaystyle uv}$ добавил, затем

${ Displaystyle P (G, K) = P (G + uv, k) + P (G / uv, k)}$

Это следует из наблюдения, что каждый k-крашивание грамм либо дает разные цвета ${ displaystyle u}$ и ${ displaystyle v}$, или тех же цветов. В первом случае это дает (собственно) k-крашивание ${ displaystyle G + uv}$, а во втором - раскраска ${ displaystyle G / uv}$. И наоборот, каждый k-крашивание грамм однозначно получается из k-крашивание ${ displaystyle G + uv}$ или же ${ displaystyle G / uv}$ (если ${ displaystyle u}$ и ${ displaystyle v}$ не соседствуют в грамм).

Следовательно, хроматический многочлен можно рекурсивно определить как

${ Displaystyle Р (G, х) = х ^ {п}}$ для безреберного графа на п вершины и

${ Displaystyle P (G, x) = P (G-uv, x) -P (G / uv, x)}$ для графика грамм с краю ${ displaystyle uv}$ (произвольно выбранный).

Поскольку количество k-раскраски безреберного графа действительно ${ Displaystyle к ^ {п}}$, индукцией по количеству ребер следует, что для всех грамм, многочлен ${ Displaystyle P (G, x)}$ совпадает с количеством k-раскраски в каждой целой точке х = к. В частности, хроматический полином является единственным интерполирующий полином степени не более п через точки

${ displaystyle left {(0, P (G, 0)), (1, P (G, 1)), cdots, (n, P (G, n)) right }.}$

ТуттеЛюбопытство о том, какие еще инварианты графа удовлетворение таких повторений привело его к открытию двумерного обобщения хроматического полинома, Полином Тутте ${ Displaystyle T_ {G} (х, у)}$.

Примеры

Хроматические полиномы для некоторых графов

Треугольник ${ displaystyle K_ {3}}$	${ Displaystyle х (х-1) (х-2)}$
Полный график ${ displaystyle K_ {n}}$	${ Displaystyle х (х-1) (х-2) cdots (х- (п-1))}$
Безреберный граф ${ displaystyle { overline {K}} _ {n}}$	${ Displaystyle х ^ {п}}$
График пути ${ displaystyle P_ {n}}$	${ Displaystyle х (х-1) ^ {п-1}}$
Любой дерево на п вершины	${ Displaystyle х (х-1) ^ {п-1}}$
Цикл ${ displaystyle C_ {n}}$	${ Displaystyle (х-1) ^ {п} + (- 1) ^ {п} (х-1)}$
Граф Петерсена	${ displaystyle x (x-1) (x-2) left (x ^ {7} -12x ^ {6} + 67x ^ {5} -230x ^ {4} + 529x ^ {3} -814x ^ { 2} + 775x-352 вправо)}$

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

Для фиксированных грамм на п вершины, хроматический многочлен ${ Displaystyle P (G, x)}$ это моник многочлен степени ровно п, с целыми коэффициентами.

Хроматический полином включает в себя как минимум столько же информации о раскрашиваемости грамм как и хроматическое число. Действительно, хроматическое число - это наименьшее положительное целое число, которое не является нулем хроматического полинома,

${ displaystyle chi (G) = min {k in mathbb {N}: P (G, k)> 0 }.}$

Полином, вычисленный на ${ displaystyle -1}$, то есть ${ Displaystyle P (G, -1)}$, дает ${ Displaystyle (-1) ^ {| V (G) |}}$ умноженное на количество ациклические ориентации из грамм.^[4]

Производная с оценкой 1, ${ Displaystyle P '(G, 1)}$ равно хроматический инвариант ${ Displaystyle theta (G)}$ до подписи.

Если грамм имеет п вершины и c составные части ${ Displaystyle G_ {1}, cdots, G_ {c}}$, тогда

• Коэффициенты при ${ displaystyle x ^ {0}, cdots, x ^ {c-1}}$ нули.
• Коэффициенты при ${ Displaystyle х ^ {с}, cdots, х ^ {п}}$ все ненулевые и чередуются по знакам.
• Коэффициент ${ Displaystyle х ^ {п}}$ равно 1 (многочлен равен моник).
• Коэффициент ${ Displaystyle х ^ {п-1}}$ является ${ displaystyle - | E (G) |}$.

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

- Просмотрите, нажав [показать] -

Докажем это индукцией по количеству ребер на простом графе грамм с ${ displaystyle n}$ вершины и ${ displaystyle k}$ края. Когда ${ displaystyle k = 0}$, грамм пустой граф. Следовательно, по определению ${ Displaystyle Р (G, х) = х ^ {п}}$. Так что коэффициент ${ Displaystyle х ^ {п-1}}$ является ${ displaystyle 0}$, откуда следует, что утверждение верно для пустого графа. Когда ${ displaystyle k = 1}$, как в грамм имеет только одно ребро, ${ Displaystyle P (G, x) = x ^ {n} -x ^ {n-1}}$. Таким образом, коэффициент ${ Displaystyle х ^ {п-1}}$ является ${ Displaystyle -1 = - | E (G) |}$. Таким образом, утверждение верно для k = 1. Используя сильная индукция предположить, что утверждение верно для ${ Displaystyle к = 0,1,2, ... (к-1)}$. Позволять грамм имеют ${ displaystyle k}$ края. Посредством принцип сокращения-удаления,

${ Displaystyle P (G, x) = P (G-e, x) -P (G / e, x)}$,

Позволять ${ Displaystyle P (G-e, x) = x ^ {n} -a_ {n-1} x ^ {n-1} + a_ {n-2} x ^ {n-2} -...}$, и ${ Displaystyle P (G.e, x) = x ^ {n-1} -b_ {n-2} x ^ {n-2} + b_ {n-3} x ^ {n-3} -...}$.
Следовательно ${ Displaystyle P (G, x) = x ^ {n} - (a_ {n-1} +1) x ^ {n-1} + ...}$.
С ${ displaystyle G-e}$ получается из грамм удалением только одного края е, ${ displaystyle a_ {n-1} = k-1}$, так ${ displaystyle a_ {n-1} + 1 = k}$ и, таким образом, утверждение верно для k.

• Коэффициент ${ displaystyle x ^ {1}}$ является ${ Displaystyle (-1) ^ {п-1}}$ умноженное на количество ациклических ориентаций, которые имеют уникальный сток в указанной произвольно выбранной вершине.^[5]
• Абсолютные значения коэффициентов каждого хроматического полинома образуют лог-вогнутая последовательность.^[6]
• ${ Displaystyle scriptstyle P (G, x) = P (G_ {1}, x) P (G_ {2}, x) cdots P (G_ {c}, x)}$

Последнее свойство обобщается тем, что если грамм это k-кликовая сумма из ${ displaystyle G_ {1}}$ и ${ displaystyle G_ {2}}$ (т. е. граф, полученный склейкой двух в клике на k вершины), то

${ Displaystyle P (G, x) = { гидроразрыва {P (G_ {1}, x) P (G_ {2}, x)} {x (x-1) cdots (x-k + 1)} }.}$

График грамм с п вершины - дерево тогда и только тогда, когда

${ Displaystyle P (G, x) = x (x-1) ^ {n-1}.}$

Хроматическая эквивалентность

Три графа с хроматическим полиномом, равным ${ Displaystyle (х-2) (х-1) ^ {3} х}$.

Два графа называются хроматически эквивалентный если у них один и тот же хроматический полином. Изоморфные графы имеют один и тот же хроматический полином, но неизоморфные графы могут быть хроматически эквивалентными. Например, все деревья на п вершины имеют один и тот же хроматический полином, в частности, ${ Displaystyle (х-1) ^ {3} х}$ является хроматическим полиномом обоих коготь граф и граф путей на 4 вершинах.

График хроматически уникальный если он определяется своим хроматическим многочленом, с точностью до изоморфизма. Другими словами, грамм хроматически уникален, то ${ Displaystyle P (G, x) = P (H, x)}$ означало бы, что грамм и ЧАС изоморфны. Все графики цикла хроматически уникальны.^[7]

Хроматические корни

А корень (или же нуль) хроматического полинома, называемого «хроматическим корнем», является значением Икс куда ${ Displaystyle P (G, x) = 0}$. Хроматические корни были очень хорошо изучены, фактически, первоначальная мотивация Биркгофа для определения хроматического полинома заключалась в том, чтобы показать, что для плоских графов ${ Displaystyle P (G, x)> 0}$ за Икс ≥ 4. Это установило бы теорема четырех цветов.

Ни один граф не может быть 0-цветным, поэтому 0 всегда является хроматическим корнем. Только графы без ребер могут быть одноцветными, поэтому 1 - хроматический корень любого графа с хотя бы одним ребром. С другой стороны, за исключением этих двух точек, ни один граф не может иметь хроматический корень с действительным числом, меньшим или равным 32/27.^[8] Результат Тутте соединяет Золотое сечение ${ displaystyle phi}$ с изучением хроматических корней, показав, что хроматические корни существуют очень близко к ${ displaystyle phi ^ {2}}$:Если ${ displaystyle G_ {n}}$ является плоской триангуляцией сферы, то

${ Displaystyle P (G_ {n}, phi ^ {2}) leq phi ^ {5-n}.}$

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

Раскраски с использованием всех цветов

Для графика грамм на п вершины, пусть ${ displaystyle e_ {k}}$ обозначим количество раскрасок, используя ровно k цвета вплоть до переименования цветов (таким образом, окраски, которые могут быть получены друг от друга путем перестановки цветов, считаются за один; окраски, полученные автоморфизмы из грамм по-прежнему учитываются отдельно). ${ displaystyle e_ {k}}$ считает количество перегородки вершины, установленной в k (не пусто) независимые множества.Потом ${ displaystyle k! cdot e_ {k}}$ подсчитывает количество раскрасок, используя точно k цвета (с различимыми цветами) .Для целого числа Икс, все Икс-расцветки грамм однозначно можно получить, выбрав целое число к ≤ х, выбирая k цвета, которые будут использоваться из Икс доступны, и окраска с использованием именно тех k (различимые) цвета.

${ Displaystyle P (G, x) = sum _ {k = 0} ^ {x} { binom {x} {k}} k! cdot e_ {k} = sum _ {k = 0} ^ {x} (x) _ {k} cdot e_ {k}}$,

куда ${ Displaystyle (х) _ {к} = х (х-1) (х-2) cdots (х-к + 1)}$ обозначает падающий факториалТаким образом, числа ${ displaystyle e_ {k}}$ - коэффициенты полинома ${ Displaystyle P (G, x)}$ в основе ${ Displaystyle 1, (х) _ {1}, (х) _ {2}, (х) _ {3}, точки}$ падающих факториалов.

Позволять ${ displaystyle a_ {k}}$ быть k-й коэффициент ${ Displaystyle P (G, x)}$ в стандартной основе ${ displaystyle 1, x, x ^ {2}, x ^ {3}, dots}$, то есть:

${ Displaystyle P (G, x) = sum _ {k = 0} ^ {n} a_ {k} x ^ {k}}$

Числа Стирлинга дать изменение основы между стандартным базисом и базисом падающих факториалов, что подразумевает:

${ displaystyle a_ {k} = sum _ {j = 0} ^ {n} (- 1) ^ {j-k} { begin {bmatrix} j k end {bmatrix}} e_ {j}}$ и ${ displaystyle e_ {k} = sum _ {j = 0} ^ {n} { begin {Bmatrix} j k end {Bmatrix}} a_ {j}}$.

Категоризация

Хроматический полином равен категоризованный по теории гомологии, тесно связанной с Гомологии Хованова.^[10]

Алгоритмы

Хроматический полином
Вход	График грамм с п вершины.
Выход	Коэффициенты ${ Displaystyle P (G, x)}$
Продолжительность	${ Displaystyle О (2 ^ {п} п ^ {г})}$ для некоторой постоянной ${ displaystyle r}$
Сложность	#П-жесткий
Снижение с	# 3СБ

# k-раскраски
Вход	График грамм с п вершины.
Выход	${ Displaystyle P (G, k)}$
Продолжительность	В п за ${ Displaystyle к = 0,1,2}$. ${ displaystyle O (1,6262 ^ {n})}$ за ${ displaystyle k = 3}$. Иначе${ Displaystyle О (2 ^ {п} п ^ {г})}$ для некоторой постоянной ${ displaystyle r}$
Сложность	#П-жестко, если ${ Displaystyle к = 0,1,2}$
Аппроксимируемость	Нет FPRAS для ${ displaystyle k> 2}$

Вычислительные проблемы, связанные с хроматическим полиномом, включают:

• нахождение хроматического полинома ${ Displaystyle P (G, x)}$ данного графа грамм;
• оценка ${ Displaystyle P (G, x)}$ в фиксированной точке Икс для данного грамм.

Первая проблема более общая, потому что если бы мы знали коэффициенты ${ Displaystyle P (G, x)}$ мы могли бы оценить его в любой момент за полиномиальное время, потому что степень п. Сложность второго типа задач сильно зависит от значения Икс и интенсивно изучался в вычислительная сложность. Когда Икс является натуральным числом, эта задача обычно рассматривается как вычисление количества Икс-раскраски данного графа. Например, сюда входит проблема # 3-раскраска подсчета количества 3-раскрасок, каноническая задача в изучении сложности подсчета, полная для счетного класса #П.

Эффективные алгоритмы

Для некоторых базовых классов графов известны замкнутые формулы хроматического полинома. Например, это верно для деревьев и клик, перечисленных в таблице выше.

Алгоритмы полиномиального времени известны для вычисления хроматического полинома для более широких классов графов, включая хордовые графы^[11] и графы ограниченного ширина клики.^[12] Последний класс включает кографы и графы ограниченных ширина дерева, Такие как внешнепланарные графы.

Удаление – сокращение

В повторение удаления-сокращения дает способ вычисления хроматического полинома, называемого алгоритм удаления-сокращения. В первой форме (с минусом) повторение заканчивается набором пустых графов. Во второй форме (с плюсом) он завершается набором полных графиков. Это составляет основу многих алгоритмов раскраски графов. Функция ChromaticPolynomial в пакете Combinatorica системы компьютерной алгебры Mathematica использует второе повторение, если граф плотный, и первое повторение, если граф разреженный.^[13] Время работы любой формулы в наихудшем случае удовлетворяет тому же рекуррентному соотношению, что и Числа Фибоначчи, поэтому в худшем случае алгоритм работает с полиномиальным множителем

${ displaystyle phi ^ {n + m} = left ({ frac {1 + { sqrt {5}}} {2}} right) ^ {n + m} in O left (1.62 ^ {n + m} right),}$

на графике с п вершины и м края.^[14] Анализ можно улучшить с точностью до полиномиального множителя числа ${ displaystyle t (G)}$ из остовные деревья входного графа.^[15] На практике, ветвь и переплет стратегии и изоморфизм графов отклонение используются, чтобы избежать некоторых рекурсивных вызовов, время выполнения зависит от эвристики, используемой для выбора пары вершин.

Метод куба

Существует естественная геометрическая перспектива раскраски графов, если заметить, что при присвоении натуральных чисел каждой вершине раскраска графа представляет собой вектор в целочисленной решетке. ${ displaystyle i}$ и ${ displaystyle j}$ получить тот же цвет эквивалентно ${ displaystyle i}$Й и ${ displaystyle j}$Если координата 'в векторе раскраски равна, каждое ребро может быть связано с гиперплоскостью вида ${ displaystyle {x in R ^ {d}: x_ {i} = x_ {j} }}$. Набор таких гиперплоскостей для данного графа называется его графический расположение. Правильная раскраска графа - это те точки решетки, которые избегают запрещенных гиперплоскостей. ${ displaystyle k}$ цвета, точки решетки содержатся в кубе ${ Displaystyle [0, к] ^ {п}}$. В этом контексте хроматический полином подсчитывает количество точек решетки в ${ displaystyle [0, k]}$-куб, избегающий графического оформления.

Вычислительная сложность

Задача вычисления количества 3-раскрасок данного графа является каноническим примером #П-полная задача, поэтому задача вычисления коэффициентов хроматического полинома является # P-сложной. Аналогично, оценивая ${ Displaystyle P (G, 3)}$ для данного грамм является # P-полным. С другой стороны, для ${ Displaystyle к = 0,1,2}$ легко вычислить ${ Displaystyle P (G, k)}$, поэтому соответствующие задачи вычислимы за полиномиальное время. Для целых чисел ${ displaystyle k> 3}$ проблема # P-hard, которая устанавливается аналогично случаю ${ displaystyle k = 3}$. На самом деле известно, что ${ Displaystyle P (G, x)}$ # P-сложно для всех Икс (включая отрицательные целые числа и даже все комплексные числа), за исключением трех «легких точек».^[16] Таким образом, с точки зрения жесткости # P, сложность вычисления хроматического полинома полностью понятна.

В расширении

${ Displaystyle P (G, x) = a_ {1} x + a_ {2} x ^ {2} + dots + a_ {n} x ^ {n},}$

коэффициент ${ displaystyle a_ {n}}$ всегда равно 1, и известны некоторые другие свойства коэффициентов. Возникает вопрос, легко ли вычислить некоторые коэффициенты. Однако вычислительная проблема вычисления а_р для фиксированного г ≥ 1 и заданный граф грамм является # P-трудным даже для двудольных плоских графов.^[17]

Нет аппроксимационные алгоритмы для вычислений ${ Displaystyle P (G, x)}$ известны любым Икс кроме трех простых точек. В целых точках ${ Displaystyle к = 3,4, точки}$соответствующие проблема решения решения, может ли данный граф быть k-цветный NP-жесткий. Такие задачи не могут быть приближены к любому мультипликативному коэффициенту с помощью вероятностного алгоритма с ограниченной ошибкой, если только NP = RP, потому что любое мультипликативное приближение будет различать значения 0 и 1, эффективно решая версию решения за вероятностное полиномиальное время с ограниченной ошибкой. В частности, при том же предположении это исключает возможность полностью полиномиальная схема рандомизированной аппроксимации (FPRAS). По другим пунктам нужны более сложные аргументы, и этот вопрос находится в центре активных исследований. По состоянию на 2008 г.^{[Обновить]}, известно, что нет FPRAS для вычислений ${ Displaystyle P (G, x)}$ для любого Икс > 2, если только НП = RP держит.^[18]

Примечания

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

внешняя ссылка

• Вайсштейн, Эрик В. «Хроматический полином». MathWorld.
• PlanetMath Хроматический полином
• Код для вычисления Тутте, Хроматических полиномов и Полиномов потока Гэри Хаггарда, Дэвида Дж. Пирса и Гордона Ройла: [1]