Изменения

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