Граф Хівуда
Шаблон:Вичитати Шаблон:ГрафГраф Хівуда — ненаправлений граф з 14 вершинами і 21 ребром, названий на честь Шаблон:Не перекладено[1]
Комбінаторні властивості
Даний граф є кубічним і всі цикли в ньому містять шість і більше ребер. Менший кубічний граф містить менші цикли, так що цей граф є кліткою-(3,6) з обхватом 6. Він є також дистанційно-транзитивним (дивіться список Фостера), а тому дистанційно-регулярним.[2] У графі Хівуда мається 24 паросполучення і у всіх них ребра, що не входять у паросполучення, утворюють гамільтонів цикл. Наприклад, малюнок показує вершини графу, що поміщені на коло і утворюють цикл, а діагоналі всередині кола утворюють паросполучення. Якщо розділити ребра циклу на два паросполучення, ми отримаємо три абсолютні паросполучення (тобто, 3-кольорову розмальовку ребер) вісьмома різними способами.[2] Зважаючи на симетрію графу, будь-які два досконалих парування і будь-які два гамільтонових цикли можна перетворити з одного в інше.[3]
У графі Хівуда 28 циклів, що містять по шість вершин. Кожен такий цикл не пов'язаний в точності з трьома іншими 6-вершинними циклами. Серед цих трьох циклів кожен є симетричною різницею двох інших. Граф в якому кожна вершина відповідає циклу з 6 вершин графу Хівуда, а дуги відповідають незв'язним парам — це граф Коксетера.[4]
Геометричні та топологічні властивості
Граф Хівуда є тороїдальним графом, тобто його можна відобразити без перетинів на поверхні тора. Як результат утворюється регулярна карта {6,3}2,1 з 7 гексагональними поверхнями. Кожна поверхня мапи суміжна до кожної іншої, а отже карта потребує 7 кольорів. Граф названий на честь Персі Джона Хівуда, який довів у 1890 році, що не існує карти для тора яка потребує більше 7, а отже карта є максимальною.[5][6]
Ця карта також може бути вірно реалізована як многогранник Сілашші, єдиний відомий полігон, окрім тетраедра, в якому кожна пара граней є сусідніми.
Граф Хівуда є також графом Леві поверхні Фано, тобто графом, що представляє інцидентність точок і прямих в цій геометрії. У цій інтерпретації цикли довжини 6 в графі Хівуда відповідають трикутникам поверхні Фано, тобто графом, представленим інцидентним точкам і прямих в цій геометрії. У цій інтерпретації цикли довжини 6 в графі Хівуда відповідають трикутникам поверхні Фано. Граф Хівуда має число схрещень рівне 3 і є найменшим кубічним графом з таким числом схрещень[7]. Разом з графом Хівуда існує 8 різних графів порядку 14 з числом схрещень 3. Граф Хівуда є графом одиничних відстаней — його можна вкласти в площину так, що суміжні вершини опиняться в точності на відстані одиниця, при цьому ніякі дві вершини не потраплять на одне і те ж місце площині і ніяка крапка не виявиться всередині ребра. Однак у відомих вкладень цього типу відсутня симетрія, притаманна графу.[8]
Алгебраїчні властивості
Група автоморфізмів графу Хівуда ізоморфна проективної лінійної групою PGL22(7), групі порядку 336.[9] Він діє транзитивно на вершини, на ребра і на дуги графу, тому граф Хівуда є симетричним. Є автоморфізм, що переводять будь-яку вершину в будь-яку іншу вершину і будь ребро в будь-яке інше ребро. Згідно зі списком Фостера граф Хівуда, позначений як F014A, є єдиним кубічним графом з 14 вершинами.[10][11] Характеристичний многочлен матриці графу Хівуда — . Спектр графу дорівнює . Це єдиний граф з таким многочленом, який визначається спектром.
Хроматичний многочлен графу дорівнює:
-
- .
Галерея
-
Граф Хівуда має число схрещень 3.
-
Хроматичний індекс графу Хівуда дорівнює 3.
-
Хроматичне число графу Хівуда дорівнює 2.
-
Вкладення графу Хівуда в тор(показаний у вигляді квадрата з Шаблон:Не перекладено), розділяє його на сім взаємно-суміжних областей
Примітки Шаблон:Reflist
- ↑ Шаблон:MathWorld
- ↑ 2,0 2,1 . Шаблон:Cite web
- ↑ Шаблон:Статья.
- ↑ Шаблон:Статья.
- ↑ Шаблон:Статья
- ↑ Шаблон:Статья
- ↑ Шаблон:OEIS
- ↑ Шаблон:Статья.
- ↑ Шаблон:Книга-ру
- ↑ Royle, G. «Кубические симметричные графы (список Фостера).» Шаблон:Webarchive
- ↑ Шаблон:Не перекладено и Dobcsányi, P. «Trivalent Symmetric Graphs Up to 768 Vertices.» J. Combin. Math. Combin. Comput. 40, 41—63, 2002.