Модульное произведение графиков - Modular product of graphs
В теория графов, то модульный продукт графиков грамм и ЧАС это граф, образованный путем объединения грамм и ЧАС который имеет приложения к изоморфизм подграфов.Это один из нескольких видов графические продукты которые были изучены, как правило, с использованием одного и того же набора вершин (декартово произведение множеств вершин двух графов грамм и ЧАС), но с другими правилами определения, какие ребра включать.
Определение
Множество вершин модульного произведения грамм и ЧАС это декартово произведение V(грамм) × V(ЧАСЛюбые две вершины (ты, v) и (ты , v ' ) смежны в модульном произведении грамм и ЧАС если и только если ты отличается от ты , v отличается от v ' , и либо
- ты примыкает к ты и v примыкает к v ' , или же
- ты не соседствует с ты и v не соседствует с v ' .
Приложение к изоморфизму подграфов
Клики в графе модульного продукта соответствуют изоморфизмы из индуцированные подграфы из грамм и ЧАС. Следовательно, модульный граф произведения может использоваться для сведения проблем изоморфизма индуцированных подграфов к задачам нахождения клики в графиках. В частности, максимальный общий индуцированный подграф обоих грамм и ЧАС соответствует максимальная клика в их модульном продукте. Хотя проблемы поиска наибольших общих индуцированных подграфов и нахождения максимальных клик являются НП-полный, это сокращение позволяет алгоритмы поиска кликов для применения к общей проблеме подграфа.
Рекомендации
- Barrow, H .; Берстолл, Р. (1976), «Изоморфизм подграфов, соответствующие реляционные структуры и максимальные клики», Письма об обработке информации, 4 (4): 83–84, Дои:10.1016/0020-0190(76)90049-1.
- Леви, Г. (1973), "Замечание о выводе максимальных общих подграфов двух ориентированных или неориентированных графов", Calcolo, 9 (4): 341–352, Дои:10.1007 / BF02575586.
- Визинг, В.Г. (1974), «Сведение проблемы изоморфизма и изоморфного входа к задаче нахождения неплотности графа», Proc. 3-я Всесоюзная конф. Проблемы теоретической кибернетики, п. 124.