Полный граф
Полный граф | |
---|---|
![]() K7, полный граф с 7 вершинами | |
Вершин | n |
Рёбер | |
Диаметр | |
Обхват | |
Автоморфизмы | n! (Sn) |
Хроматическое число | n |
Хроматический индекс |
n если n - нечётное, иначе n − 1 |
Спектр | |
Свойства | |
Обозначение | Kn |
![]() |
По́лный граф — простой неориентированный граф, в котором каждая пара различных вершин смежна.[1] По́лный ориенти́рованный граф — ориентированный граф, в котором каждая пара различных вершин соединена парой ребер с противоположными ориентациями.[2] Принято считать, что теория графов берет свое начало с решения Леонардом Эйлером задачи о семи кёнигсбергских мостах, датированного 1736 годом, однако изображения полных графов, вершины которых располагаются в вершинах правильных многоугольников, встречаются ещё в 13 веке, в работе Раймунда Луллия.[3] Подобные рисунки иногда называют мистическими розами.[4]
![](http://upload.wikimedia.org/wikipedia/commons/thumb/8/8f/Ramon_Llull_-_Ars_Magna_Fig_1.png/220px-Ramon_Llull_-_Ars_Magna_Fig_1.png)
Обычно полный граф с вершинами обозначается через . Некоторые источники утверждают, что буква в этом обозначении является сокращением от немецкого слова нем. komplett,[5] в переводе на русский – «полный, целый», однако оригинальное название полного графа на немецком, нем. vollständiger Graph, не содержит буквы . По другой версии, такое обозначение полному графу было дано в честь Казимежа Куратовского, подчеркивая его вклад в развитие теории графов.[6]
Комбинаторные свойства
[править | править код]- Полный граф с вершинами имеет рёбер, это треугольное число.
- Полный граф с вершинами является регулярным графом степени .
- Любой полный граф является своей максимальной кликой.
- Граф является -связным[англ.].
- Дополнение графа – это пустой граф, то есть граф без рёбер.
- Полный граф, каждое ребро которого снабжено ориентацией, называется турниром.
- В полном графе не может быть независимого множества более чем из одной вершины.[7]
- Пусть , а – семейство деревьев ограниченных степеней, где для любого число вершин дерева равно . Тогда граф можно разложить на деревья , то есть существуют попарно рёберно-непересекающиеся копии графов в графе , и каждое ребро графа принадлежит хотя бы одной из этих копий.[8]
- Число различных путей между двумя выделенными вершинами в полном графе вычисляется[9] по формуле , где через обозначена постоянная Эйлера, и
- Индексы Хосойи (полные числа паросочетаний) полного графа являются телефонными числами[англ.] (-ое телефонное число – это число различных вариантов, которыми из человек можно выбрать набор пар людей, которые будут одновременно созваниваться друг с другом по телефону; в частности можно выбрать пустой набор), причем на полных графах реализуются максимально возможные значения индекса Хосойи для -вершинного графа.[10] Эти индексы образуют последовательность
- Число совершенных паросочетаний графа с чётным определяется с помощью двойного факториала и равняется .[11]
- Теорема Рамсея: Для любых натуральных чисел в любой -цветной раскраске рёбер достаточно большого полного графа содержится полный подграф с вершинами для некоторого цвета . В частности, для любых и , достаточно большой полный граф двухцветной (чёрно-белой) раскраски, содержит либо полный чёрный подграф из вершин, либо полный белый подграф из вершин.[12]
- Теорема Турана: Обозначим через максимальное количество рёбер, которое может иметь граф с вершинами, не содержащий подграфа, изоморфного . Тогда, если , где — остаток от деления на , то этот максимум равен Среди всех графов на вершинах, не содержащих подграфа , этот максимум по количеству рёбер достигается на графе , определяемом следующим образом. Пусть это граф с вершинами, разобьём все вершины на «почти равных» групп (то есть возьмём групп по вершине и групп по вершин, если с остатком ) и соединим рёбрами все пары вершин из разных групп. Таким образом получим -дольный граф.[13]
- Теорема Кэли о числе деревьев: Число остовных деревьев в полном графе равно [14]
Геометрические и топологические свойства
[править | править код]Число пересечений
[править | править код]Известна верхняя оценка на число пересечений полного графа, а именно . Впервые, в конце пятидесятых, вопрос о существовании такой оценки выдвинул Энтони Хилл,[15] известный британский художник-абстракционист. Ему удалось разработать несколько особых методов изображения полных графов, позволивших в дальнейшем эффективно исследовать их числа пересечений. Один из таких методов известен как «рисунок на алюминиевой банке», а другой – как «изображения Харари-Хилла».[16] Анализируя эти методы изображения математикам Блажеку и Коману удалось подтвердить[17] оценку Хилла для всех полных графов в 1964 году. Стоит отметить, что Хилл выдвинул куда более сильную гипотезу, а именно . Эта гипотеза известна как гипотеза Хилла и на данный момент подтверждена только для нескольких малых .[18] Гипотезу Хилла иногда называют гипотезой Гая, в честь британского математика Ричарда Гая, в чьей работе[19] за 1960 год содержатся прямые намеки на данный вопрос, или гипотезой Харари-Хилла, так как работа[20] Энтони Хилла и Фрэнка Харари за 1963 год, видимо, самая ранняя опубликованная математическая статья, содержащая точную формулировку этой гипотезы.[21] Полные графы при являются планарными, то есть их число пересечений равно 0. В 1972 году Гай показал,[22] что гипотеза Хилла верна для всех , а в 2007 году Шэнджунь Пэн и Брюс Рихтер подтвердили[23] гипотезу Хилла для . В 2015 году Дэн Макуиллан, Шэнджунь Пэн и Брюс Рихтер выяснили,[24] что является нечетным числом, лежащим между 219 и 225 включительно. Вся известная на данный момент информация о точных значениях чисел пересечений полных графов представлена в таблице ниже.
или
|
Кроме того, в 1969 году Гай получил[25] нижнюю оценку на число пересечений полного графа, а именно . При этом, ещё в 1960 году он обнаружил,[19] что существует предел , где , а в 2007 году Этьен де Клерк, Дмитрий Пасечник и Александр Схрейвер выяснили,[26] что верна оценка
- .
Число прямолинейных пересечений
[править | править код]Для и число прямолинейных пересечений графа , которое обычно обозначается через , совпадает с его обыкновенным числом пересечений. Однако, число прямолинейных пересечений графа равно , тогда как .[20] В 2001 году Алекс Бродский, Стефан Дуроше и Эллен Гетнер[англ.] выяснили,[27] что число прямолинейных пересечений графа равно 62, при . На данный момент точные значения известны для и . Суть точного вычисления заключается в нахождении соответствующих (и совпадающих) нижних и верхних оценок. Нижние оценки для были построены[28] совместно математиками Бернардо Абрего, Сильвией Фернандес-Мерчант, Хесусом Леаньосом и Геласио Салазаром в 2012 году, нижняя оценка для построена[29] совместно математиками Марио Сетина, Сесаром Эрнандес-Велесом, Хесусом Леаньосом и Кристобалем Вильялобос Гильеном в 2012 году, а все верхние оценки получены австрийским математиком Освином Айххольцером[30]. Кроме того, Айххольцер опубликовал[30] на своем сайте суммарную информацию обо всех известных на данный момент нижних и верхних оценках на вплоть до . Ниже приведена таблица с соответствующими оценками для .
или |
, или |
В 1994 году Эдвард Р. Шайнерман[англ.] и Герберт С. Уилф[англ.] обнаружили[31] неожиданную связь между числом прямолинейных пересечений графа и задачей Сильвестра "о четырех точках" из вероятностной геометрии.[32] Пусть — открытое множество на плоскости с конечной мерой Лебега. Обозначим через вероятность того, что если в равномерно и случайно выбраны четыре точки независимо друг от друга, то их выпуклая оболочка является четырехугольником, а через – инфимум значений по всем таким . Тогда верно равенство
где обозначает соответствующий биномиальный коэффициент. Продолжительное время уточнялись[33] верхняя и нижняя оценки на константу , и на данный момент лучшая нижняя[34] и лучшая верхняя[28] оценки получены совместно математиками Бернардо Абрего, Сильвией Фернандес-Мерчант, Хесусом Леаньосом и Геласио Салазаром, и составляют
![](http://upload.wikimedia.org/wikipedia/commons/thumb/d/d4/3page_K5.svg/220px-3page_K5.svg.png)
Планарность и книжная толщина
[править | править код]Графы с по являются планарными. Полные графы с большим количеством вершин не являются планарными, так как содержат подграф и, следовательно, не удовлетворяют критерию Понтрягина — Куратовского.[35]
При граф является 1-планарным графом, но при граф не является 1-планарным.[36]
Книжная толщина графа равна . Для любых граф имеет книжную толщину в точности .[37]
Симплексы и многогранники
[править | править код]![](http://upload.wikimedia.org/wikipedia/commons/thumb/d/db/Csaszar_polyhedron_3D_model.svg/220px-Csaszar_polyhedron_3D_model.svg.png)
Полный граф образуется из вершин и ребер (n-1)-симплекса. Так, например, геометрически образует множество вершин и ребер треугольника, – тетраэдра и так далее. Объединение всех семи вершин и двадцати одного ребра многогранника Часара, топологически эквивалентного тору, образует полный граф .
Граф 2-смежностного многогранника является полным графом.
Зацепленность и заузленность
[править | править код]Граф не имеет незацепленного вложения, а более точно, как доказали Джон Хортон Конвей и Кэмерон Гордон[англ.] в 1983 году, для любого вложения в трехмерное пространство существует два таких цикла в , образы которых при вложении имеют нечетный коэффициент зацепления.[38] А для любого вложения графа в трехмерное пространство существует такой гамильтонов цикл в , образ которого при вложении имеет нетривиальный инвариант Арфа[англ.], то есть является нетривиальным узлом.[38] В 2002 году Эрика Флапан[англ.] доказала, что для любого найдется такое , что каждое вложение графа в содержит двукомпонентное зацепление, коэффициент зацепления которого равен .[39] А кроме того, для любого найдется такое , что каждое вложение графа в содержит узел , такой что , где через обозначен второй коэффициент многочлена Конвея узла .[39]
Примеры
[править | править код]Ниже приведены полные графы с числом вершин от 1 до 12 и количества их рёбер.
K1 (0) | K2 (1) | K3 (3) | K4 (6) | K5 (10) | K6 (15) |
---|---|---|---|---|---|
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
K7 (21) | K8 (28) | K9 (36) | K10 (45) | K11 (55) | K12 (66) |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
Примечания
[править | править код]- ↑ Карпов Дмитрий Валерьевич, 2022, p. 17.
- ↑ Bang-Jensen, Gutin, 2018, p. 17.
- ↑ Donald E. Knuth, 2015.
- ↑ Mystic Rose (англ.). nrich.maths.org. Дата обращения: 22 января 2023.
- ↑ Gries, Schneider, 1993.
- ↑ Thomas L. Pirnot, 2000, p. 154.
- ↑ Карпов Дмитрий Валерьевич, 2022, p. 374.
- ↑ Joos, Kim, Kuhn, Osthus, 2019.
- ↑ Mehdi Hassani, 2004.
- ↑ Tichy, Wagner, 2005.
- ↑ David Callan, 2009.
- ↑ Frank P. Ramsey, 1930.
- ↑ Карпов Дмитрий Валерьевич, 2022, p. 494.
- ↑ Карпов Дмитрий Валерьевич, 2022, p. 424.
- ↑ Beineke, Wilson, 2010, p. 43.
- ↑ Marcus Schaefer, 2018.
- ↑ Blažek, Koman, 1964.
- ↑ Marcus Schaefer, 2018, p. 25.
- ↑ 1 2 Richard K. Guy, 1960.
- ↑ 1 2 Harary, Hill, 1963.
- ↑ Marcus Schaefer, 2018, 1.3 Hill and the Crossing Number of Complete Graphs, p. 25: «the first explicit statement in print seems to be in a paper by Harary and Hill».
- ↑ Richard K. Guy, 1972.
- ↑ Pan, Richter, 2007.
- ↑ McQuillan, Pan, Richter, 2015.
- ↑ Richard K. Guy, 1969.
- ↑ Klerk, Pasechnik, Schrijver, 2007.
- ↑ Brodsky, Durocher, Gethner, 2001.
- ↑ 1 2 Ábrego, Fernández-Merchant, Leaños, Salazar, 2012.
- ↑ Cetina, Hernández-Vélez, Leaños, Villalobos, 2012.
- ↑ 1 2 Aichholzer, 2015.
- ↑ Scheinerman, Wilf, 1994.
- ↑ Eric W. Weisstein, 2004, О задаче Сильвестра.
- ↑ Ábrego, Fernández-Merchant, Salazar, 2013, История исследований числа прямолинейных пересечений полных графов..
- ↑ Ábrego, Fernández-Merchant, Leaños, Salazar, 2010.
- ↑ Карпов Дмитрий Валерьевич, 2022, p. 237.
- ↑ Карпов Дмитрий Валерьевич, 2022, p. 308.
- ↑ Kainen Bernhart, 1979, pp. 320–331.
- ↑ 1 2 Conway, Gordon, 1983.
- ↑ 1 2 Flapan, 2002.
Литература
[править | править код]- Карпов Д. В. Теория графов — М.: МЦНМО, 2022. — 560 с. — ISBN 978-5-4439-1690-3.
- Ábrego B. M., Fernández-Merchant S., Salazar G. The rectilinear crossing number of : Closing in (or Are We?) (англ.) // Thirty essays on geometric graph theory / János Pach|en. — N. Y.: Springer, 2013. — P. 5-18. — doi:10.1007/978-1-4614-0110-0_2.
- Ábrego B. M., Fernández-Merchant S., Leaños J., Salazar G. 3-symmetric and 3-decomposable geometric drawings of (англ.) // Discrete Applied Mathematics[англ.]. — 2010. — Vol. 158, iss. 12. — P. 1240-1258. — doi:10.1016/j.dam.2009.09.020.
- Ábrego B. M., Fernández-Merchant S., Leaños J., Salazar G. On ≤k-Edges, Crossings, and Halving Lines of Geometric Drawings of (англ.) // Discrete & Computational Geometry[англ.]. — 2012. — Vol. 48, iss. 1. — P. 192-215. — doi:10.1007/s00454-012-9403-y.
- Aichholzer O. On the Rectilinear Crossing Number (англ.) (26 мая 2015). Дата обращения: 22 января 2023.
- Bang-Jensen J., Gutin G.[англ.]. Classes of Directed Graphs (англ.) — Springer International Publishing, 2018. — 560 p. — (Springer Monographs in Mathematics). — doi:10.1007/978-3-319-71840-8_1.
- Beineke L. W.[англ.], Wilson R.[англ.]. The early history of the brick factory problem (англ.) // The Mathematical Intelligencer[англ.]. — 2010. — Vol. 32, iss. 2. — P. 41-48. — doi:10.1007/s00283-009-9120-4.
- Bernhart F. R., Kainen P. C.[англ.]. The book thickness of a graph // Journal of Combinatorial Theory. — 1979. — Т. 27, вып. 3. — С. 320–331. — doi:10.1016/0095-8956(79)90021-2.
- Blažek J., Koman M. A minimal problem concerning complete plane graphs (англ.) // Miroslav Fiedler[англ.] Theory of graphs and its applications. — Czech Academy of Sciences, 1964. — P. 113-117.
- Brodsky A., Durocher S., Gethner E.[англ.]. The rectilinear crossing number of is 62 (англ.) // The Electronic Journal of Combinatorics[англ.]. — 2001. — Vol. 8, iss. 1. — P. 1-30.
- Callan D. A combinatorial survey of identities for the double factorial (англ.). — 2009. — . — arXiv:0906.1317.
- Cetina M., Hernández-Vélez C., Leaños J., Guillén C. V. Point sets that minimize (≤k)-edges, 3-decomposable drawings, and the rectilinear crossing number of (англ.) // Discrete Mathematics. — 2012. — Vol. 311, iss. 16. — P. 1646–1657. — doi:10.1016/j.disc.2011.03.030.
- Conway J. H., Gordon C. McA[англ.]. Knots and links in spatial graphs (англ.) // Journal of Graph Theory. — 1983. — Vol. 7, no. 4. — P. 445-453. — doi:10.1002/jgt.3190070410.
- Erica Flapan[англ.]. Intrinsic knotting and linking of complete graphs (англ.) // Algebraic & Geometric Topology[англ.]. — 2002. — Vol. 2, no. 1. — P. 371-380. — doi:10.2140/agt.2002.2.371.
- Gries D., Schneider F. B. A Logical Approach to Discrete Math (англ.) — B.: Springer, 1993. — 436 p. — ISBN 978-0387941158.
- Guy R. K. A combinatorial problem (англ.) // NABLA (Bulletin of the Malaysian Mathematical Sciences Society). — 1960. — Vol. 7. — P. 68-72.
- Guy R. K. The decline and fall of Zarankiewicz’s theorem (англ.) // Frank Harary Proof Techniques in Graph Theory. — N. Y.: Academic Press, 1969. — P. 63–69.
- Guy R. K. Crossing numbers of graphs (англ.) // Graph Theory and Applications. — Berlin, Heidelberg: Springer, 1972. — P. 111-124.
- Harary F., Hill A. On the number of crossings in a complete graph (англ.) // Proceedings of the Edinburgh Mathematical Society. — Edinburgh, 1963. — Vol. 13, iss. 4. — P. 333-338.
- Hassani M. Cycles in graphs and derangements (англ.) // The Mathematical Gazette[англ.]. — 2004. — Vol. 88, iss. 511. — P. 123-126. — doi:10.1017/S0025557200174443.
- Joos F., Kim J., Kuhn D., Osthus D. Optimal packings of bounded degree trees (англ.) // Journal of the European Mathematical Society. — 2019. — 8 May (vol. 21, iss. 12). — P. 3573-3647. — ISSN 1435-9855. — doi:10.4171/JEMS/909.
- de Klerk E., Pasechnik D. V., Schrijver A. Reduction of symmetric semidefinite programs using the regular ∗-representation (англ.) // Mathematical Programming[англ.]. — 2007. — Vol. 109, iss. 2-3, Ser. B. — P. 613-624. — doi:10.1007/s10107-006-0039-7.
- Knuth D. E. Two thousand years of combinatorics // Combinatorics: Ancient & Modern (англ.) / Robin Wilson[англ.], John J. Watkins. — Oxf.: Oxford University Press, 2015. — P. 7–37. — 392 p. — ISBN 978-0191630620.
- McQuillan D., Pan S., Richter R. B. On the crossing number of (англ.) // Journal of Combinatorial Theory, Series B. — 2015. — Vol. 115. — P. 224–235. — doi:10.1016/j.jctb.2015.06.002.
- Pirnot T. L. Mathematics All Around (англ.) — Boston: Addison Wesley, 2000. — 814 p. — ISBN 978-0201308150.
- Pan S., Richter B. R. The crossing number of is 100 (англ.) // Journal of Graph Theory. — 2007. — Vol. 56, iss. 2. — P. 128-134. — doi:10.1002/jgt.20249.
- Ramsey F. P. On a problem of formal logic (англ.) // Proceedings of the London Mathematical Society. — L., 1930. — Vol. 30. — P. 264—286. — doi:10.1112/plms/s2-30.1.264.
- Schaefer M. Crossing numbers of graphs (англ.) — Boca Raton: CRC Press, 2018. — 376 p. — doi:10.1201/9781315152394.
- Scheinerman E. R.[англ.], Wilf H. S.[англ.]. The rectilinear crossing number of a complete graph and Sylvester's “four point problem” of geometric probability (англ.) // The American mathematical monthly[англ.]. — 1994. — Vol. 101, iss. 10. — P. 939-943. — doi:10.2307/2975158.
- Tichy R. F., Wagner S. Extremal problems for topological indices in combinatorial chemistry (англ.) // Journal of Computational Biology[англ.]. — 2005. — Vol. 12, iss. 7. — P. 1004–1013. — doi:10.1089/cmb.2005.12.1004. — PMID 16201918.
- Weisstein E. W. Sylvester's Four-Point Problem (англ.) (2004). Дата обращения: 24 января 2023.