CC BY
60
УДК 517.987
КОНЕЧНЫЕ КЛАСТЕРЫ НА ПЛОСКИХ МОЗАИКАХ Часть II. Комбинаторное построение плоских графов 4)
Е.С. Антонова, Ю.П. Вирченко
Аннотация. Работа представляет собой продолжение первой части статьи, целью которой является доказательство комбинаторными методами теоремы Г.Кестена о том, что внешняя граница конечного кластера, расположенного в бесконечном плоском графе типа мозаики, является простым циклом на сопряжённом к ней графе. В этой части даётся комбинаторное определение плоского бесконечного графа на основе бесконечных последовательностей простых циклов, оснащённых несамопересекающимися путями.
Ключевые слова: плоский граф, мозаика, кластер, внешняя граница, цикл.
Настоящая работа является второй частью работы [1]. В связи с этим, мы используем без дополнительных пояснений все введенные в первой части понятия и обозначения. Кроме того, нумерация разделов и утверждений в этой части является продолжением нумераций первой части. Соответственно, ссылки в процессе изложения на утверждения из первой части даются без пояснений. Основной целью этой части работы является комбинаторное определение понятия плоского графа и доказательство его эквивалентности обычному понятию, вводимому погружения графа в К2. Разумеется, что в этом доказательстве используется теорема Жордана о непрерывных кривых на плоскости (см. лемма 7), обеспечивающая переход от обычного определения, использующего топологию плоскости, и эффективно используется понятие двойственного графа. Комбинаторное, независящее от погружения в К2 определение плоского графа вводится на основе специальной конструкции (ОЬ-алгоритм), которая сопоставляет алгоритмическим образом плоскому графу последовательность простых циклов с отмеченными на них несамопересекающимися путями таким образом, что задание всякой такой последовательности определяет плоский граф.
5. Плоские графы и мозаики. В этом пункте мы рассматриваем только связные графы.
Далее для нас будет центральным понятие плоского графа. На содержательном геометрическом уровне граф О называется плоским, если, представив его вершины в виде различных точек плоскости, а соединяющие их рёбра в виде непрерывных несамопере-секающихся кривых с концевыми точками в вершинах, которые они связывают, граф можно расположить в плоскости без пересечения рёбер. Это представление приводит к следующему определению.
Определение 4. Конечный граф О = {V, Ф) называется плоским, если существует гомеоморфное погружение Р : К (О) ^ К2 многообразия К (О) в плоскость К2.
Замечание. Обобщением введенного понятия плоского графа является понятие плоского графа рода г £ М+. Граф О будем называть плоским рода г, если найдётся
4Федеральная целевая программа Научно-образовательного центра "Управляемые электромагнитные процессы в конденсированных средах" (госконтракт № 02.740.11.0545)
непрерывная инъекция F в R3, при которой образ F(K(G)) можно разместить на ориентируемой поверхности Sr рода r и невозможно разместить на ориентируемой поверхности меньшего рода. С этой точки зрения данное выше определение плоских графов представляет плоские графы рода 0.
Пример. Граф G = (V, Ф) с V = {ek; к =1 ^ 9} и
Ф = {{ek, ег} : l = к mod 3; k,l = 1 ^ 9} U
U {{e3fc+i, e3fc+2}, {e3fc+2, e3(fc+i)}, {e3fc+i, e3(fc+i)}; k = 1 2, 3}
не является плоским. Однако он погружаем на поверхность тора, то есть является плоским графом рода 1.
Рис. 1. Пример плоского графа рода 1.
Вершины занумерованы, согласно указанному множеству смежности.
Зафиксируем погружение Р плоского графа О в плоскость. При этом погружении вершины графа - концевые точки векторов е^, к = 1 ^ | V | из К (О) переходят в отмеченные точки на плоскости, а рёбра - в жордановы кривые конечного диаметра с концевыми точками в виде указанных отмеченных точек. При этом каждый цикл 7 графа О переходит в жорданову замкнутую кривую Р(7) на К2 конечного диаметра, на котором расположены отмеченные точки - образы при погружении Р вершин графа, входящих в состав цикла. Пересечение циклов может иметь место только в этих отмеченных точках. В последующих построениях мы будем оперировать только с этими замкнутыми жордановыми кривыми Р(7). Каждая такая кривая, согласно теореме К.Жордана, разбивает плоскость на две области (открытые) - внутреннюю конечного диаметра и внешнюю С1)7 бесконечную.
Среди всех возможных циклов 7 на графе О выделим подмножество таких из них, которые не содержат внутри себя точек образа Р(К(О)). Такие циклы, наверняка, найдутся. В самом деле, рассмотрим конечное множество границ областей, получаемых всевозможными пересечениями ^(71) П ... П Д(7„). Тогда для какого-то из таких пересечений окажется, что внутри него уже нет точек из Р(К(О)). Поэтому его граница, получаемая из отдельных отрезков жордановых кривых Р (71),..., Р(7га) с концевыми
точками в виде образов вершин графа, представляет, тем самым, образ нужного нам цикла на графе О.
Определение 5. Если цикл 7 такой, что ^(7) не содержит внутри себя точек Р(К(О)), то область ^(7) называется гранью (точнее, внутренней гранью) плоского графа.
Рассмотрим множество С
ид7) и Р(К(О))
где здесь и далее объединение про-
изводится по всем циклам на О. Эта открытая область называется внешней (бесконечной) гранью графа, которую мы будем обозначать посредством Дте.
Заметим, что каждое ребро графа входит в состав границы ровно двух граней (с учётом бесконечной грани), а каждая вершина входит в состав числа граней, равного её индексу.
Рассмотрим цикл, который является границей области и ^(7). Все вершины и рёб-
7
ра, образы которых входят в состав этой границы, а также вершины и рёбра, лежащие вне области У ^(7) (они не входят в состав циклов), называются внешними. Их от-
7
личительное свойство состоит в том, что из образа каждой такой вершины и каждой точки образа любого ребра найдётся жорданова кривая бесконечного диаметра, непересекающая Р(К(О)). При этом, по построению, множества внешних вершин и рёбер не пусты (содержат не менее трёх элементов). Все остальные вершины и рёбра графа О, не являющиеся внешними, называются внутренними. Любая жорданова кривая бесконечного диаметра, начинающаяся в точках образов этих вершин и рёбер, обязательно пересекает Р(К(О)).
Отметим, что распределение вершин и рёбер на внешние и внутренние зависит от выбора погружения Р.
Если внутренняя грань плоского графа содержит внешнее ребро, то такую грань мы будем называть граничной.
Для доказательства простого утверждения относительно плоских графов, важного для определения ОЬ-алгоритма, введём понятие двойственного графа к данному плоскому конечному графу О = (V, Ф), не имеющему концевых вершин (см., например, [1]). Это понятие мы вводим посредством его явной конструкции. Она основана на конкретном погружении Р плоского графа О = (V, Ф) в плоскость К2 и сам конкретный вид двойственного графа зависит от этого погружения.
Зафиксируем погружение Р плоского графа О и Гр - множество его граней. Построим множества ф и ф. Каждой грани Д Є Гр сопоставим вершину у(Д). При этом бесконечной грани также сопоставляется вершина у(Д^). Таким образом множество ф состоит из всех вершин у(Д),Д Є Гр. Границы 7(Д) каждой грани Д разобьём на несамопересекающиеся пути 71, ..., 7т так, что каждый из них либо составляет границу грани Д с внутренней гранью ^, либо является связанной частью границы грани Д с бесконечной гранью Дте. Каждому пути 7^ сопоставим ребро {у(Д), у(^)} в том числе, если Ді является бесконечной гранью. Все построенные рёбра {у(Д),у(Д;)} составляют множество ф.
Заметим, что сконструированный граф О, двойственный к плоскому графу О, также является плоским. Граничные грани графа О переходят в вершины двойственного графа, которые смежны с у(Дте). По этой причине, введём также в рассмотрение граф О', который получается из двойственного графа удалением вершины у(Дте) вместе со всеми инцидентными ей рёбрами. Тогда каждая вершина сочленения и каждая концевая вершина графа О' соответствуют граничным граням исходного графа О, причём, если это вершина сочленения, то в каждом из подграфов, на которые распадается граф О' при разрезании по ней, имеется вершина у(Д), для которой соответствующая ей грань Д является граничной у О.
Наконец, отметим, что если индекс каждой вершины графа О больше 2, то двойственный ему граф не имеет концевых вершин и, кроме того, соответствие между графом О и двойственным ему ОФ взаимно однозначно.
Лемма 7. Среди всех граничных граней плоского графа О = (V, Ф) существует, по крайней мере, две таких, что каждая из них может быть получена операцией разрезания по несамопересекающемуся пути, входящему в состав её границы.
□ Зафиксируем погружение Р графа О в К2. На основе погружения Р построим граф
О', соответствующий графу О.
Пусть граничная грань ^(7) графа О не может быть отделена от О операцией разрезания этого графа по несамопересекающемуся пути. Это означает, что из множества рёбер Ф7 её границы тех, которые являются общими с границами других внутренних граней графа, можно выделить, по крайней мере, два подмножества, которые являются несвязанными друг с другом несамопересекающимися путями 71 и 72. Это возможно в том случае, если между этими путями находятся рёбра, границы 7, которые являются внешними рёбрами графа. Возьмём по одному ребру из двух таких множеств и на них по одной вершине. Обозначим их у1 и у2. Эти вершины входят в состав границы грани ^(7). Из каждой вершины у, і = 1, 2 имеется жорданова кривая на бесконечность, полностью расположенная в грани Дте. Обозначим эти кривые а1 и а2, соответственно. Составим теперь бесконечную кривую из последовательного прохождения кривой а1 из бесконечности в вершину у1, из вершины у1 в вершину у2 вдоль какой-то из частей границы грани ^(7) и из вершины у2 по кривой а2 на бесконечность. Построенная бесконечная в обе стороны кривая разделяет плоскость на две несвязанные открытые части так, что каждая из них содержит подграф плоского графа О. (Заметим, что это утверждение использует теорему Жордана о плоских кривых, так как построенную бесконечную кривую можно заменить на замкнутую жорданову кривую, окружающую одну из частей графа О.) Следовательно, вырезание грани ^(7) из О по её границе приводит к развалу графа О на две несвязанные части. Поэтому вершина ^(^(7)) на двойственном графе, соответствующая грани ^(7), должна быть вершиной сочленения, так как вырезанию грани ^(7) по её границе соответствует вырезание вершины у(Д(7)) вместе со всеми инцидентными ей рёбрами на двойственном графе и такое вырезание приведёт к распаду двойственного графа, по меньшей мере, на две несвязанные части.
Рассмотрим множество В (О) всех граничных граней Д плоского графа О. Каждому элементу этого множества сопоставляется вершина у(Д) двойственного графа, которые составляют множество В (О). Обозначим посредством ф(О) множество точек
сочленения графа О'. Согласно доказанному выше, утверждение леммы состоит в том, что В(О) \ ¿(О) = 0.
Пусть О' граф блочной структуры графа О'. У него имеется, по крайней мере, две концевых вершины (лемма 6, [1]). Следовательно, у графа О' имеется, по крайней мере, два блока - непустых подграфа О1 и О2 без вершин сочленения. В каждом из этих подграфов имеется, по крайней мере, одна вершина у(Д) такая, что соответствующая грань Д является граничной на графе О. Тогда, выбирая в каждом из этих подграфов по одной вершине у(Д1) Є О1, у(Д2) Є О2, которые соответствуют граничным граням графа О и не являются вершинами сочленения, то есть содержатся в В(О) \ ¿(О). I
Перейдём теперь к рассмотрению бесконечных плоских графов. Для того чтобы бесконечный граф был плоским, вообще говоря, недостаточно, чтобы все его конечные подграфы были плоскими. Это положение демонстрируется примером графа, изображённого схематически на рис. 2, у которого О = (V, Ф), V = {ек; к Є Ъ}, где
ф = {{е&) ек+3}; к Є ^}и{{е3к, е3к+1}; к Є ^}и{{ез^+1, е3к+2}; к Є ^}и{{е3к, е3к+2}; к Є ^}-
■2 i 4
Рис. 2.
Для корректного определения понятия плоского графа О с бесконечным множеством V вершин, | V| = Н0, если при этом исходить из соответствующего этого графу многообразия К(О) в Кте, требуется уточнить, что понимается под непрерывной инъекцией К(О) в К2. Это уточнение состоит в следующем. Сначала производится вложение множество вершин V графа в К2 так, чтобы множество образов в каждой компактной области было конечно, а затем производятся непрерывные инъекции каждого из рёбер
- отрезков из К (О) в виде жордановых кривых на К2 без пересечений друг с другом, для которых такое понятие определено корректно. Таким образом, под бесконечным плоским графом мы понимаем такой, для которого найдутся погружение вершин и инъекции рёбер, удовлетворяющие этим свойствам. Дадим точную формулировку этого понятия.
Определение 6. Бесконечный граф G = (V, Ф) назовём плоским, если существует такое его погружение F : K(G) ^ R2, при котором в каждой компактной области D в R2 содержится не более чем конечное множество точек образа D П F(V) и каждое ограничение этого погружения на любой конечный подграф G' С G является непрерывной инъекцией F : K(G;) ^ R2.
Очевидно, что ограничение G|r бесконечного плоского графа G на любой круг R круг представляет собой плоский граф. При этом имеет место
lim G|r = G,
Rn^ R2 1
где предел понимается в теоретико-множественном смысле по любой последовательности кругов (Rn; n £ N). Это предельное соотношение можно обобщить. А именно, пусть (Gn; n £ N) - монотонно расширяющаяся последовательность подграфов плоского графа G такая, что объединение граней
lim I I D(y)
П^Ж
jCGn
исчерпывает все конечные грани графа G. Тогда имеет место
lim Gn = G. (5)
П^Ж
Понятие грани бесконечного плоского графа О относительно его фиксированного погружения Р в К2 вводится посредством определения 5 с тем лишь отличием от случая конечного плоского графа, что приходится рассматривать бесконечное множество пересечений областей ^(7), так как на бесконечном графе, вообще говоря, можно построить бесконечное множество циклов 7.
Так как в каждом компакте плоскости К2 содержится только конечное множество вершин графа - образов его погружения в эту плоскость, то каждая конечная грань плоского графа ограничивается конечным множеством рёбер. При этом у бесконечного плоского графа могут иметься бесконечные грани, границы которых состоят из бесконечных путей.
Наибольший интерес для теории перколяции представляют плоские бесконечные графы специального вида, которые называются мозаиками. Их определение состоит в следующем.
Определение 7.5) Бесконечный плоский граф О = (V, Ф) называется мозаикой, если индекс каждой его вершины конечен и он не имеет бесконечных граней.
В частности, мозаика О называется плоским периодическим графом, если она допускает такое вложение Р в К2, при котором существует параллелограмм Р и неколли-неарные векторы а^ а2 в К2 такие, что образ Р(К(О)) может быть восстановлен по его ограничению на этот параллелограмм посредством следующей формулы:
Р(К(О)) = {[Р(К(О))]р + ща! + П2а2; (пь П2) £ ^2} .
Определение 5 плоского графа приводит к понятию его граней, даваемому в терминах жордановых кривых на плоскости. Это, в свою очередь, обязывает, в процессе рассуждений, связанных с плоскими графами, к оперированию такими кривыми и их топологическими свойствами. Нашей целью является дать такое эквивалентное определение плоского графа и его граней, которое бы не было связано с конкретным его
5Даваемое здесь определение мозаики несколько отличается от определения, данного в [1], но оба эти определения эквивалентны.
погружением в плоскость. Это определение даётся на основе предлагаемого ниже GL-алгоритма.
Пусть y - граф с множеством вершин VY = {ж0, Жі,Ж|7|), который представляет собой простой цикл, то есть Ф7 = {{xi,xi+1} : i = 0^|y|,Ж|7|+1 := Ж0}, и а := а(х,xj+m), где 0 ^ j ^ |y| и j + m вычисляется по mod |y|, - отмеченный путь на этом цикле. Заметим, что указание начальной и конечной вершин пути а задаёт на нём ориентацию.
Указанную пару (y, а) будем называть циклом y, оснащённом путём а.
Рассмотрим конечную последовательность ((y™, ап); n =1 ^ N) оснащённых пар.
GL-алгоритм сопоставляет каждой такой последовательности пар последовательность (Gn; n = 1 ^m) конечных плоских графов, m ^ N без концевых вершин и вершин сочленения, а также соответствующую ей последовательность (Гп; n =1 ^ m) внешних рёбер, где Гп - внешние рёбра графа Gn, n =1 ^ m. Конструкцию этого алгоритма мы введём индуктивно по длине последовательности m.
На первом шаге отождествим граф G1 с циклом yi. Все рёбра этого графа назовём, по определению, внешними. Таким образом, множество внешних рёбер Г1 = Ф71. Граф G2 получается из G1 приклеиванием к нему цикла y2 по отмеченным путям а1 на Y1 и а2 на y2 (см. [1]), согласно их ориентации, в том случае, если |а1| = |а2|. Если же имеет место неравенство |а1| = |а2|, то будем считать последовательность циклов (y™; n =
1 ^ N) несогласованной на первом шаге и положим m = 1, то есть процесс построения, согласно GL-алгоритму прекращается на первом шаге.
Если же построение графа G2 возможно, то он является, очевидным образом, плоским и его рёбра, входящие в состав отмеченного пути в2, получаемого на графе G2 в результате склейки путей а1 и а2, назовём внутренними рёбрами этого графа. Остальные его рёбра, по определению, - внешние. Обозначим множество внешних рёбер посредством Г2.
Определим теперь индукционный шаг, завершающий индуктивное построение GL-алгоритма. Пусть последовательность оснащённых циклов является согласованной вплоть до n-го шага включительно и на n-м шаге имеется плоский граф Gn с множеством внешних рёбер Гп, которые составляют простой цикл. Если |Гп| > |ага+1|, то последовательность ((y&, а^); к =1 ^ N) будем считать согласованной на шаге (n + 1). В противном случае, она является несогласованной на этом шаге и построение последовательности плоских графов прекращается и полагается m = n. Если же имеется согласованность на (n + 1)-м шаге, то выберем в Гп путь аП так, чтобы |аЩ = |ага+1| и зафиксируем на этом выбранном пути ориентацию. Склеим граф Gn с циклом Y™+1 по путям аП и ап+1 соответственно. В результате, получим плоский граф Gn+1 с отмеченным на нём путём склейки вп+ъ Множество
Гп+1 — (Гп U {y«,+ 1}) \ вга+1
назовём множеством внешних рёбер графа Gn+1. Остальные его рёбра, по определению, - внутренние. Это множество, вместе с отношением смежности, определённым на нём наследственным образом, представляет собой простой цикл - внешнюю границу графа Gn+1.
В самом деле, цикл Гп, по построению, составляется из двух несамопересекающихся путей а^ и Гп, Гп = а^ и Г^. Точно также цикл 7п+1 состоит из несамопересекающихся путей 7^+1 и ага+1 так, что он получается из них склейкой по двум вершинам. Тогда Гга+1
- простой цикл, так как его можно пройти двигаясь сначала вдоль пути Г^, а затем, с сохранением направления обхода, вдоль пути ага+1. Этот цикл несамопересекающийся. В противном случае должны были бы пересекаться пути 7^+1 и Г^ по каким-то своим внутренним вершинам, что невозможно.
На этом построение индукционного шага заканчивается. Таким образом, мы построили индуктивно последовательность (Оп; п =1 ^ т) и связанную с ней последовательность (Гп; п = 1^т). Обрыв этой последовательности на шаге т может произойти только по двум причинам. Первая - на этом шаге последовательность ((7га, ап); п =1 ^ N) не согласована с парой (7т+ь ат+1) и в этом случае т < N. Вторая - т = N, то есть множество циклов к которым применяется алгоритм исчерпано.
Сформулируем заключительное утверждение описанного построения.
Теорема 6. В результате применения ОЬ-алгоритма к произвольной последовательности ((7га, ап); п =1 ^ N получается последовательность (Оп; п =1 ^ т) плоских графов без концевых вершин и вершин сочленения.
Замечание. Пусть О = (V, Ф) - плоский граф, получаемый посредством ОЬ-алго-ритма, то есть без концевых вершин и вершин сочленения. Приклеивая к его вершинам древесные графы Н;, к =1 ^ IV| с отмеченными вершинами, получим произвольный плоский граф уже содержащий концевые вершины. Отмеченные вершины этого графа, которые образованы в результате склейки, являются его вершинами сочленения.
Точно также, взяв некоторый набор О; = (V;, Ф;) плоских графов, полученных в результате применения ОЬ-алгоритма к набору различных последовательностей циклов, отметив затем на каждом из них некоторые из их внешних вершин и произведя склейки графов по этим вершинам, получим плоский граф с вершинами сочленения, который не имеет концевых вершин.
Сформулируем теперь теорему, которая заключает в себе переформулировку понятий плоского графа и его граней на комбинаторный язык.
Теорема 7. Для того чтобы конечный граф О без концевых вершин и вершин сочленения был плоским, необходимо и достаточно, чтобы он мог быть построен на основе ОЬ-алгоритма из некоторого множества Г циклов.
□ Достаточность условия в формулировке теоремы следует из теоремы 6. Докажем необходимость этого условия для любого конечного плоского графа О без концевых вершин и вершин сочленения.
Пусть О^ - граф указанного типа, имеющий в своём составе N внутренних граней. Зафиксируем его погружение в плоскость. Согласно лемме 7, среди этих внутренних граней, всегда найдётся такая, что он может быть получен из другого плоского графа Ом-1 с числом граней на единицу меньшим, чем у О^, посредством приклеивания ограничивающего её цикла 7^ к О^-1 по несамопересекающемуся пути а^ С 7^. Это означает, что граф О^-1 получается разрезанием графа О^ по пути а^ и при этом образуется цикл 7^, оснащённый путём а^. Найдя, далее, в графе О^-1 грань, огра-
ниченную циклом 7^-1, существование которой утверждается леммой 7, и применяя разрезание по пути а^-2, соединяющему эту грань с остальным графом, получим плоский граф О^-2 с числом граней, равным ^ — 2) и т.д. В результате, кроме графа О^-2, мы получили цикл 7^-1, оснащённый путём а^-1. Продолжая далее процесс последовательного разрезания графа О^, получим, что он оборвётся тогда, когда исчерпается запас его граней, то есть в конце процесса разрезания останется одна единственная внутренняя грань, ограниченная циклом 71, оснащённая путём а1, по которому производилось последнее разрезание. Таким образом, мы построили последовательность ((7;, а;); к =1 ^ N) оснащённых циклов. Обратив произведенный процесс разрезания графа О^, то есть применив ОЬ-алгоритм к построенной последовательности оснащённых циклов, выбирая на каждом шаге приклеивания циклов 7;+1 к плоским графам О;, к =1 ^ N пути приклевания а;, по которым производилось разрезание, мы обеспечим, что полученная последовательность оснащённых циклов будет согласованной на каждом шаге склеивания, и поэтому остановка ОЬ-алгоритма произойдёт только при к = N. Тогда, в результате применения этого алгоритма, мы получим граф О^. Так как Ом - произвольный плоский граф без вершин сочленения и без концевых вершин, то мы заключаем, что справедливо утверждение теоремы. I
Распространение теоремы 7 на бесконечные графы достигается на основе соотношения (5).
Теорема 8. Для того чтобы бесконечный граф О был плоским без вершин сочленения и без концевых вершин, необходимо и достаточно, чтобы он мог быть построен на основе неограниченно продолженного ОЬ-алгоритма из некоторой бесконечной последовательности ((тгс, ап); п Є К) оснащённых циклов.
□ Достаточность сформулированного условия очевидна, так как каждый плоский граф О^, полученный в результате применения ОЬ-алгоритма к начальному отрезку длины N последовательности ((т^, ап); п Є К), является плоским и не имеет концевых вершин и вершин сочленения. Она, наверняка, содержится в круге достаточно большого радиуса. Переходя к пределу N ^ то, получим бесконечный плоский граф О, размещённый в плоскости так, что его ограничение на каждый круг даёт плоский граф О^.
Докажем теперь необходимость условия теоремы для бесконечного плоского графа О без вершин сочленения и концевых вершин. Зафиксируем погружение графа О в плоскость. Построим ограничение О к этого графа в каждый круг Дга из набора концентрических кругов с неограниченно возрастающей последовательностью радиусов. Эти ограничения могут иметь концевые вершины и вершины сочленения. Концевые вершины принадлежат древесным подграфам графа С^. Все эти деревья имеют конечный диаметр в выбранном нами погружении. Поэтому они могут быть полностью удалены из О|д без изменения предельного соотношения (5), так как рёбра, входящие в их состав, входят также в состав границ граней, которые возникнут в некотором более широком ограничении на круг Дга/ 3 Дга большего радиуса.
Так как граф О не имеет вершин сочленения, то для каждой вершины сочленения существует набор граней графа О конечного диаметра, добавление которых к графу Ок сделает его графом, обозначаемым нами Оп, который не имеет вершин сочленения.
Так как все эти грани имеют конечные диаметры, то Оп С О|дп/ с кругом Дга/ большего радиуса. Построив для этого круга точно таким же способом граф Оп/, получим, что Оп С Оп/. Таким образом, мы сконструируем бесконечную последовательность (Оп; п Є К) плоских графов без вершин сочленения и без концевых вершин. Ввиду включений О|дп С Оп С О|дп/, предел (5) этой последовательности стремится к графу О. При этом, каждый граф Оп, п Є N может быть получен посредством применения ОЬ-алгоритма к соответствующей последовательности ((7;, а;); к = 1 ^ п) оснащённых циклов, причём, очевидно, что последовательность меньшей длины п < п' является начальным отрезком последовательности большей длины п'. Таким образом, переходя к пределу по п ^ то, мы построим из них бесконечную последовательность ((7п,ага); п Є К) такую, которая является согласованной и применение к ней ОЬ-алгоритма приводит к графу О. I
ЛИТЕРАТУРА
1. Антонова Е.С., Вирченко Ю.П. Конечные кластеры на плоских мозаиках. Часть 1. Операции склеивания и разрезания // Belgorod State University Scientific Bulletin. -2011. - 5(100);22. - C.140-152.
FINITE CLUSTERS IN PLANE MOSAICS Part II. Combinatorial construction of plane graphs
E.S. Antonova, Yu.P. Virchenko
Abstract. This work is the continuation of first part of the article devoted the proof the Kesten theorem by combinatorial method. In this part it is proposed combinatorial definition of infinite plane graph on the basis of infinite sequence of simple cycles where each of them has been added the nonintersecting path.
Key words: plane graph, cycle, GL-algorithm.
