Граф призмы

В теории графов граф призмы — это граф, имеющий одну из призм в качестве скелета.

Примеры

Индивидуальные графы можно назвать согласно ассоциированным телам:


Y3 = GP(3,1)

Y4 = Q3 = GP(4,1)

Y5 = GP(5,1)

Y6 = GP(6,1)

Y7 = GP(7,1)

Y8 = GP(8,1)

Хотя геометрически звёздчатые многоугольники также служат гранями другой последовательности (самопересекающихся и невыпуклых) призматических многогранников, графы этих звёздчатых призм изоморфны графам призм и не образуют отдельной последовательности графов.

Построение

Графы призм являются примерами обобщённых графов Петерсена с параметрами GP(n,1). Графы также можно образовать как прямое произведение цикла и единичного ребра[1].

Как и многие вершинно-транзитивные графы, призматические графы можно построить как графы Кэли. Диэдральная группа порядка n является группой симметрий правильного n-угольника на плоскости. Она действует на n-угольник вращениями и отражениями. Группа может быть сгенерирована двумя элементами, вращением на угол и одним отражением, и граф Кэли этой группы с этим генерирующим множеством является графом призмы. Абстрактно группа имеет задание (где r — это вращение, а f — отражение) и граф Кэли имеет r и f (или r, r1 и f) в качестве генераторов [1]

Граф n-угольной призмы с нечётным n можно построить как циркулянтный граф , однако это построение не работает для чётных значений n [1].

Свойства

Граф n-угольной призмы имеет 2n вершин и 3n рёбер. Графы являются регулярными кубическими графами. Поскольку призма имеет симметрии, переводящие любую вершину в любую другую, графы призм являются вершинно-транзитивными графами. Являясь полиэдральными графами, эти графы также являются вершинно 3-связными планарными графами. Любой граф призмы имеет гамильтонов цикл[2].

Среди всех двусвязных кубических графов графы призм имеют с точностью до постоянного множителя наибольшее возможное число 1-разложений графа. 1-разложение — это разбиение множества рёбер графа на три совершенных паросочетания, или, эквивалентно, рёберная раскраска графа тремя цветами. Любой двусвязный кубический граф с n вершинами имеет O(2n/2) 1-разложений, а граф призмы имеет Ω(2n/2) 1-разложений [3].

Число остовных деревьев графа n-угольной призмы задаётся формулой [4].

Для n = 3, 4, 5, ... эти числа равны

78, 388, 1810, 8106, 35294, ...

Графы n-угольных призм для чётных n являются частичными кубами. Они образуют одно из немногих известных бесконечных семейств кубических графов частичных кубов, и они являются (за исключением четырёх случаев) единственными вершинно-транзитивными кубическими частичными кубами[5].

Граф пятиугольной призмы является одним из запрещённых миноров для графов с древесной шириной три[6]. Графы треугольной призмы и куба имеют древесную ширину в точности три, но все бо́льшие призмы имеют древесную ширину четыре.

Связанные графы

Другие бесконечные семейства полиэдральных графов, основанные подобным же образом из многогранников с правильными основаниями, включают графы антипризм и колёса (графы пирамид). Другими вершинно-транзитивными полиэдральными графами являются архимедовы графы.

Если два цикла призматического графа разорвать удалением одного ребра в одном и том же месте в обоих циклах, получим лестницу. Если два удалённых ребра заменить двумя скрещивающимися рёбрами, получим непланарный граф «Лестница Мёбиуса»[7].

Примечания

  1. Weisstein, Eric W. Prism graph (англ.) на сайте Wolfram MathWorld.
  2. Read, Wilson, 2004, с. 261, 270.
  3. Eppstein, 2013. Эппштейн приписывает наблюдение, что графы призм имеют близкое к максимальному число 1-разложений Грегу Купербергу, высказавшему это наблюдение в частной беседе.
  4. Jagers, 1988, с. 151–154.
  5. Marc, 2015.
  6. Arnborg, Proskurowski, Corneil, 1990, с. 1–19.
  7. Guy, Harary, 1967, с. 493–496.

Литература

  • David Eppstein. The complexity of bendless three-dimensional orthogonal graph drawing // Journal of Graph Algorithms and Applications. — 2013. Т. 17, вып. 1. С. 35–55. doi:10.7155/jgaa.00283.
  • A. A. Jagers. A note on the number of spanning trees in a prism graph // International Journal of Computer Mathematics. — 1988. Т. 24, вып. 2. С. 151–154. doi:10.1080/00207168808803639.
  • Tilen Marc. Classification of vertex-transitive cubic partial cubes. — 2015. arXiv:1509.04565.
  • Stefan Arnborg, Andrzej Proskurowski, Derek G. Corneil. Forbidden minors characterization of partial 3-trees // Discrete Mathematics. — 1990. Т. 80, вып. 1. С. 1–19. doi:10.1016/0012-365X(90)90292-P.
  • Richard K. Guy, Frank Harary. On the Möbius ladders // Canadian Mathematical Bulletin. — 1967. Т. 10. С. 493–496. doi:10.4153/CMB-1967-046-4.
  • R. C. Read, R. J. Wilson. Chapter 6 special graphs // An Atlas of Graphs. — Oxford, England: Oxford University Press, 2004. — С. 261, 270.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.