Дополнение графа

Дополнение графа (Complementary graph) - граф [math]\displaystyle{ \bar{G} }[/math] имеющий то же множество вершин, что и [math]\displaystyle{ G }[/math], но в котором две несовпадающие вершины смежны тогда и только тогда, когда они не смежны в [math]\displaystyle{ G }[/math].