Граф Паппа — граф Леви с 18 вершинами, образованный из конфигурации Паппа. Вершины, помеченные одной буквой, соответствуют точкам в конфигурации. Вершины, помеченные тремя буквами, соответствуют прямым, проходящим через три точки.
Граф Леви системы точек и линий обычно имеет обхват по меньшей мере шесть: любой цикл длины 4 должен соответствовать двум линиям, проходящим через те же самые две точки. Следовательно, любой двудольный граф с обхватом по меньшей мере шесть можно рассматривать как граф Леви абстрактной структуры инцидентности[1]. Графы Леви конфигураций являются бирегулярными[англ.] и любой бирегулярный граф с обхватом как минимум шесть можно рассматривать как граф Леви абстрактной конфигурации[4].
Графы Леви можно также определить для других типов структур инциденций, таких как инциденции между точками и плоскостями в евклидовом пространстве. Для любого графа Леви существует эквивалентный гиперграф и наоборот.
Примеры
Граф Дезарга является графом Леви конфигурации Дезарга, состоящей из 10 точек и 10 прямых. На каждой прямой находятся 3 точки и 3 прямых проходят через каждую точку. Граф Дезарга можно рассматривать также, как обобщённый граф Петерсена G (10,3) или как двудольный граф Кнезера с параметрами 5,2. Он является 3-регулярным графом с 20 вершинами.
Граф Хивуда является графом Леви плоскости Фано. Известен также как (3,6)-клетка и является 3-регулярным графом с 14 вершинами.
Граф Мёбиуса — Кантора является графом Леви конфигурации Мёбиуса — Кантора, системы из 8 точек и 8 линий, которые нельзя реализовать с помощью прямых линий на евклидовой плоскости. Он является 3-регулярным графом и имеет 16 вершин.
Граф Паппа является графом Леви конфигурации Паппа, состоящей из 9 точек и 9 прямых. Как и в конфигурации Дезарга, на каждой прямой находятся 3 точки и через каждую точку проходят 3 прямые. Граф является 3-регулярным и имеет 18 вершин.
Граф Грея является графом Леви конфигурации, которую можно получить в R3 как 3×3×3 решётку 27 точек и 27 ортогональных прямых, проходящих через эти точки.
Граф четырёхмерного гиперкубаQ4 является графом Леви конфигурации Мёбиуса, образованной точками и плоскостями двух взаимно вписанных тетраэдров. Здесь тетраэдр считается вписанным в другой, если все его вершины лежат на плоскостях, проходящих через грани другого тетраэдра (не обязательно на самих гранях).
Граф Любляны с 112 вершинами является графом Леви конфигурации Любляны[5].
Примечания
↑ 123Branko Grünbaum. The Coxeter Legacy. — Providence, RI: American Mathematical Society, 2006. — С. 179—225. Смотрите, в частности, стр. 181Архивная копия от 1 апреля 2018 на Wayback Machine.
↑F. W. Levi. Finite Geometrical Systems. — Calcutta: University of Calcutta, 1942.
↑Harald Gropp. Handbook of combinatorial designs / Charles J. Colbourn, Jeffrey H. Dinitz. — Second. — Chapman & Hall/CRC, Boca Raton, FL, 2007. — С. 353—355. — (Discrete Mathematics and its Applications (Boca Raton)).
↑M. Conder, A. Malnič, D. Marušič, T. Pisanski, З. Potočnik.The Ljubljana Graph. — University of Ljubljana Department of Mathematics, 2002. Архивировано 2 марта 2012 года.