CC BY
11Математические заметки СВФУ Январь—март, 2016. Том 23, № 1
УДК 514.123
СТРОЕНИЕ ОКРЕСТНОСТЕЙ ПЛОСКИХ НОРМАЛЬНЫХ КАРТ С МИНИМАЛЬНОЙ СТЕПЕНЬЮ 5 Д. В. Никифоров
Аннотация. В 1940 г. Лебег дал описание окрестностей вершин степени 5 в нормальных плоских картах с минимальной степенью 5 (М5), не приводя полного доказательства, а указав только его идею. В работе приводится подробная схема полного доказательства лебеговского описания, в котором улучшены два параметра без ухудшения остальных. Кроме того, описывается доказательство теоремы о высоте 5-звезды (максимальная степень ее вершин) в М5, в которой улучшается результат О. В. Бородина, А. О. Ивановой и Т. Р. Йенсена 2013 г. Ключевые слова: плоский граф, плоская нормальная карта, структура, окрестность.
Введение
Интерес к строению плоских графов с минимальной степенью 5 частично объясняется их ролью в решении известной проблемы четырех красок. Важной вехой на этом пути была таблица Лебега, дающая приблизительное описание окружений вершин степени 5 в М5 (М5 — нормальная плоская карта с минимальной степенью 5). Для решения проблемы четырех красок Аппелю и Хаке-ну [1] в 1976 г. потребовалось изучить строение окрестностей второго порядка вершин степени 5 (5-вершин), т. е. шаров радиуса 2 с центрами в 5-вершинах, тогда как таблица Лебега дает описание окрестностей первого порядка.
Как доказано Штейницем, конечные 3-связные плоские графы взаимно однозначно отвечают конечным выпуклым трехмерным многогранникам, называемым 3-многогранниками. Поэтому, изучая строение плоских графов, мы изучаем, в частности, комбинаторное строение 3-многогранников.
В 1904 г. Вернике [2] доказал, что в любом плоском графе с минимальной степенью 5 существует 5-вершина, смежная с 6--вершиной (5-вершиной или 6-вершиной), что в 1922 г. усилил Франклин [3], доказав, что любой плоский граф с минимальной степенью 5 содержит 5-вершину, смежную с двумя 6--вершинами. В 1940 г. Лебег [4] дал описание окрестностей вершин степени 5 в М5, не приводя полного доказательства, а указав лишь его идею.
Таблица Лебега в качестве следствий дает различные факты о строении М5, допускающие улучшения. Несколько таких следствий доведено до неулуч-шаемых результатов, но на это потребовались десятки лет и новые идеи. В
© 2016 Никифоров Д. В.
целом же до 2013 г. не были известны улучшения ни одного из параметров этой таблицы, не ухудшающие остальных ее параметров.
Теорема 1 [4]. В любой плоской нормальной карте с минимальной степенью 5 существует 5-вершина одного из следующих типов:
(6.6.7.7.7), (6,6,6,7,9), (6,6,6,6,11), (5,6,7,7,8), (5,6,6/7,11),
(5.6.678.8), (5,6,679,7), (5,7,6,6,12), (5,8,6,6,10), (5,6,6,6,17), (5,5,7X8), (5,13,5,7,7), (5,10,5,7,8), (5,8,5,7,9),
(5,7, 5,7,10), (5,7, 5,8, 8), (5,5, 7,6,12), (5, 5,8, 6,10), (5, 6,5, 7,12), (5,6, 5,8,10), (5,17,5, 6,7), (5,11, 5,6, 8),
(5,11, 5,6, 9), (5, 7,5, 6,13), (5,8, 5,6,11), (5, 9,5, 6,10), (5,6, 6,5, то), (5, 5,7, 5,41), (5,5, 8,5, 23), (5, 5,9, 5,17), (5,5,10,5,14), (5,5,11,5,13).
к-Звезда £и(и) называется младшей, если ее центр V имеет степень 5. Высота 5-звезды есть максимальная степень ее вершин. Через ^.(£5) обозначим минимальную высоту младших 5-звезд в данной М5.
Существуют известные оценки для высоты $1, 52, $з, 54 в М5 (1904— 2014 гг.). Кроме того, известны точные описания младших 3-звезд (Йенсен, Мадараш [5]), (й-2)-звезд (О. В. Бородин, А. О. Иванова [6]) и 4-звезд (О. В. Бородин, А. О. Иванова [7]) в М5.
Более общая проблема описания й-звезд при й-вершинах, й < 5, называемых полными звездами, на данный момент кажется неприступной для произвольных НПМ и трудной даже для М5.
5-Вершина V, окруженная вершинами и1,... ,И5 в циклическом порядке, называется (й1, й2, йз, ¿4)-вершиной, или вершиной типа (й1, й2, йз, ¿4), если существует к, к < 5, такое, что ) < йи (сложение по модулю 5).
Существует известная конструкция (рис. 1), показывающая, что Л(£5) не ограничена для произвольных М5, и в которой каждая 5-вершина V является (5, 6, 6, 5)-вершиной и, более того, V смежна с двумя 5-вершинами и двумя 6-вершинами. Лебег [4] доказал, что если М5 не содержит (5, 6, 6, 5)-вершин, то М$5) < 41. О. В. Бородин, А. О. Иванова и Йенсен [8] понизили эту оценку до 28 и дали конструкцию М5 без (5, 6, 6, 5)-вершин с ^(£5) = 20.
В данной статье доказаны следующие теоремы.
Теорема 2. В любой плоской нормальной карте с минимальной степенью 5 существует 5-вершина одного из следующих типов:
(6,6,7,7,7), (6,6,6,7,9), (6,6,6,6,11), (5,8,6/777), (5,7,6,8,7),
(5,6,6/7,11), (5,6,678,8), (5,7,6,6,12), (5,8,6,6,10), (5,6,6,6,17), (5,5,7,778), (5,13,5,7,7), (5,10,5,7,8), (5,8,5,7,9), (5, 7,5, 7,10), (5,7, 5,8, 8), (5,5, 7,6,12), (5, 5,8, 6,10), (5, 6,5, 7,12), (5,6, 5,8,10), (5, 27,5, 6,7), (5,15, 5,6, 8),
(5,11, 5,6, 9), (5, 7,5, 6,13), (5,8, 5,6,11), (5, 9,5, 6,10), (5,6, 6,5, то), (5, 5,7, 5,41), (5,5, 8,5, 23), (5, 5,9, 5,17), (5,5,10,5,14), (5,5,11,5,13).
Рис. 1. Конструкция Ь-($5)
Теорема 3. В любой плоской нормальной карте с минимальной степенью 5 существует 5-вершина одного из следующих типов:
(6,6,7,7,7), (6,6,6,7,9), (6,6,6,6,11), (5,8,67777), (5,7,6,8,7), (5, 6, 677,11), (5, 6, 678, 8), (5, 7, 6, 6,12), (5, 8, 6, 6,10), (5, 6, 6, 6,17), (5, 5, 7, 778), (5,13, 5, 7, 7), (5,10, 5, 7, 8), (5, 8, 5, 7, 9), (5, 7, 5, 7,10), (5, 7, 5, 8, 8), (5, 5, 7, 6,12), (5, 5, 8, 6,10), (5, 6, 5, 7,12), (5, 6, 5, 8,10), (5, 27, 5, 6, 7), (5,15, 5, 6, 8), (5,11, 5, 6, 9), (5, 7, 5, 6,13), (5, 8, 5, 6,11), (5, 9, 5, 6,10), (5, 6, 6, 5, то), (5, 5, 7, 5, 31), (5, 5, 8, 5, 22), (5, 5, 9, 5,17), (5, 5,10, 5,14), (5, 5,11, 5,13).
В [13-15] теоремы 2 и 3 доказываются для триангуляций.
Теорема 4 [16]. Каждая нормальная плоская карта с минимальной степенью 5, не содержащая (5, 6, 6, 5)-вершин, содержит младшую 5-звезду высоты не более 23.
Схема доказательства теоремы 2
(1) Достаточно доказать теорему 2 для триангуляций, поскольку добавление диагоналей в нетреугольную грань нормальной плоской карты с минимальной 6 = 5 не создает ни новых 5-вершин, ни одного из указанных в теореме 2 типов.
(2) Пусть С — контрпример к теореме 2, т. е. С — плоская триангуляция с минимальной степенью 5, в которых нет ни одного из типов, указанных в теоремах 2-4.
(3) Формулу Эйлера |У(С)| - |Е(С)| + (С)| = 2 перепишем в виде
(2|Е(С)| - 6|У(С)|) + (4|Е(С)| - 6|^(С)|) = -12,
где ^(С) — множество граней графа С. Отсюда
£ (¿(V) - 6)+ £ (2г(/) - 6) < 0, (1)
уеУ(О)
где ¿(V) — степень вершины V, а г(/) — ранг грани /.
(4) Начальный заряд ^^) каждой вершины V Е V(С) положим равным ¿(V) — 6, а заряд каждой грани / графа С равен 2г(/) — 6. Поскольку заряд каждой грани равен 0, из (1) имеем
£ (¿(V) - 6) < 0. (2)
Заметим, что заряд 5-вершины равен -1, заряд 6-вершины равен 0, а заряды всех остальных вершин положительны. Мы перераспределим заряды вершин так, чтобы новый заряд (V) каждой вершины V стал неотрицательным. Поскольку сумма зарядов вершин при перераспределении сохраняется, получим противоречие с (2), что и завершит доказательство теоремы.
(5) Используются следующие правила перераспределения зарядов (рис. 2). К1. Каждая вершина V степени > 7 отдает в грань е(у) =
К2. Пусть грань М = ху^, где ¿(х) = 5, тогда х получает от М:
(a) ) + ), если ¿(у) > 6, ¿(^) > 6,
(b) если %) > б, ф) = 5.
(6) Перебор типов теоремы 2.
Имеем пять случаев для рассмотрения: в окрестности V (1) нет 5-вершин; (2) одна 5-вершина; (3) две 5-вершины; (4) три 5-вершины и (5) четыре 5-вершины.
Таким образом теорема 2 доказана.
Схема доказательства теоремы 3
(1) Достаточно доказать теорему 3 для триангуляций, поскольку добавление диагоналей в нетреугольную грань нормальной плоской карты с минимальной 6 = 5 не создает новых 5-вершин ни одного из указанных в теореме 3 типов.
(2)-(5). Не отличаются от теоремы 2.
(6) Идея улучшения теоремы Лебега заключается в том, что каждый тип в теореме Лебега — это 5-вершины с разными степенями, которые смежны с центральной вершиной степени 5. Каждый тип, не попавший в теорему Лебега, покрывается одним из типов данных в теореме Лебега. Поэтому суть улучшения состоит в том, чтобы убрать ненужные покрытия. Чтобы это сделать, мы используем заряды из других вершин степени 5. Почему из других вершин степени 5? Потому что у вершин степени 5 есть своя собственная окрестность. Из этой окрестности они получают для себя заряд или даже излишний заряд. И этот излишний заряд мы используем для улучшения других типов в теореме Лебега.
Проверка того, что /* (V) > 0 для всех V Е V(О)
Далее рассмотрим идею улучшения одного типа (5, 5, 7, 5, 33) теоремы 3.
Рассмотрим его центральную вершину степени 5, заряд которой плохой. Выясним, сколько не хватает в типе заряда. Для этого применим правила Ш и Я2. Вершины ) = ¿(у2) = ) = 5, ) = 7 и ¿(у5) = 33 отдают заряд /2* (у) = — 1 + ^; < 0- т. е. типу не хватает е = чтобы заряд плохой вершины V стал равен нулю.
После этого рассмотрим соседние вершины степени 5 (рис. 3), где можем получить лишние заряды.
у г
Рис. 3. Перераспределения соседних зарядов
Вершина vз не рассматривается, так как из нее получаем слишком много неизвестных соседних вершин. А вершины VI и V2 смежны и число неизвестных соседних вершин заметно меньше.
В ходе улучшения появляется несколько случаев.
(1) Вершина VI не имеет достаточного заряда даже для себя, а вершина v2 имеет достаточно, чтобы отдать лишний заряд обеим смежным 5-вершинам.
(п) Вершина v2 не имеет достаточного заряда даже для себя, а вершина VI имеет достаточно, чтобы отдать лишний заряд обеим смежным 5-вершинам.
(ш) Вершины v2 и VI не имеют достаточного заряда, чтобы отдать лишний заряд смежной вершине V.
В этом и заключается идея улучшения.
Таким образом после перебора теорема 3 доказана.
Схема доказательства теоремы 4
(1) Достаточно доказать теорему 4 для триангуляций, поскольку добавление диагоналей в нетреугольную грань нормальной плоской карты с 6 = 5 не создает ни новых младших звезд, ни (5, 6, 6, 5)-вершин и не может понизить высоту имеющихся младших 5-звезд.
(2) Допустим, что триангуляция Т5 с минимальной степенью 5 и множествами вершин, ребер и граней V, Е и Е соответственно является контрпримером к теореме 4. Заметим, что любая 5-вершина в Т5 смежна с 24+-вершиной.
(3)-(4) Не отличается от теоремы 2 или 3.
(5) Используем следующие правила перераспределения зарядов (рис. 4 и 5).
К1: Каждая вершина у с 7 < й{у) < 23 отдает | каждой инцидентной ей 5-вершине V2, если ) > 6.
VI
Рис. 4. Правила перераспределения зарядов К1
Рис. 5. Правила перераспределения зарядов К2
К2. Каждая 24+-вершина V отдает каждой инцидентной ей 5-вершине v2:
(a) если <1(у 1) = (1(уз) = 5,
(b) 1, если ) = 5, а ¿(V3) > 6,
(c) если ¿(ух) > 6 и ¿(уз) > 6.
Заряд вершины х после применения правил Ш и Я2 обозначим через /2 (х). 5-Вершина х называется богатой, если /2 (х) > 0, и бедной, если V является (5, 5, п, 5)-вершиной, где 7 < п < 23.
(6) Леммы 5-8 ведут к завершению доказательства.
Лемма 5. Если ¿(у) > 24, то р'(у) > 0.
Лемма 6. Если 7 < ¿(у) < 23, то р'(у) > 0.
Лемма 7. Если 5-вершина у не является бедной, то р2 (у) > 0.
Лемма 8. Если 5-вершина у является бедной или богатой, то р' (у) > 0.
Доказательство леммы 8 имеет схожую идею доказательства улучшения теоремы Лебега. Возможны несколько случаев.
а(у2) > 24
Рис. 6. Окрестность вершины V Рис. 7. Если г>4 является бедной
(1) Вершина у4 не имеет достаточного заряда даже для себя, а вершина у3 имеет достаточно, чтобы отдать лишний заряд обеим смежным 5-вершинам (рис. 7).
(п) Вершина уз не имеет достаточного заряда даже для себя, а вершина у4 имеет достаточно, чтобы отдать лишний заряд обеим смежным 5-вершинам (рис. 8).
(ш) Вершина у4 и у3 имеют достаточного заряда, чтобы отдать лишний заряд смежной вершине у (рис. 9).
Рис. 8. Если vз является бедной
Таким образом, поскольку 6-вершины не участвуют в перераспределении зарядов, а 7+-вершины не участвуют в дораспределении зарядов, из лемм 5-8 следует, что р' (у) > 0 для всех у Е V. Теорема 4 доказана.
Рис. 9. Если ни одна из вершин V3 и V4 не является бедной
ЛИТЕРАТУРА
1. Appel K., Haken W. Every planar map is four colorable. I. Discharging // Illinois J. Math. 1977. V. 21. P. 429-490.
2. Wernicke P. Uber den kartographischen Vierfarbensatz // Math. Ann. 1904. V. 58. P. 413-426.
3. Franklin Ph. The four colour problem // Amer. J. Math. 1922. V. 44. P. 225-236.
4. Lebesgue H. Quelques consequences simples de la formule d'Euler //J. Math. Pures Appl. 1940. V. 19. P. 27-43.
5. Jendrol' S., Madaras T. On light subgraphs in plane graphs of minimal degree five // Discuss. Math. Graph Theory. 1996. V. 16. P. 207-217.
6. Van den Heuvel J., McGuinness S. Coloring the square of a planar graph //J. Graph Theory. 2003. V. 42. P. 110-124.
7. Balogh J., Kochol M., Pluhar A., Yu X. Covering planar graphs with forests // J. Comb. Theory, Ser. B. 2005. V. 94. P. 147-158.
8. Harant J., Jendrol' S. On the existence of specific stars in planar graphs // Graphs Comb. 2007. V. 23. P. 529-543.
9. Borodin O. V., Ivanova A. O. Describing (d — 2)-stars at d-vertices, d < 5, in normal plane maps // Discrete Math. 2013. V. 313, N 17. P. 1700-1709.
10. Borodin O. V., Ivanova A. O. Describing 4-stars at 5-vertices in normal plane maps with minimum degree 5 // Discrete Math. 2013. V. 313, N 17. P. 1710-1714.
11. Borodin O. V., Ivanova A. O., Jensen T. R. 5-stars of low weight in normal plane maps with minimum degree 5 // Discuss. Math. Graph Theory. 2014. V. 34, N 3. P. 539-546.
12. Borodin O. V., Woodall D. R. Short cycles of low weight in normal plane maps with minimum degree 5 // Discuss. Math. Graph Theory. 1998. V. 18, N 2. P. 159-164.
13. Иванова А. О., Никифоров Д. В. Describing of окрестностей 5-вершин в плоских триан-гуляциях с минимальной степенью 5 // Мат. заметки ЯГУ. 2013. Т. 20, № 2. С. 66-78.
14. Иванова А. О., Никифоров Д. В. Строение окрестностей 5-вершин в плоских триангу-ляциях с минимальной степенью 5 // Теоретические и практические вопросы развития научной мысли в современном мире. Сб. статей II Междунар. науч.-практ. конф. (29-30 апреля 2013 г.). Ч. 1. Уфа: РИЦ БашГУ, 2013. С. 13-16.
15. Иванова А. О., Никифоров Д. В. Комбинаторное строение триангулированных 3-много-гранников с минимальной степенью 5 // Сб. статей науч. конф. студентов, аспирантов и молодых ученых Республики Саха (Якутия). XVII и XVIII Лаврентьевские чтения г. Якутск. Киров: МНЦНИП, 2015. С. 22-27.
16. Иванова А. О., Никифоров Д. В. Высота 5-звезды в плоских нормальных картах с минимальной степенью 5 // Мат. заметки СВФУ. 2014. Т. 21, № 4. С. 39-43.
17. Иванова А. О., Никифоров Д. В. Комбинаторное строение триангулированных 3-мно-гогранников с минимальной степенью 5 // VII Междунар. конф. по математическому
моделированию (Якутск, 30 июня—4 июля 2014 г.) Якутск, 2014. Р. 102—103.
Статья поступила 28 сентября 2015 г.
Никифоров Дмитрий Владиславович Северо-Восточный федеральный университет, Якутск Научно-исследовательский институт математики Институт математики и информатики zerorebelion@mail.ги
Математические заметки СВФУ Январь—март, 2016. Том 23, № 1
UDC 514.123
THE STRUCTURE OF NEIGHBORHOODS OF 5-VERTICES IN NORMAL PLANE MAPS WITH MINIMUM DEGREE 5 D. V. Nikiforov
Abstract: In 1940, Lebesgue described the neighborhoods of vertices of degree 5 in normal plane maps with minimum degree 5 (M5), presenting only an idea of the proof but not the details. The paper presents a detailed scheme of a complete proof of Lebesgue's description with improving two of its parameters without worsening the others. Moreover, it is present a scheme of the proof of the height of a 5-star (the maximum degree of its vertices) in an M5, which improves the result of O.V.Borodin, A.O.Ivanova, T.R.Yensen (2013).
Keywords: plane graph, normal plane maps, structure, neighborhood.
REFERENCES
1. Appel K. and Haken W. "Every planar map is four colorable. I. Discharging," Illinois J. Math. 21, 429-490 (1977).
2. Wernicke P. "Uber den kartographischen Vierfarbensatz," Math. Ann. 58, 413-426 (1904).
3. Franklin P., "The four color problem," Amer. J. Math., 44, 225-236 (1922).
4. Lebesgue H. "Quelques consequences simples de la formule d'Euler," J. Math. Pures Appl., 19, 27-43 (1940).
5. Jendrol' S. and Madaras T. "On light subgraphs in plane graphs with minimum degree five," Discuss. Math. Graph Theory, 16, 207-217 (1996).
6. Van den Heuvel J. and McGuinness S. "Coloring the square of a planar graph" J. Graph Theory, 42, 110-124 (2003).
7. Balogh J., Kochol M., Pluhar A., and Yu X. "Covering planar graphs with forests," J. Comb. Theory, Ser. B, 94, 147-158 (2005).
8. Harant J., Jendrol' S. "On the existence of specific stars in planar graphs," Graphs Comb., 23, 529-543 (2007).
9. Borodin O. V. and Ivanova A. O. "Describing (d — 2)-stars at d-vertices, d < 5, in normal plane maps," Discrete Math., 313, No. 17, 1700-1709 (2013).
10. Borodin O. V. and Ivanova A. O. "Describing 4-stars at 5-vertices in normal plane maps with minimum degree 5," Discrete Math., 313, No. 17, 1710-1714 (2013).
11. Borodin O. V., Ivanova A. O., and Jensen T. R. "5-Stars of low weight in normal plane maps with minimum degree 5," Discuss. Math. Graph Theory, 34, No. 3, 539-546 (2014).
12. Borodin O. V. and Woodall D. R. "Short cycles of low weight in normal plane maps with minimum degree 5," Discuss. Math. Graph Theory, 18, No. 2, 159-164 (1998).
13. Ivanova A. O. and Nikiforov D. V. "Describing of neiborhoods of 5-vertices in plane triangulations with minimum degree 5," Mat. Zam. YaGU, 20, No. 2, 66-78 (2013).
14. Ivanova A. O. and Nikiforov D. V. "Describing of neiborhoods of 5-vertices in plane triangulations with minimum degree 5," in: Theoretical and practical issues of the development of scientific thought in the modern world," Sb. statey Mezhdunar. nauchno-pract. konf. Ufa, Apr. 29-30, 2013, P. 1. Baskir. Gos. Univ., Ufa (2013), pp. 13-16.
© 2016 D. V. Nikiforov
15. Ivanova A. O. and Nikiforov D. V. "The combinatorial structure of triangulated polyhedra with minimum degree 5," Sb. statey nauch. konf. studentov, aspirantov i molodyh uchenyh Resp. Sakha (Yakutsk) "XVII and XVIII Lavrent'evskie chteniya." Kirov (2015), pp. 22-27.
16. Ivanova A. O. and Nikiforov D. V. "Height of 5-star in flat normal maps with minimum degree 5," Mat. Zamet. SVFU, 21, No. 4, 39-43 (2014).
17. Ivanova A. O. and Nikiforov D. V. "Combinatorial structure of triangulated 3-polytopes with minimum degree 5," in: VII Int. Conf. Math. Modelling (Yakutsk, June 30-July 4, 2014), Yakutsk (2014), pp. 102-103.
Submitted September 28, 2015
Nikiforov Dmitrii Vladislavovich Nord-East Federal University,
Research Institute of Mathematic and Informatic, Kulakovskogo st., 48, Yakutsk 677000, Russia [email protected]
