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

21 байт добавлено ,  11 лет назад
Нет описания правки
NP-полнота данной задачи следует из NP-полноты [[Задача о независимом множестве|задачи о независимом множестве]] (вершин). Легко показать, что необходимым и достаточным условием для существования клики размера ''k'' является наличие независимого множества размера не менее ''k'' в дополнении графа. Это очевидно, поскольку полнота подграфа означает, что его дополнение не содержит ни одного ребра.
 
Другое доказательство NP-полноты можно найти в книге «Алгоритмы: построение и анализ» (Т.Кормен, Ч.Лейзерсон, Р.Ривест) <ref>[http://sheen.me/books/spec/apia.djvu "Алгоритмы. Построение и анализ"], Т. Кормен, Ч. Лейзерсон, Р. Ривест, К. Штайн, 2005 год {{ref-ru}} (djvu-формат)</ref>
 
== Алгоритмы ==