Дополнительный, самодополнительный граф

Эта статья находится в разработке!

НЯ! Эта статья полна любви и обожания. Возможно, стоит добавить ещё больше?

Дополнительный граф

Определение:

<wikitex>Пусть дан граф $G<V, E>$. Дополнительным графом к $G$ называется граф $\overline{G}<V, \overline{E}>$, то есть граф с вершинами из $V$ и всеми ребрами из $E$, которые не вошли в $G$.</wikitex>