CC BY
30
УДК 515.162.8
ЗАДАЧА КОНВЕЯ-ГОРДОНА ДЛЯ РЕДУЦИРОВАННЫХ ПОЛНЫХ ПРОСТРАНСТВЕННЫХ ГРАФОВ1
Ф.Г. Кораблёв2, А.А. Казаков3
Работа посвящена исследованию графов, вложенных в трёхмерное пространство, которые получаются из полных графов удалением нескольких рёбер, инцидентных одной вершине. Для всех таких графов вводится аналог функции Конвея-Гордона ^. Доказывается, что её значение равно нулю для всех графов, полученных из полных графов с не менее, чем восемью вершинами. Также приводятся примеры графов с шестью вершинами, для которых значение этой функции равно единице.
Ключевые слова: пространственный граф; гамильтонов набор циклов; зацепление.
Введение
Настоящая работа посвящена исследованию редуцированных полных пространственных графов, то есть вложенных в R графов, которые получаются из полных графов удалением нескольких рёбер, инцидентных одной вершине. Гамильтоновой парой циклов в пространственном графе называется пара непересекающихся простых замкнутых путей по его рёбрам, проходящим через все его вершины.
Пусть l1 U l2 с R3 - двухкомпонентное зацепление. Определим величину lk2(l1, l2) как остаток от деления на 2 коэффициента зацепления lk(l1, l2). Этот остаток не зависит от выбора ориен-таций компонент l1 и l2 . Для каждого пространственного графа G определим значение функции
C2(G) как остаток от деления на 2 суммы ^ lk2(a,ß), где суммирование берётся по всем га-
(a,ß)
мильтоновым парам циклов (a, b) в графе G .
Изначально функция с была предложена Дж. Конвеем и К. Гордоном для полных пространственных графов с шестью вершинами (см. [1]). Они использовали её для доказательства того, что каждый такой граф содержит нетривиальное зацепление. В работе [2] нами было показано, что значение функции сс2 для полного пространственного графа Kn, n > 6 равно нулю тогда и только тогда, когда n > 7 . Помимо этого в работе [3] нами было показано, что значение функции сс2 равно нулю для всех полных двудольных пространственных графов. Также в работе [4] показано, что значение функции сс2 равно единице для всех пространственных графов из семейства Петерсена.
В настоящей работе мы вычисляем значение функции с для всех редуцированных полных пространственных графов, которые получаются из полного пространственного графа с n > 8 вершинами удалением m рёбер, 0<m<n — 2, инцидентных одной вершине. Оказывается, что для всех таких графов значение функции с равно нулю. Доказательство состоит из двух шагов:
сначала мы показываем, что значение функции с2 не зависит от вложения графа в R3. Затем мы доказываем тривиальность функции с2, используя каноническое вложение полного графа в R3 (также оно использовалось в [2, 5]).
1 Работа выполнена при поддержке Лаборатории квантовой топологии Челябинского государственного университета (грант правительства РФ № 14.Z50.31.0020), гранта РФФИ № 14-01-00441 и гранта ведущих научных школ 1015.2014.1.
2 Кораблёв Филипп Глебович - доцент кафедры компьютерной топологии и алгебры, Челябинский государственный университет; Лаборатория квантовой топологии, Челябинский государственный университет; заведующий отделом алгоритмической топологии, Институт математики и механики им. Н.Н.Красовского Уральского отделения Российской академии наук.
E-mail: korablev@csu.ru
3 Казаков Александр Андреевич - преподаватель кафедры компьютерной топологии и алгебры, Челябинский государственный университет.
E-mail: Kazakov.Al.An@gmail.com
1. Независимость функции ш2 от вложения
Далее через Сп т будем обозначать пространственный граф, который получается из полного графа с п вершинами удалением т рёбер, инцидентных одной вершине, У(Спт) - множество вершин этого графа, Е(Спт) - множество его рёбер, Г(Опт) - множество гамильтоновых пар циклов в графе Спт. Пусть а, Ье Е(Спт). Обозначим ЬаЬ(Опт) множество гамильтоновых пар циклов в графе Сп т, одна из компонент которых проходит по ребру а , а другая - по ребру Ь.
Теорема 1. Пусть Спт - редуцированный полный пространственный граф, п > 8, 0 < т < п — 2. Тогда для любых двух рёбер а, Ь е Е(Спт) мощность | ЬаЬ (Спт )| чётна.
Доказательство. Пусть у,..., Уп еУ(Спт) - вершины графа Спт, и пусть этот граф получается из полного пространственного графа удалением т рёбер, инцидентных вершине у . Обозначим А5 с ЬаЬ(Спт), 5 = 3,4 , множество, состоящее из гамильтоновых пар циклов, в которых найдётся компонента, являющаяся 5 -угольником и проходящая по ребру а и через вершину у1 . Можно считать, что если (а,/) е А5, то компонента а удовлетворяет этому условию. Заметим, что для каждой такой компоненты а пары циклов (а,/) е А5 существует ровно (п — 5)! различных компонент /, если а - треугольник, и ровно (п — 6)! различных компонент /, если а -четырёхугольник. Следовательно, так как п > 8, то множества А3 и А4 чётны. Аналогичным образом чётными являются множества В5 с ЬаЬ(Спт), 5=3,4, состоящие из пар циклов, в которых найдётся компонента, являющаяся 5 -угольником и проходящая по ребру Ь и через вершину у1 .
Так как множества А}, А4,В3 и В4 попарно не пересекаются, то для доказательства чётности множества ЬаЬ (Спт) достаточно показать, что множество
4,Ь (Сп,т ) = 4,Ь (Сп,т ) \ ( 4 и А4 и В3 и В4) чётно. Для этого каждой паре циклов (а,/)е ЬаЬ(Спт) сопоставим другую пару циклов
(а',/')е Ьа Ь ( Сп,т ) . Пусть
а = (у,, у) , уа ,..., у) ) и 3 = (у, , у, , у, ,..., у, ).
Такая запись означает, что компонента а образована последовательным обходом вершин У\ , % , Уз,•••, \ еУ(Спт), а компонента / образована последовательным обходом вершин
у), у,2 , у,з ,..., у^ е У(Сп т), где к+1=п и к, 1 > 3 . Без ограничения общности можно считать, что
ребро ае Е(Спт) инцидентно вершинам у^ , у^ , а ребро Ье Е(Спт) инцидентно вершинам
Уъ , у, .
Л' 3)2
Рассмотрим два случая.
Случай 1. Пусть (а,/)е ЬаЬ (Спт), причём компонента а проходит через вершину у и у й (у^ , у^, у^ , У^к } . В этом случае построим новую пару циклов (а',/') с помощью операции переключения:
а' = (у, , у) , у, ,..., у, ) и = (у, , у, , у, ,..., у. ).
V 4 ' ¡2 ' ' )' И У ) ' 72' ¡3 ' ' 'к'
Так как максимальный подграф графа Спт, натянутый на вершины у2,..., уп, является полным, значит он содержит рёбра, соединяющие пары вершин (у , у)),у , УJ¡),(у^, у^ ) и (у, , у).
Непосредственно проверяется, что так как п> 5, то (а',/')е ЬаЬ (Спт) и пары (а',/') и (а,/) различны.
Математика
Случай 2. Пусть теперь компонента а пары (а,/)£ ^аъ(&пт) проходит через вершину у и у = у, , где 5 £ {1,2,3, к} . С точностью до переобозначений можно считать, что у = у^ или В этом случае также с помощью переключения построим новую пару
У = у,-
(а/£ 4,ъ(СП,Ш):
а' = (у,, у,- , уА, у, , у, ,..., у.) и 3' = (у* , у, , V
*1'
Л' Л' 15:
Л).
получается из пространственного графа
Рис. 1. Операция переброски
Непосредственно проверяется, что (а',/') £ ^аЪ (Опш) и пары (а',/') и (а,/) различны. Аналогичным образом рассматривается случай, когда компонента / пары
(а,/)£ 4гЪ(Спш) проходит через вершину у1 и у1 = у* , где 5£ {1, 2,3,1}, 1 > 5. Таким образом,
всё множество ЬаЬ(бпт) разбито на пары, следовательно оно является чётным. Тогда чётным
является и множество ЬаЪ(Опш). Теорема 1 доказана.
Следствие 1. Пусть Спш и б'пш - два редуцированных полных пространственных графа,
п > 8, 0 < т < п - 2. Тогда со2 (бпт ) = с2(б'пт).
Доказательство. Пространственный граф б'П!
бпт с помощью изотопии и операций переброски,
каждая из которых состоит в преобразовании выбранного перекрёстка, содержащегося в некотором шаре, в противоположный перекрёсток (верхнее ребро становится нижним и наоборот, рис. 1, также см. [2]). При изотопии коэффициент зацепления не меняется, следовательно достаточно проверить, что при переброске, применённой к некоторой паре рёбер а,Ъ£ Е(Опт), значение функции с не изменится.
Заметим, что при такой переброске для всех пар (а,/)£ ЬаЪ(бпт) коэффициент зацепления 1к2(а,/) меняется на единицу. Для всех остальных гамильтоновых пар циклов из множества Г(бпт) \ ЬаЪ(бпт) коэффициент зацепления не меняется. В силу теоремы 1 множество ЬаЪ (бпт) чётно. Следовательно, при переброске значение функции с2 не меняется. Следствие 1 доказано.
2. Тривиальность функции ю2
Пусть {е^...,е1} с Е(Кп) - набор рёбер в полном пространственном графе Кп с п> 6 вершинами. Как и раньше, будем обозначать Г(Кп) множество всех гамильтоновых пар циклов в графе Кп. Обозначим Г с Г(Кп) множество гамильтоновых пар циклов, проходящих по всем выбранным рёбрам е1,..., е1. Также для произвольного подмножества Ь с Г(Кп) определим значение функции 52(Ь) как остаток от деления на 2 суммы
I 1к2(а,/).
(а,/)£Ь
Отметим, что 52 (Г (Кп )) = с2( Кп).
Полный пространственный граф будем называть каноническим, если он получается следующим образом (такой граф рассматривался в [2, 5], также см. рис. 2):
1. Располагаем вершины у1,..., Уп в вершинах правильного п-угольника, лежащего в плоскости Оху пространства Я3;
Рис. 2. Канонический полный пространственный граф с шестью вершинами
2. Опускаем каждую вершину у1 , 1=1,...,п на 1 — 1 единиц вниз;
3. Соединяем все вершины попарно между собой прямолинейными отрезками. Лемма 1. Пусть ее Е(КП) - ребро полного пространственного графа Кп, п > 8 . Тогда 52 (Ге) = 0 .
Доказательство. Пусть редуцированный полный пространственный граф Сп 1 получается из полного пространственного графа
Кп удалением ребра е . Тогда
(°п,1 ) = «2 ( Кп ) + 52 ( Ге ),
где сложение осуществляется по модулю 2.
Из теоремы 1 и [2, Теорема 1] следует, что значения (02(Сп1)
и ш2( Кп) не зависят от пространственных вложений. Следовательно, для вычисления значения 52(Ге) можно считать, что полный пространственный граф Кп является каноническим. Также будем считать, что ребро е инцидентно вершинам у и у2 .
Рассмотрим инволюцию Т: Кп ® Кп, индуцированную следующим отображением вершин графа Кп: все вершины у3,..., Уп остаются неподвижными, а вершины у и у2 меняются местами.
Пусть (а,р)£ Ге . С точностью до переобозначений можно считать, что компонента а проходит по ребру е. Рассмотрим гамильтонову пару циклов (а',Р)£ Ге, где а' = т(а). Если (а\р) = (а,р), то компонента а является треугольником, причём образующие её рёбра (кроме ребра е) проходят выше всех остальных рёбер графа Кп. Тогда 1к2 (а,р) = 0.
Если (а',Р) ^ (а,Ь), то из построения следует, что при инволюции Т индексы двойных точек, образованных рёбрами компонент а и р , сохраняются (рис. 3). Тогда 1к2 (а,р) = 1к2(а\р). Следовательно 52 (Ге) = 0 . Лемма 1 доказана.
Рис. 3. При инволюции т индексы двойных точек, образованных рёбрами компонент а и р, сохраняются
Лемма 2. Пусть еь е2 £ Е(Кп) - два смежных ребра полного пространственного графа Кп,
п > 8. Тогда 52 (Ге1,е2 ) =
Доказательство. Пусть редуцированный полный пространственный граф Оп 2 получается из полного пространственного графа Кп удалением смежных рёбер е1, е2 . Тогда
(Сп,2 ) = ®2 ( Кп ) + 52 ( Ге1 )+ 52 ( Г ^ )+ 52 ( Г ^ ), где сложение осуществляется по модулю 2.
Из того, что значения (02(Оп2) и ш2(Кп) на зависят от пространственных вложений графов
и из леммы 1 следует, что значение 52 ( Ге ,е ) также не зависит от конкретного пространственного графа Кп. Поэтому будем считать, что этот граф Кп является каноническим. Также будем считать, что ребро е1 инцидентно паре вершин (у, у2), а ребро е2 инцидентно паре вершин (у2, у3) . Рассмотрим инволюцию Т: Кп ® Кп, которая индуцирована следующим отображением
Математика
вершин графа Кп: все вершины у4,..., уп и вершина у2 остаются неподвижными, а вершины у и у3 меняются местами.
Пусть (а,Ь)е Г^ . Без ограничения общности можно считать, что компонента а последовательно проходит по рёбрам е1 и е2. Рассмотрим пару (а\р), где а' = т(а). Если (а',Ь) = (а,р), то из построения следует, что компонента а является четырёхугольником, проходящим через вершины у1, у2, у3 и некоторую вершину у1 . Тогда, так как рёбра графа Кп, инцидентны парам вершин (у1, у1 ) и (у3, у), проходят выше всех остальных рёбер, то 1к2 (а,Ь) = 0 .
Если (а',Ь) ^ (а,Ь), то из построения следует, что 1к2 (а,Ь) = 1к2(а\р) (см. рис. 3). Следовательно 52 (Ге ^ ) = 0. Лемма 2 доказана.
Теорема 2. Пусть Спш - редуцированный полный пространственный граф, п > 8, 0 < т < п - 2. Тогда ( (бпт ) = 0.
Доказательство. Пусть редуцированный полный пространственный граф бпт получается из полного пространственного графа Кп удалением рёбер е1,е2,..., ет е Е(Кп), инцидентных одной вершине графа Кп . Тогда из принципа включения-исключения следует, что
т / \
(2 (С„,т ) = ( ( Кп ) + Е52 ( Ге1, )+ Е 52 ( Г е^ ) + ••• +
1=1 {1 12}с{1,.,т}
+ Е 52(Ге„...,ет-1) + ^Гц,.,^
{1|,..., 1т-1}с(1,.,т}
где сложение осуществляется по модулю 2.
Заметим, что Ге е = 0 при к > 3 . Следовательно, соотношение принимает вид
т / \
((Сп,т) = ((Кп) + (Ге1 )+ Е 52 (^ ).
1=1 {1 12}с{1,.,т}
Из лемм 1 и 2 следует, что 52() = 0 для всех 1 =1,...,т, и &2 (Ге е, ) = 0 для всех
{ 11,12} £ {1,. .,т} . Также из теоремы 2 работы [2] следует, что (2(Кп) = 0 при п> 8 . Следовательно о2(Спт) = 0 . Теорема 2 доказана.
Можно показать, что существуют различные редуцированные полные пространственные графы, получающиеся из полного графа с шестью вершинами удалением одинакового числа рёбер, для которых значения функции (2 также различны. Для этого рассмотрим канонический полный пространственный граф К6 . Пусть ^(К6) = {у1,..., у6} (рис. 2). Этот граф содержит единственную пару циклов (а,Ь), для которой 1к2(а,Ь) = 1:
а = (У1, Уз, у5) и Ь = (У2, У4, Уб) .
Тогда, если удалить из графа К6 ребро, инцидентное паре вершин ( у1, у2) , то получится пространственный граф б61, для которого значение функции (2 равно 1. Если же удалить ребро, инцидентное паре вершин (у1, у3) , то получится пространственный граф б '61, для которого значение функции (2 равно 0. Аналогичным образом строятся графы б6 2 и б6 3, для которых значение функции (2 равно 1. Эти графы получаются из К6 удалением семейств рёбер {(у1, у2),(у1, у4)} и {(у1, у2),(у1, у4),(у1, у6)} соответственно. Графы б'6 2 и б'63, для которых значение функции (2 равно 0, получаются из К6 удалением семейств рёбер {(у1, у3),(у1, у4)} и {(у1, у3),(у1, у4),(у1, у5)} соответственно.
Литература
1. Conway, J.H. Knots and links in spatial graphs / J.H. Conway, C.McA. Gordon // Journal of Graph Theory. - 1983. - Vol. 7. - P. 445-453.
2. Казаков, А.А. Тривиальность функции с2 для пространственных вложений полных графов / А.А. Казаков, Ф.Г. Кораблёв // Вестник НГУ. Серия: Математика, механика, информатика. -2013. - Т. 13, № 2. - С. 38-47.
3. Кораблёв, Ф.Г. Функция с2 для полных двудольных пространственных графов / Ф.Г. Кораблёв, А.А. Казаков, А.И. Сергеева // Вестник Челябинского государственного университета. -2012. - № 26 (280). - С. 125-128.
4. Sachs, H. On spatial representations of finite graphs / H. Sachs // Finite and Infinite Sets, Vol I and II, Colloq. Math. Soc. Janos Bolyai. - 1984. - Vol. 37. - P. 649-662.
5. Веснин, А.Ю. О зацепленности гамильтоновых пар циклов в пространственных графах / А.Ю. Веснин, А.В. Литвинцева // Сибирские Электронные математические известия. - 2010. -Т. 7. - С. 383-393.
Поступила в редакцию 4 марта 2015 г.
Bulletin of the South Ural State University Series "Mathematics. Mechanics. Physics" _2015, vol. 7, no. 3, pp. 16-21
CONWAY-GORDON PROBLEM FOR REDUCED COMPLETE SPATIAL GRAPHS
Ph.G. Korablev\ A.A. Kazakov2
This paper is devoted to 3D embeddable graphs, which are obtained from full spatial graphs by removing several edges incident to one vertex. For all such graphs we introduce the analogue of Conway-Gordon function m2. We prove that its value is zero for all spatial graphs obtained from full graphs with no less than eight vertices. There are examples of graphs with six vertices, where the value of this function is equal to unity.
Keywords: spatial graph; Hamiltonian cycle basis; link.
References
1. Conway J.H., Gordon C.McA. Knots and links in spatial graphs. Journal of Graph Theory. 1983. Vol. 7. pp. 445-453.
2. Kazakov A.A., Korablev Ph.G. Triviality of the function co2 for spatial complete graphs. Vestnik Novosibirskogo gosudarstvennogo universiteta. Seriya: Matematika, mekhanika, informatika. 2013. Vol. 13, Issue 3. pp. 38-47. (in Russ.).
3. Korablev Ph.G., Kazakov A.A., Sergeeva A.I. Function co2 for spatial bipartite complete graphs. Vestnik Chelyabinskogogosudarstvennogo universiteta. 2012. no. 26 (280). pp. 125-128. (in Russ).
4. Sachs H. On spatial representations of finite graphs. Finite and Infinite Sets, Vol I and II, Colloq. Math. Soc. Janos Bolyai. 1984. Vol. 37. pp. 649-662.
5. Vesnin A.Yu., Litvinceva A.V. On linkness of hamiltonian cycles in spatial graphs. Siberian Electronic Mathematical Reports. 2010. Vol. 7. pp. 383-393. (in Russ).
Received 4 March 2015
1 Korablev Philipp Glebovich is Associate Professor, Department of Computer Topology and Algebra, Laboratory of Quantum Topology, Chelyabinsk State University; Head of Mathematician of Algorithmic Topology Department, Institute of Mathematics and Mechanics, Ural Branch of Russian Academy of Sciences.
E-mail: korablev@csu.ru
2 Kazakov Alexander Andreevich is Lecturer, Department of Computer Topology and Algebra, Chelyabinsk State University. E-mail: Kazakov.Al.An@gmail.com
