Объединение графов
В теории графов объединение графов — это связь между двумя графами (один граф является объединением другого). Подобные отношения включают подграфы и миноры . Объединения могут предоставить способ уменьшить граф до более простого, сохраняя при этом определенную структуру. Затем объединение можно использовать для изучения свойств исходного графа в более понятном контексте. Приложения включают в себя встраивания, [1] вычисление распределения по родам, [2] и гамильтоновы разложения .
Определение
[ редактировать ]Позволять и — два графа с одинаковым числом ребер, где имеет больше вершин, чем . Тогда мы говорим, что представляет собой объединение если существует биекция и сюръекция и имеют место следующие утверждения:
- Если , две вершины в где и оба и соседствуют по краю в , затем и соседствуют по краю в .
- Если это петля на вершине , затем это цикл включен .
- Если присоединяется , где , но , затем это цикл включен . [3]
Обратите внимание, что пока может быть графиком или псевдографом , обычно бывает так, что это псевдограф.
Характеристики
[ редактировать ]Раскраски ребер инвариантны к слиянию. Это очевидно, поскольку все ребра между двумя графами находятся в биекции друг с другом. Однако, что может быть неочевидно, так это то, что если представляет собой полный граф вида , и мы раскрашиваем ребра так, чтобы задать гамильтоново разложение (разложение на гамильтоновы пути , тогда эти ребра также образуют гамильтоново разложение в .
Пример
[ редактировать ]Рисунок 1 иллюстрирует объединение . Инвариантность раскраски ребер и разложения Гамильтона хорошо видна. Функция является биекцией и на рисунке обозначен буквами. Функция приведено в таблице ниже.
гамильтоновы разложения
[ редактировать ]Один из способов использования объединений — найти гамильтоновы разложения полных графов с 2 n + 1 вершинами. [4] Идея состоит в том, чтобы взять граф и создать его объединение, края которого окрашены в цвета и удовлетворяет определенным свойствам (называемым контурным гамильтоновым разложением). Затем мы можем «обратить» объединение, и у нас останется раскрашены в гамильтоновом разложении.
В [3] Хилтон описывает метод для этого, а также метод нахождения всех гамильтоновых разложений без повторения. Методы основаны на предложенной им теореме, которая утверждает (примерно), что если у нас есть схематическое гамильтоновое разложение, мы могли бы прийти к нему, сначала начав с гамильтонового разложения полного графа, а затем найдя для него объединение.
Примечания
[ редактировать ]- ^ Гросс, Такер 1987
- ^ Валовой 2011 г.
- ^ Перейти обратно: а б Хилтон 1984 г.
- ^ Бахманиан, Аминь; Роджер, Крис, 2012 г.
Ссылки
[ редактировать ]- Бахманян, Амин; Роджер, Крис (2012), «Что такое объединение графов?» , Обернский университет
- Хилтон, AJ W (1984), «Гамильтоновы разложения полных графов» , Журнал комбинаторной теории , серия B 36, 125–134
- Гросс, Джонатан Л.; Такер, Томас В. (1987), Топологическая теория графов, Courier Dover Publications , 151
- Гросс, Джонатан Л. (2011), «Распределение кубических внешнепланарных графов по родам» , Журнал графовых алгоритмов и приложений , Vol. 15, нет. 2, стр. 295–316.