Изменения

Пусть дан граф $<tex>G<\langle V, E\rangle</tex>$. '''Дополнительным графом''' (англ. ''complement graph'') к $G$ называется граф $G_1<tex>G \langle V, \overline{E}\rangle</tex>$, то есть граф с вершинами из $V$ и теми и только теми ребрами из $E$, которые не вошли в $G$.

 $<tex>\overline{\overline{G<\langle V, E>\rangle}} = \overline{G_1<\langle V, \overline{E}>\rangle} = G_2<\langle V, \overline{\overline{E}}> = G_2<\langle V, E> \rangle = G$ </tex>

В дополнительном графе к $<tex>G<\langle V, E\rangle</tex>$ . количество ребер равняется <tex dpi=150>\frac{\left\vert V \right\vert \cdot \left ( \left\vert V \right\vert - 1 \right )}{2} - \left\vert E \right\vert</tex>.

'''Самодополнительным графом''' (англ. ''self-complement'') называется граф, изоморфный своему дополнительному.