В математической области теории графов граф Вагнера — это 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 называется графом Вагнера.
Граф Вагнера также является одним из четырех минимальных запрещенных миноров для графов с древовидной шириной не более трех (остальные три — это полный граф K 5 , граф правильного октаэдра и граф пятиугольной призмы ) и одним из четырех минимальных запрещенных миноров для графов с ветвящейся шириной не более трех (остальные три — это K 5 , граф октаэдра и граф куба ). [5] [6]
Граф Вагнера является кубическим гамильтоновым графом и может быть определен с помощью нотации LCF [4] 8 . Это пример графа Андрашфаи , типа циркулянтного графа , в котором вершины могут быть расположены в цикле, и каждая вершина соединена с другими вершинами, позиции которых отличаются числом, равным 1 (mod 3). Он также изоморфен круговой клике K 8/3 .
Его можно изобразить в виде лестничного графа с четырьмя ступенями, зацикленными на топологической ленте Мёбиуса .