сложность аппроксимации хроматического числа в графах с ограниченной степенью


12

Я ищу результаты твердости по раскраске вершин графов с ограниченной степенью.

Учитывая граф , мы знаем, что для любого ϵ > 0 трудно приблизить χ ( G ) с множителем | V | 1 - ϵ, если NP = ZPP [ 1 ]. Но что, если максимальная степень G ограничена d ? Существуют ли в этом случае коэффициенты твердости вида d 1 - ϵ (для некоторых ϵ )?G(V,E)ϵ>0χ(G)|V|1ϵNP=ZPPGdd1ϵϵ

Более простой вопрос: трудность аппроксимации числа хроматографических ребер гиперграфа, когда размер их ребер ограничен . Можем ли мы надеяться на г 1 - е соотношение твердости в этом случае? (скажем, для любого ϵ > 0 )dd1ϵϵ>0

Спасибо за внимание!


3
Вы можете дополнить жесткий экземпляр изолированными вершинами
Сашо Николов

2
Да, но если вы установите конечную границу размера жесткого экземпляра, с которого вы начинаете, он перестает быть жестким.
Дэвид Эппштейн

1
@Sasho Как могут помочь изолированные вершины, если они не увеличивают ни хроматическое число, ни максимальную степень?
afshi7n

2
@DavidEppstein уверен, что этот отступ доказывает только то, что и d все еще полиномиально связаны. ОП, в этом-то и дело. Вы начинаете с экземпляра с d вершинами (максимальная степень не более d ), для которого трудно приблизить χ с точностью до d 1 - ϵ . добавить n - d изолированных вершин. χ остается прежним, а максимальная степень остается d . это множитель, если N = d O ( 1 ) . так для любого целого числа кndddχd1ϵndχdN=dO(1)k, существуют случаи с максимальной степенью для которых трудно приблизить χ с точностью до d 1 - ϵd=n1/kχd1ϵ
Сашо Николов

Обновление: NP-трудно приблизить с коэффициентом | V | 1 - ϵ без каких-либо дополнительных предположений. χ(G)|V|1ϵ
Кириак Антоний

Ответы:


9

Как указывал Дэвид, в статье Хота «Результаты улучшенной неприемлемости для MaxClique, хроматического числа и приблизительной окраски графа», теорема 1.6, говорится, что NP-трудно окрашивать раскрашиваемый граф с 2 Ω ( ( log K ) 2 ) цветами для графики со степенью не более 2 2 ( лог - к ) 2 , при достаточно большой постоянной K . Другими словами, для графиков степени d трудно раскрасить 2 K2Ω((logK)2)22(logK)2Kd -цветный график сlogdцветов.2loglogdlogd

Чтобы получить лучшую оценку степени, вы, вероятно, можете использовать идеи из статьи Тревизана «Результаты не аппроксимируемости для задач оптимизации в случаях ограниченной степени». Ключевое наблюдение заключается в том, что график, полученный в результате редукции FGLSS, представляет собой объединение полных двудольных подграфов, и каждый из них можно заменить двудольным диспергатором, который намного более редок. Подобная идея используется во многих результатах, таких как Чан http://eccc.hpi-web.de/report/2012/110/ , Теорема 1.4 / Приложение D.

Я думаю, что это должно дать вам что-то вроде за 2clogdddc0<c<1

Граница степени в упомянутой Майклом статье похожа на степень Хота, а именно на экспоненту обоснованности. Конечно, вышеупомянутый подход к спарсификации также улучшает это, но, вероятно, не даст лучшей константы для вашей цели.


2Ω(loglogd)22Ω(loglogd)

logd/2loglogdlogd/(loglogd)3dcd

1
dc


8

Существует результат неприемлемости для раскраски графов с ограниченными степенями в документе Khot's FOCS'01 «Улучшенные результаты неприемлемости для MaxClique, хроматического числа и окраски приближенного графика» - он, вероятно, слабее, чем вы хотите, но, по крайней мере, в правильном направлении.

kk2kO(logk)exp((logk)2/25)dO(logd)


logd

Почему бы не спросить Хот?
Чандра Чекури

1
@chandra Только что отправил электронное письмо и спросил его, спасибо за предложение! Я буду обновлять здесь, если я услышал в ответ.
afshi7n

klogk/25exp((klogk)/25)2k1/3

k(logk)/25exp((klogk)/25)

4

Этот результат может быть полезным:

Δk=ΔΔ+1k3

Т. Эмден-Вейнерт, С. Хугарди, Б. Крейтер, Одноцветные графы и графы твердости раскраски большого обхвата, Комбин. Вероятно. Вычи. 7 (4) (1998) 375–386

Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.