title: Grafo complemento
text: # 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).
  