Grafo complemento
# Grafo complemento

Nella teoria dei grafi, il complemento o inverso di un grafo G è un grafo H sugli stessi vertici tale che due distinti vertici di H sono adiacenti se e solo se non sono adiacenti in G. Ossia, per generare il complemento di un grafo, si riempiono tutti gli spigoli mancanti richiesti per formare un grafo completo, e si rimuovono tutti gli spigoli che vi erano in precedenza. Esso non è, tuttavia, l'insieme complemento del grafo; solo gli spigoli del grafo sono complementati.

## Costruzione formale

Sia G = (V, E) un grafo semplice e consista K di tutti i sottoinsiemi di 2 elementi di V. Allora H = (V, K \ E) è il complemento di G.

## Applicazioni ed esempi

Parecchi concetti della teoria dei grafi sono legati tra loro attraverso i grafi complemento:

* Il complemento di un grafo senza spigoli è un grafo completo e viceversa.
* Un insieme indipendente in un grafo è una cricca nel grafo complemento e viceversa.
* Il complemento di qualsiasi grafo senza triangolo è un grafo senza stella.
* Un grafo autocomplementare è un grafo che è isomorfico al proprio complemento.
* I cografi sono definiti come i grafi che possono essere costituiti dall'unione disgiunta e da operazioni di complementazione, e formare una famiglia autocomplementare di grafi: il complemento di qualsiasi cografo è un altro cografo (eventualmente diverso).
