Соединение графов

Соединение графов (Graphs union, join of graphs) - для графов [math]\displaystyle{ G_{1} }[/math] и [math]\displaystyle{ G_{2} }[/math] с непересекающимися множествами вершин [math]\displaystyle{ V_{1} }[/math] и [math]\displaystyle{ V_{2} }[/math] и ребер граф [math]\displaystyle{ G_{1} + G_{2} = G_{1} \cup G_{2} \cup K(V_{1},V_{2}), }[/math] где [math]\displaystyle{ K(V_{1},V_{2}) }[/math] --- полный двудольный граф с множествами вершин [math]\displaystyle{ V_{1} }[/math] и [math]\displaystyle{ V_{2} }[/math] в долях.

Литература

[Алгоритмы]