Задача о клике: различия между версиями

Нет изменений в размере ,  12 лет назад
Нет описания правки
({{NP-полные задачи}})
'''Кликой''' в неориентированном [[Граф (математика)|графе]] называется подмножество вершин, каждые две из которых соединены ребром графа. Иными словами, это ''полный подграф'' первоначального графа. Размер клики определяется как число вершин в ней. Задача разрешения выглядит так: существует ли в заданном графе ''G'' клика размера ''k''? Соответствующая ей оптимизационная задача формулируется следующим образом: в заданном графе ''G'' требуется найти клику максимального размера. Это и есть '''задача о клике'''.
 
NP-полнота данной задачи следует из NP-полноты [[Задача о независимом множестве|задачи о независимом множестве]] (вершин). Легко показать, что необходимым и достаточным условием для существования клики размера ''k'' является наличие независимого множествемножества размера не менее ''k'' в дополнении графа. Это очевидно, поскольку полнота подграфа означает, что его дополнение не содержит ни одного ребра.
 
Другое доказательство NP-полноты можно найти в книге "Алгоритмы: построение и анализ" (Т.Кормен, Ч.Лейзерсон, Р.Ривест)
Анонимный участник