Изменения

Языком CLIQUE называют множество пар <tex>\langle G,k \rangle</tex>, где <math>G</math> - неориентированный граф, <math>k</math> - натуральное число. Слово принадлежит языку CLIQUE, если ли граф <math>G</math> содержит подграф <math>H</math> размером <math>k</math>,каждая пара вершин в котором соединена ребром. Задача о клике является NP-полной.