WikiDer > Обложка клики

Clique cover

В теория графов, а обложка клики или же разделение на клики данного неориентированный граф это раздел из вершины графа в клики, подмножества вершин, в которых каждые две вершины смежны. А минимальное покрытие клики это прикрытие клики, которое использует как можно меньше клик. Минимум k для которого существует кликовое покрытие, называется номер обложки клики данного графа.

Отношение к окраске

Кликовое покрытие графа грамм можно рассматривать как раскраска графика из дополнительный граф из грамм, граф на том же множестве вершин, который имеет ребра между несмежными вершинами грамм. Как и покрытия клик, раскраски графов представляют собой разбиения множества вершин, но на подмножества без примыканий (независимые множества), а не клики. Подмножество вершин - это клика в грамм тогда и только тогда, когда это независимый набор в дополнении грамм, поэтому разбиение вершин грамм это клика прикрытие грамм тогда и только тогда, когда это раскраска дополнения грамм.

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

В проблема прикрытия клики в теория сложности вычислений это алгоритмический проблема поиска минимального прикрытия клики, или (перефразированная как проблема решения) нахождение кликового покрытия, количество клик которого меньше заданного порога. Поиск минимального покрытия клики NP-жесткий, и это версия решения является НП-полный. Это был один из Оригинальная 21 задача Ричарда Карпа показал NP-полную в своей статье 1972 г. «Сводимость среди комбинаторных проблем».[1]

Эквивалентность кликовых покрытий и раскраски есть снижение которое может быть использовано для доказательства NP-полноты задачи о покрытии клик из известной NP-полноты раскраски графов.[2]

В специальных классах графов

Совершенные графики определяются как графики, в которых для каждого индуцированный подграф, хроматическое число (минимальное количество цветов в раскраске) ​​равно размеру максимальная клика.Согласно слабая теорема о совершенном графе, дополнение к совершенному графу также прекрасно. Следовательно, идеальные графы - это также графы, в которых для каждого индуцированного подграфа число кликового покрытия равно размеру максимальный независимый набор. Можно вычислить число кликового покрытия в совершенных графах в полиномиальное время.

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

Оптимальное разбиение на клики также может быть найдено за полиномиальное время для графов ограниченного ширина клики.[3] К ним относятся, среди прочего, графики кографы и дистанционно-наследственные графы, которые также являются классами совершенных графов.

Приближение

Такой же твердость приближения результаты, которые известны раскраской графа, также применимы к покрытию клик. Следовательно, если P = NP, не может быть полиномиальное время алгоритм аппроксимации для любого ε > 0 что, на п-вершинных графов, достигает коэффициент аппроксимации лучше чем п1 − ε.[4]

В графах, где каждая вершина имеет максимум три соседа, покрытие клики остается NP-трудным, и существует постоянная ρ > 1 такой, что его NP-трудно аппроксимировать с помощью коэффициент аппроксимации ρ или лучше. Тем не менее в полиномиальное время можно найти приближение с соотношением 5/4. То есть этот алгоритм аппроксимации находит покрытие клики, количество клик которого не более чем в 5/4 раз превышает оптимальное.[5]

Связанные проблемы

Связанные крышка края клика проблема касается разбиения ребер графа, а не вершин, на подграфы, индуцированные кликами. Он также является NP-полным.[6]

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

  1. ^ Карп, Ричард (1972), «Сводимость среди комбинаторных проблем» (PDF)в Miller, R.E .; Тэтчер, Дж. У. (ред.), Материалы симпозиума по сложности компьютерных вычислений., Plenum Press, стр. 85–103., получено 2008-08-29
  2. ^ Гарей, Майкл Р.; Джонсон, Дэвид С. (1979), Компьютеры и непреодолимость: руководство по теории NP-полноты, W.H. Фриман, ISBN 0-7167-1045-5 A1.2: GT19, стр.194.
  3. ^ Эспелаж, Вольфганг; Гурски, Франк; Ванке, Эгон (2001), "Как решить NP-трудные графические задачи на ограниченных графах шириной клики за полиномиальное время", Международный семинар по теоретико-графическим концепциям в компьютерных науках (WG 2001), Конспект лекций по информатике, 2204, Springer, стр. 117–128, Дои:10.1007/3-540-45477-2_12.
  4. ^ Цукерман, Д. (2007), «Линейные экстракторы степеней и непроксимируемость максимального клика и хроматического числа» (PDF), Теория вычислений, 3: 103–128, Дои:10.4086 / toc.2007.v003a006.
  5. ^ Cerioli, M.R .; Faria, L .; Ferreira, T.O .; Martinhon, C.A.J .; Protti, F .; Рид Б. (июнь 2008 г.), "Разбиение на клики для кубических графов: плоский случай, сложность и приближение", Дискретная прикладная математика, 156 (12): 2270–2278, Дои:10.1016 / j.dam.2007.10.015.
  6. ^ Гэри и Джонсон (1979), Проблема GT59.