Граф Хортона - Horton graph

Граф Хортона
Horton graph.svg
Граф Хортона
Названный в честьДжозеф Хортон
Вершины96
Края144
Радиус10
Диаметр10
Обхват6
Автоморфизмы96
(Z/2Z ×Z/2Z×S4 )
Хроматическое число2
Хроматический индекс3
Толщина книги3
Номер очереди2
ХарактеристикиКубический
Двудольный
Таблица графиков и параметров

в математический поле теория графов, то Граф Хортона или же Хортон 96-график это 3-регулярный граф с 96 вершинами и 144 ребрами, обнаруженными Джозефом Хортоном.[1] Опубликованный Бонди и Мурти в 1976 году, он представляет собой контрпример к гипотезе Тутте о том, что каждый кубический 3-связный двудольный граф является Гамильтониан.[2][3]

После графа Хортона был найден ряд меньших контрпримеров к гипотезе Тутте. Среди них 92 вершинный граф Хортона, опубликованный в 1982 году, 78 вершинный граф Оуэнса, опубликованный в 1983 году, и два Графы Эллингема-Хортона (54 и 78 вершин).[4][5]

Первый граф Эллингема-Хортона был опубликован Эллингемом в 1981 году и имел порядок 78.[6] В то время это был наименьший известный контрпример к гипотезе Тутте. Второй был опубликован Эллингемом и Хортоном в 1983 году и имел порядок 54.[7] В 1989 году был открыт граф Жоржа, самый маленький из известных в настоящее время негамильтоновых 3-связных кубических двудольных графов, содержащий 50 вершин.[8]

Как негамильтонов кубический граф с большим количеством длинных циклов, граф Хортона является хорошим эталоном для программ, которые ищут гамильтоновы циклы.[9]

Граф Хортона имеет хроматическое число 2, хроматический индекс 3, радиус 10, диаметр 10, обхват 6, толщина книги 3[10] и номер очереди 2.[10] Это также 3-реберный граф.

Алгебраические свойства

В группа автоморфизмов графа Хортона имеет порядок 96 и изоморфен Z/2Z×Z/2Z×S4, то прямой продукт из Кляйн четыре группы и симметричная группа S4.

В характеристический многочлен графа Хортона: .

Галерея

Рекомендации

  1. ^ Вайсштейн, Эрик В. «График Хортона». MathWorld.
  2. ^ Тутте, У. Т. "О 2-факторах бикубических графов". Дискретная математика. 1, 203-208, 1971/72.
  3. ^ Бонди, Дж. А., Мёрти, США. Теория графов с приложениями. Нью-Йорк: Северная Голландия, стр. 240, 1976.
  4. ^ Хортон, Дж. Д. «О двухфакторах двудольных регулярных графов». Дискретная математика. 41, 35-41, 1982.
  5. ^ Оуэнс, П. Дж. «Двудольные кубические графы и показатель краткости». Дискретная математика. 44, 327-330, 1983.
  6. ^ Эллингем, М. Н. «Негамильтоновы 3-связные кубические разделенные графы». Отчет об исследовании № 28, кафедра математики, Univ. Мельбурн, Мельбурн, 1981.
  7. ^ Эллингем М. Н. и Хортон Дж. Д. «Негамильтоновы 3-связные кубические двудольные графы». J. Combin. Чт. Сер. В 34, 350-353, 1983.
  8. ^ Жорж, Дж. П. (1989), "Негамильтоновы бикубические графы", Журнал комбинаторной теории, серия B, 46 (1): 121–124, Дои:10.1016/0095-8956(89)90012-9.
  9. ^ В. Эджов, Н. Пугачева, С. Россомахин, П. Зограф «Эффективный алгоритм для перечисления раскраски рёбер и гамильтоновых циклов в кубических графах» arXiv: math / 0610779v1.
  10. ^ а б Джессика Вольц, Инженерные линейные схемы с SAT. Магистерская работа, Тюбингенский университет, 2018 г.