Объединение графов

Объединение графов (Graphs union) - операция, которая ставит в соответствие графам [math]\displaystyle{ F }[/math] и [math]\displaystyle{ G }[/math] граф [math]\displaystyle{ H }[/math] с множеством вершин [math]\displaystyle{ V(H) = V(F) \cup V(G) }[/math] и множеством ребер [math]\displaystyle{ E(H) = E(F) \cup E(G) }[/math]. В этой ситуации пишут [math]\displaystyle{ H = F \cup G }[/math]. Объединение называется дизъюнктным, если [math]\displaystyle{ V(F) \cap V(G) = \emptyset }[/math].

Другое название --- Наложение.

Литература

[Лекции]