Просмотр кода страницы Complement of a graph, complementary graph

'''Complement of a graph, complementary graph''' --- дополнение графа. 

The '''complementary graph''' <math>\bar{G} = (V, \bar{E})</math> of a graph <math>G = (V,E)</math> is
defined by <math>\bar{E} = \{(x,y): x,y \in V\mbox{ and }x \neq y\mbox{ and
}(x,y) \not \in E\}</math>.

Given a simple digraph <math>G</math>, the simple digraph <math>\bar{G}</math> is defined by

<math> \begin{array}{l} V(\bar{G}) = V(G), \\

E(\bar{G}) = V(G) \times V(G) - E(G).
\end{array}</math>