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).
Bibliografia
Edizione elettronica, p. 4.
Altri progetti
Complemento