Na teoria dos grafos, um conjunto independente de um grafo G {\displaystyle G} é um conjunto S {\displaystyle S} de vértices de G {\displaystyle G} tal que não existem dois vértices adjacentes contidos em S. Em outras palavras, se a {\displaystyle a} e b {\displaystyle b} são vértices quaisquer de um conjunto independente, não há aresta entre a {\displaystyle a} e b {\displaystyle b}. Wikipedia