Изменения

Перейти к: навигация, поиск

NP-полнота языка CLIQUE

127 байт добавлено, 16:45, 19 марта 2010
м
Формулировка
==Формулировка==
Пусть задан неориентированный граф Языком CLIQUE называют множество пар <tex>\langle G,k \rangle</tex>, где <math>G</math> и натуральное число - неориентированный граф, <math>k</math>- натуральное число. '''Задача о клике(Слово принадлежит языку CLIQUE)''' решает вопрос о том, содержит если ли граф <math>G</math> содержит подграф <math>H</math> размером <math>k</math>, каждая пара вершин в котором соединена ребром.Задача о клике является NP-полной. 
==Доказательство NP-полноты==
Для доказательства NP-полноты задачи о клике покажем, что она является NP-трудной и принадлежит классу NP.
43
правки

Навигация