Конструктивные описания планарных и эйлеровых графов Текст научной статьи по специальности «Математика»

Математика

Вестник Нижегородского университета им. Н.И. Лобачевского, 2010, № 5 (1), с. 165-170

УДК 519.17

КОНСТРУКТИВНЫЕ ОПИСАНИЯ ПЛАНАРНЫХ И ЭЙЛЕРОВЫХ ГРАФОВ

© 2010 г. Е.В. Бурков

Нижегородский госуниверситет им. Н.И. Лобачевского evgeny.burkov@gmail.com

Поступила в редакцию 01.04.2010

Исследуются конструктивные описания графов. Показано, что классы планарных и эйлеровых графов, их объединение и пересечение имеют все четыре возможных сочетания конечных и счетных элементных и операционных базисов.

Ключевые слова: граф, конструктивные описания, элементный базис, операционный базис, планарный граф, эйлеров граф.

Введение

В работе исследуются конструктивные описания графов, введенные в [1]. На множестве 3 всех неориентированных графов, допускающих петли и кратные ребра, рассматривается многозначная бинарная операция ф: 3x3^3 и соответствующее тернарное отношение ФсЗхЗхЗ. Отношение ФсЗхЗхЗ определяет бинарную операцию склейки следующим образом: для любых графов О1,О2,О тройка (01? 02,0) находится в отношении Ф тогда и только тогда, когда результирующий граф G допускает представление в виде склейки графов-операндов О1 и 02 по некоторому подграфу О, то есть G является таким объединением графов, изоморфных О1 и О2, что пересечение этих графов изоморфно графу О. Это пересечение О, изоморфное подграфам О^' с О^ и 02' с 02 , называется подграфом склейки, а отношение Ф - отношением склейки.

В общем случае результат операции склейки неоднозначен и зависит не только от вида подграфа склейки, но и от выбора отождествляемых подграфов в графах-операндах, а также от способа их отождествления. Акцентируя внимание на виде подграфа склейки, операцию склейки будем обозначать как (01 о 02 )( = О . При наличии симметрии в графах-операндах и отождествляемых подграфах запись (О1 о О2 )(

однозначно определяет результирующий граф и будет использоваться для обозначения графов (рис. 1).

Рис. 1. Пример операции склейки

Будем говорить, что операции относятся к

одному типу, если их подграфы склейки О изоморфны.

Операция склейки ф удовлетворяет системе ограничений Н сЗхЗхЗ, если соответствующее отношение Фс Н . В этом случае операцию ф называем операцией H-склейки.

Ограничение И( на тип операции склейки

определяется множеством Н = (О^ 02до-пустимых подграфов склейки и включает в себя такие тройки (О1, О2, О), что граф G допускает представление в виде склейки подграфов, изоморфных О1 и О2 , по подграфу, изоморфному

некоторому графу 0;- е Н .

Пусть Р сЗ - класс графов, обладающих некоторым характеристическим свойством.

Система ограничений Н =

= {(О15 О2, О)| О1? О2, О е Р} обеспечивает сохранение заданного свойства графов-операндов. Про отношение склейки Ф н = Ф ^ Н и соответствующие операции склейки будем говорить, что они сохраняют характеристическое свойство графов класса P.

Граф G является №суперпозицией графов из P, если G е Р или G может быть получен из графов множества P с помощью операций ^ склейки. Множество [Р]н всех графов, яв-

ляющихся Н-суперпозицией графов из P, образует Н-замыкание P. Если [Р]н = Р, то P является Н-замкнутым классом графов.

Минимальное по включению подмножество Ве графов из P образует элементный базис Н-замкнутого класса P, если [Ве ]н = Р .

Минимальное по включению подмножество Во Є Н = [О^, ^2, к}, определяющее ограничение И( на тип операции склейки, при котором \Ве ]нпн( = Р, называется операционным базисом Н-замкнутого класса P.

Совокупность системы ограничений H элементного базиса Ве и операционного базиса В0 образует конструктивное описание Н-замкнутого класса P.

Известно, что для любого Н-замкнутого класса графов существует единственный элементный базис Ве [1] и, по крайней мере, один операционный базис В0 [2]. Как элементный, так и операционный базис может быть конечным или бесконечным [1, 3]. В данной работе рассмотрены взаимосвязанные классы эйлеровых и планарных графов, реализующие все четыре возможных сочетания конечности и бесконечности элементного и операционного базисов. Класс планарных графов обозначается через Р, класс эйлеровых графов - через Е. Кп -полный п-вершинный граф, К 0 - нуль-граф, то есть граф с пустыми множествами вершин и ребер, Оп - пустой п-вершинный граф, Сп -цикл длины п, Рп - цепь из п вершин.

В работе [1] было также показано, что класс планарных графов Р имеет конечные элементный и операционный базисы при различных ограничениях на операции склейки, сохраняющие свойство планарности. В то же время класс максимальных планарных графов имеет счетный элементный базис и конечный операционный базис.

Операция склейки называется тривиальной, если 0[ = 01 или 02 = ^2 .

Операции склейки разделяются на внутренние, когда | V(() |=| V(() | или | V(О2) |= =| V(<~)|, и внешние, когда V(О^ )\ V(С[) Ф0 и V(02) \ V(02) Ф 0 (рис. 2).

Заметим, что склейка двух графов по подграфу К о дает их дизъюнктное объединение.

Непосредственно из определения следует, что если операция склейки внешняя, то V (О) -разделяющее множество графа G.

Класс пересечения эйлеровых и планарных графов

Лемма 1. Операция склейки сохраняет свойство эйлеровости графов-операндов тогда

и только тогда, когда подграф склейки О Ф К0

и степени всех его вершин четны.

Доказательство. Граф эйлеров тогда и только тогда, когда он связен и степени всех его вершин четны. Операция склейки сохраняет связность графов тогда и только тогда, когда

подграф склейки О Ф К0 . Четность степени

любой вершины V £ V(О) следует из четности степени ее прообраза в графе-операнде. Степень вершины V е V(О) равна сумме четных степеней ее прообразов в графах-операндах минус степень вершины V в подграфе склейки О, следовательно, четность степеней всех вершин результирующего графа обеспечивается тогда и только тогда, когда степени всех вершин

V е V(О) четны.

Теорема 1. Класс эйлеровых планарных графов Р о Е имеет счетный элементный базис Ве = {С1?С2,Сзи, по крайней мере, три конечных операционных базиса: В1 =

= (01,02,0з), В2 ={01,02,04}, В3 ={01,о2,о5].

Доказательство. Пусть Н - система ограничений на операцию склейки, обеспечивающая сохранение свойств планарности и эйлеровости. По лемме 1 ограничение Н совпадает с пересечением ограничения И( на тип операции склейки, допускающего склейку лишь по четным ненулевым подграфам, в том числе по пустым, и ограничения, обеспечивающего сохранение свойства планарности.

Покажем, что Н-замкнутый класс Р п Е имеет элементный базис Ве = {СІ5 С2, С3 ,...} . Действительно, никакой Сі, і = 1,2, к , не может быть получен склейкой других эйлеровых графов, так как не содержит собственных эйлеровых подграфов, а множество ребер любого эйлерового графа разбивается на циклы, поэтому его можно получить из набора Ве последовательным применением операций склейки текущего графа с Сі, і є {1,2, к} , по О,, у є {1,2, к} .

Покажем, что операций склейки по графам из Ві, В2 или В3 достаточно для построения любого графа из класса Р п Е . Доказательство проведем методом индукции по числу ребер графа. Минимальным эйлеровым планарным графом является петля. Этот граф содержится в элементном базисе. Предположим, что все эйлеровы планарные графы с числом ребер, меньшим т, построить можно. Рассмотрим произвольный эйлеров планарный граф О с т ребрами. Если О является простым циклом, то он содержится в элементном базисе.

Через Оі \ 02 обозначим граф, получающийся удалением из графа Оі ребер, принадлежащих графу 02 , без удаления вершин. Если в О есть петля Сі, то он строится как ((О \ С) о Сі )о (рис. 3), где О \ С можно построить по предположению индукции.

Рис. 3. Склейка в случае наличия петли

Далее рассмотрим случай, когда в О нет петель, но есть кратные ребра, то есть цикл С2.

Если граф О \ С2 связен, то граф О можно получить склейкой ((О \ С2 ) о С2 )о2. Если О \ С2 состоит из двух компонент связности О1 и О2 , то О можно получить как ((С! О с2 )а1 ° С2 ')о1 (рис. 4). В первом случае граф О \ С2 , а во втором графы О1 и О2 можно построить по предположению индукции.

Рис. 4. Склейка в случае наличия кратных ребер

В случае когда О - обыкновенный эйлеров планарный граф, содержащий вершину х степени два, рассмотрим граф G', получающийся из О добавлением ребра е между вершинами, смежными с х, и удалением вершины х (ребро добавляется, даже если вершины уже смежны). G' можно построить по предположению индукции. Схема построения графа О отличается от схемы построения графа G' только тем, что вместо цикла Сі, содержащего ребро е, используется цикл Сі+1 (рис. 5), также содержащийся в элементном базисе.

Рис. 5. Случай наличия вершины степени два

Пусть теперь О - обыкновенный эйлеров планарный граф без вершин степени два. В [4]

доказано, что в каждом обыкновенном планарном графе со степенями вершин не менее четырех найдется каждый из следующих подграфов:

• цикл С3;

• цикл С4 или подграф (С3 ° С3 ')0 , центральная вершина которого смежна только с вершинами этого подграфа;

• цикл С5.

Пусть G' - любой из этих подграфов. G' содержится в элементном базисе или получается из графов элементного базиса одной склейкой по Оі.

Обозначим через G'' граф, получающийся после удаления из графа О ребер подграфа G' (в случае О ' = (С3 о С3 ')о мы удаляем также

образовавшуюся изолированную вершину). Так как степени вершин графа О больше двух, других изолированных вершин образоваться не может. Каждая из компонент связности графа G' ' является эйлеровым графом, так как степени всех вершин в G''четны. Если G'' связен, то G = (0"о С')0., і є {3,4, 5} , а G' ' можно построить по предположению индукции. Если компонент связности больше чем одна, то, так как | V^') |< 5, найдётся компонента О!, содержащая не более двух вершин, принадлежащих G'. Тогда G = ^ ° G2)0.,і є {1,2} . Здесь

02 - граф, образованный ребрами О, не принадлежащими О!, а склейка производится по вершинам из О! п О'. Графы О! и О2 являются эйлеровыми планарными графами, и их можно построить по предположению индукции. В зависимости от того, какой подграф G' был взят, доказан индукционный переход для базиса Ві, В2 или В3.

Осталось показать минимальность по включению множеств Ві, В2 и В3. Склейка по Ох необходима для построения графа (С о С1 ')0 . Склейка по О2 необходима для построения графа (С2 ° С2 )о2. Пары {0^0 } не достаточно для построения октаэдра, так как он не содержит циклов Сі и С2 , необходимых для внутренней склейки, а также разделяющего множества из 1 или 2 вершин, необходимого для внешней склейки. Следовательно, Ві , В2 и В3 являются операционными базисами класса эйлеровых планарных графов.

Класс эйлеровых графов

Теорема 2. Класс эйлеровых графов Е имеет счетные элементный и операционный базисы.

Доказательство. Пусть Н - система ограничений на операцию склейки, обеспечивающая сохранение свойства эйлеровости. По лемме 1, ограничение Н совпадает с ограничением Иг на тип операции склейки, допускающим склейку лишь по четным ненулевым подграфам, в том числе по пустым.

Обоснование того, что множество Ве = = {Сі, С2, С3является элементным базисом Н-замкнутого класса Е, абсолютно аналогично обоснованию, приведенному в доказательстве теоремы 1 для класса Р п Е .

Счетность операционного базиса докажем от противного. Предположим, что существует конечный операционный базис В0 класса Е . Тогда число вершин графов операционного базиса ограничено сверху конечным числом ^ .

Граф О называется і -жестким, если для любого к >1 граф О не может быть разделен на к компонент связности удалением менее, чем їк вершин. Граф имеет обхват g, если он не содержит циклов длины менее g. В [5] доказано существование для сколь угодно больших і и g графа с жесткостью і и обхватом g. Там же показано существование (р + 1) -регулярного графа с указанными свойствами, где р = 1 (той 4) - простое число. Следовательно, так как (р + 1) четно, для любого з существует эйлеров граф О^ с жесткостью и обхватом больше ^ . Этот граф не содержится в элементном базисе.

Покажем, что он не может быть результирующим графом нетривиальной операции склейки графов из Е по подграфу из В0. Предположим противное, то есть что ^ о G2 )(~ = Gs, О є В0, | Г(О) |< 5 . Эта операция внешняя или внутренняя. В случае внешней операции множество V ^) является разделяющим в графе О^, содержащим не более з вершин, что противоречит тому, что 0&. имеет жесткость больше з. В случае внутренней склейки | V(Оі) |=| V(О) | или | V^2 ) |=| V((~) |. Следовательно, так как операция склейки нетривиальна, а графы-операнды являются под-

графами результирующего графа, граф О^ содержит эйлеров подграф G' из не более, чем з вершин. G' содержит эйлеров цикл, а, следовательно, по крайней мере один простой цикл длины не более з, что невозможно, так как обхват графа О^ больше 5 .

Граф О2 є Е не содержится в элементном базисе и не может быть получен нетривиальной операцией склейки по подграфам из В0 , следовательно, В0 не является операционным базисом класса эйлеровых графов. Так как класс Е не имеет конечного операционного базиса, а любой класс графов имеет, по крайней мере, один операционный базис [2], класс эйлеровых графов имеет счетный операционный базис.

Класс объединения эйлеровых и планарных графов

Теорема 3. Класс объединения эйлеровых и планарных графов Е и Р имеет конечный элементный базис Ве = {Кі,Сі,К2} и счетный операционный базис.

Доказательство. Пусть Н - система ограничений на операцию склейки, обеспечивающая сохранение свойства планарности или эйлеро-вости. Покажем, что Ве является элементным базисом класса Е и Р . Минимальность по включению очевидна, каждый граф из Ве не может быть получен из других нетривиальной операцией склейки. Покажем, что любой планарный или эйлеров граф может быть получен Н-суперпозицией графов из Ве. Цепь Р2 = К2 содержится в базисе, а другие простые цепи Рп, п >2, получаются из Р2 с помощью (и - 2) операций склейки по Оі . Цикл Сі содержится в элементном базисе, а другие простые циклы получаются склейкой (Рп о К2 ')0г = Сп . Простые цепи и циклы являются планарными графами и содержатся в Е и Р . Множество ребер любого эйлерового графа разбивается на циклы, поэтому его можно получить последовательным применением операций склейки с циклом по пустому подграфу, все промежуточные графы принадлежат классу Е и Р .

Для построения произвольного планарного графа О сначала строим пустой | V(О) | -вершинный граф из Кі с помощью (\¥(О)| -1) операций склейки с Кі по К0, затем дополняем его ребрами до графа О, использовав | Е(О) | операций склейки с К2 по 02 .

Счетность операционного базиса докажем от противного. Предположим, что существует конечный операционный базис В0 класса Е и Р . Тогда число вершин графов операционного базиса ограничено сверху конечным числом ^ . Как и в доказательстве теоремы 2, рассмотрим эйлеров граф 0д, имеющий жесткость и обхват больше шах(л,6) . Существование такого графа доказано в [5]. Покажем, что 0д не может быть результирующим графом нетривиальной операции склейки графов из Е и Р по подграфу из В0 . Предположим противное, то есть, что

(С1 ° С2 )~ = С, 6 6 В, | V(О) |< шах(л,6).

Эта операция, как и любая операция склейки, может быть внешней или внутренней.

В случае внешней операции множество V(С) является разделяющим в графе 0д, содержащим не более з вершин, что противоречит тому, что 0д имеет жесткость больше 5 .

В случае внутренней склейки | V()|= =|Г(С~)| или \У(02 )|=\¥(0)\. Пусть \ V(Оl) |= =| V(С) |< 5. Если Ог и 02 планарные, то по следствию из формулы Эйлера | Е(С1) |< < 3| V(^1) |, | Е(02 )|<3| V(02 )|, следовательно, | Е(Сд) |< 61V(Сд) |, поэтому в 0д есть вершина степени менее 12, что противоречит тому, что его жесткость больше 6. Если С1 эйлеров, он содержит эйлеров цикл, а, следовательно, по крайней мере один простой цикл длины не более 5 . Таким образом, граф 0д содержит цикл длины не более 5 , что противоречит тому, что его обхват больше 5 . Остался случай, когда С1 планарен, но не эйлеров, а 02 эйлеров, но не планарен. Рассмотрим граф G' = = (V (Оя), Е (Оя) \ Е (С2 )), Е (С, )\ Е (С ) с

с Е(б^), где , 02 - подграфы 0д, изоморфные С1 и 02 соответственно. Если С1 содержит цикл, снова получаем противоречие с тем, что обхват графа больше 5 . Если С1 не содержит цикла, то G' является лесом. Операция склейки нетривиальна, поэтому G' содержит, по крайней мере, одно ребро, следовательно, в G' есть вершина V степени 1. Подграф ^2 эйлеров, поэтому степень вершины V в подграфе ^2 четна. Е(03 ) = Е(02 ) и Е(О') , следовательно, степень вершины V в графе 0д нечетна, что противоречит тому, что он эйлеров. Таким образом, граф Gs £ Е и Р .

Отсюда следует, что класс Е и Р имеет счетный операционный базис, обоснование этого абсолютно аналогично обоснованию, приведенному в доказательстве теоремы 2 для класса Е.

Заключение

В работе были указаны взаимосвязанные классы графов, имеющие все четыре возможных сочетания конечных и счетных элементных и операционных базисов. Полученные результаты можно представить в таблице.

Класс графов Элементный базис Операционный базис

P конечный конечный

P u E конечный счетный

P n E счетный конечный

E счетный счетный

Список литературы

1. Иорданский М.А. Конструктивные описания графов // Дискретный анализ и исследование операций. 1996. Т. 3, № 4. С. 33-63.

2. Бурков Е.В. Операционные базисы замкнутых классов графов // Материалы IX международного семинара «Дискретная математика и ее приложения», Москва, 18-23 июня 2007 г. С. 261-263.

3. Иорданский М.А. Счетный операционный базис топологических эйлеровых планарных графов // Материалы VIII международной конференции «Дискретные модели в теории управляющих систем», Москва, 6-9 апреля 2009 г. C. 127-129.

4. Бурков Е.В. Короткие циклы в планарных графах с минимальной степенью четыре // Вестник Нижегородского университета им. Н.И. Лобачевского. Н. Новгород: Изд-во ННГУ, 2009. № 4. С. 146-148.

5. Alon N. Tough Ramsey Graphs Without Short Cycles // Journal of Algebraic Combinatorics, 1995. V. 4, № 3. P. 189-195.

CONSTRUCTIVE DESCRIPTIONS OF PLANAR AND EULERIAN GRAPHS

E.V. Burkov

Constructive descriptions of graphs are studied. It is shown that classes of planar and Eulerian graphs, their intersection and union have all four possible combinations of finite and infinite elemental and operational bases.

Keywords: graph, constructive descriptions, elemental basis, operational basis, planar graph, Eulerian graph.