В математической области теории графов граф Вагнера представляет собой 3- регулярный граф с 8 вершинами и 12 ребрами. [1] Это 8-вершинный граф лестницы Мёбиуса .
Как лестница Мёбиуса, граф Вагнера неплоский , но имеет пересечение номер один, что делает его вершинным графом . Его можно вложить без пересечений на тор или проективную плоскость , поэтому он также является тороидальным графом . Он имеет обхват 4, диаметр 2, радиус 2, хроматическое число 3, хроматический индекс 3 и является как 3- вершинно-связным , так и 3- реберно-связным .
Граф Вагнера имеет 392 остовных дерева ; он и полный двудольный граф K 3,3 имеют наибольшее количество остовных деревьев среди всех кубических графов с одинаковым числом вершин. [2]
Граф Вагнера является вершинно-транзитивным, но не транзитивным по ребрам . Его полная группа автоморфизмов изоморфна группе диэдра D 8 порядка 16, группе симметрий восьмиугольника , включая как вращения, так и отражения.
Характеристический полином графа Вагнера равен
Это единственный граф с этим характеристическим полиномом, что делает его графом, определяемым его спектром .
Граф Вагнера не содержит треугольников и имеет номер независимости три, что обеспечивает половину доказательства того, что число Рамсея R (3,4) (наименьшее число n такое, что любой граф с n -вершинами содержит либо треугольник, либо четырехвершинный граф). независимое множество) равно 9. [3]
Лестницы Мёбиуса играют важную роль в теории миноров графов . Самым ранним результатом этого типа является теорема Клауса Вагнера 1937 года (часть группы результатов, известная как теорема Вагнера ) о том, что графы без минора K 5 могут быть сформированы с помощью операций суммы кликов для объединения плоских графов и лестницы Мёбиуса M. 8 . [4] По этой причине M 8 называют графом Вагнера.
Граф Вагнера также является одним из четырех минимальных запрещенных миноров для графов с древесной шириной не более трех (остальные три — полный граф К5 , граф правильного октаэдра и граф пятиугольной призмы ) и одним из четырех минимальных миноров . запрещенные миноры для графов с шириной ветвей не более трех (остальные три — это K 5 , граф октаэдра и граф куба ). [5] [6]
Граф Вагнера является кубическим гамильтоновым графом и может быть определен с помощью обозначения LCF [4] 8 . Это экземпляр графа Андрашфаи , типа циркулянтного графа , в котором вершины могут быть расположены в цикле, и каждая вершина соединена с другими вершинами, позиции которых отличаются на число, равное 1 (модуль 3). Она также изоморфна круговой клике K 8/3 .
Его можно изобразить в виде лестничного графа с четырьмя циклическими ступенями на топологической ленте Мёбиуса .