Complemento de um grafo

Definição

O complemento $\bar{G}$ de $G=(V,A)$ é o gráfico de $V$ com o conjunto de arestas $[V]^2 \setminus A$.