В теории графов , разделе математики, непересекающееся объединение графов — это операция, которая объединяет два или более графа в один больший граф. Он аналогичен непересекающемуся объединению множеств и строится путем превращения множества вершин результата в непересекающееся объединение множеств вершин данных графов и путем превращения множества ребер результата в непересекающееся объединение ребер. множества данных графов. Любое непересекающееся объединение двух и более непустых графов обязательно несвязно .
Непересекающееся объединение также называется суммой графов и может быть представлено либо знаком плюс , либо знаком плюс в кружке: Если и — два графа, то или обозначает их непересекающееся объединение. [1]
Некоторые специальные классы графов могут быть представлены с помощью операций непересекающегося объединения. В частности:
В более общем смысле каждый граф представляет собой непересекающееся объединение связных графов и их связных компонентов .
Кографы — это графы , которые можно построить из одновершинных графов с помощью комбинации операций непересекающегося объединения и дополнения . [5]