Conjunto independente

O Conjunto independente de um grafo é o conjunto de vértices no qual nenhum par de vértices do conjunto é adjacente. Podemos, ainda, definir Conjunto independente máximo, o conjunto independente no qual nenhum vértice pode ser adicionado sem que seja destruída sua independência.