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

Объединение графов (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].

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

Литература

• Лекции по теории графов / В.А.Емеличев, О.И.Мельников, В.И.Сарванов, Р.И.Тышкевич. — М.: Наука, 1990.