Тензорное произведение графов и — граф, множество вершин которого есть декартово произведение , причём различные вершины и смежны в тогда и только тогда, когда смежна с и смежна с .
Другие названия Тензорное произведение называют также прямым произведением, категорийным произведением, реляционным произведением, произведением Кронекера, слабым прямым произведением или конъюнкцией. Альфред Норт Уайтхед и Бертран Рассел в книге Principia Mathematica ввели тензорное произведение в виде операции бинарного отношения. Тензорное произведение графов также эквивалентно произведению Кронекера матриц смежности этих графов.
Обозначение иногда используется для обозначения другой конструкции, известной как прямое произведение графов, но чаще обозначает тензорное произведение. Символ крестика показывает визуально два ребра, получающихся из тензорного произведения двух рёбер. Это произведение не следует путать с сильным произведением графов.
Примеры Тензорное произведение является двудольным графом, который называется двойным покрытием двудольным графом графа . Двойным покрытием двудольным графом графа Петерсена является граф Дезарга . Двойным покрытием двудольным графом полного графа является корона — полный двудольный граф без совершенного паросочетания). Тензорное произведение полного графа на себя является дополнением ладейного графа. Его вершины могут быть помещены в квадратную решётку так, что каждая вершина смежна всем вершинам, не лежащим в тех же строке или столбце.
Свойства Тензорное произведение является категорийно-теоретическим произведением в категории графов и гомоморфизмов, то есть гомоморфизм в соответствует паре гомоморфизмов в и в . В частности, граф допускает гомоморфизм в тогда и только тогда, когда он допускает гомоморфизм в оба множителя.
С одной стороны, пара гомоморфизмов и дают гомоморфизм:
с другой, гомоморфизм может быть применён к гомоморфизмам проекций:
давая тем самым гомоморфизмы в и в .
Матрица смежности графа является тензорным произведением матриц смежности и .
Если граф может быть представлен как тензорное произведение, то представление может быть не единственным, но каждое представление имеет одинаковое число неприводимых множителей. Вильфрид Имрих привёл алгоритм полиномиального времени для распознавания тензорного произведения графов и нахождения разложения любого такого графа.
Если либо , либо является двудольным, то является двудольным и их тензорное произведение. Граф связен тогда и только тогда, когда оба множителя связаны и, по меньшей мере, один множитель не является двудольным. В частности, двойное покрытие двудольным графом графа связно тогда и только тогда, когда связен и не двудолен.
Гипотеза Хедетниеми даёт формулу для хроматического числа тензорного произведения.
См. также Произведение графов Сильное произведение графов Тензорное произведение
Примечания
Литература
Ссылки
Категория:Произведение графов Категория:Бертран Рассел