Задача о клике

Материал из WikiGrapp
Перейти к навигации Перейти к поиску

Задача о клике (Clique problem) — одна из основных [math]\displaystyle{ \mathcal NP }[/math]-полных задач. Формулируется следующим образом.

У с л о в и е. Дан неориентированный граф [math]\displaystyle{ G=(V,E) }[/math] и положительное число [math]\displaystyle{ k\leq\mid V\mid }[/math].

В о п р о с. Верно ли, что [math]\displaystyle{ G }[/math] содержит [math]\displaystyle{ k }[/math]-клику (т.е. [math]\displaystyle{ k }[/math]-вершинный полный подграф)?

См. также

Литература

  • Ахо А., Хопкрофт Дж., Ульман Дж. Построение и анализ вычислительных алгоритмов. — М.: Мир, 1979.
  • Касьянов В.Н. Лекции по теории формальных языков, автоматов и сложности вычислений. — Новосибирск: НГУ, 1995.