О некоторых свойствах n-последовательносвязной цепи Текст научной статьи по специальности «Математика»

Краткие сообщения

УДК 519.863

О НЕКОТОРЫХ СВОЙСТВАХ N-ПОСЛЕДОВАТЕЛЬНОСВЯЗНОЙ ЦЕПИ

Р.Э. Шангин

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

Ключевые слова: триангулированный граф, хордальный граф, дерево клик, задача Вебера, n-последовательносвязная цепь.

Введение

Пусть G = (J, E) - неориентированный граф с множеством вершин J и множеством ребер E. Пусть N (j) - множество вершин графа G = (J, E), смежных с вершиной j. Пусть <^(G) - плотность графа G. Далее будем предполагать, что на множестве вершин J введена нумерация и каждая вершина отождествлена с присвоенным ей номером.

Определение 1. Связный граф G = (J, E) называется n-иоследовательносвязной цепью (n-sequentially connected chain), если на множестве его вершин можно задать такую нумерацию, что для любой вершины графа G с номером j, имеет место включение

N(j) С {(j - n),-, (j - 1),(j + 1)>->(j + n)} : n = ^(G) - 1

В дальнейшем такие вершины i и k будем именовать крайними вершинами n-последовательносвязной цепи. Заметим, что такие вершины i и k будут симплициальные.

На рис. І для различных n представлены n-последовательносвязные цепи.

а) Ь) с)

Рис. 1. п-последовательносвязные цепи: а) 1-последовательносвязная цепь;

Ь) 2-последовательносвязная цепь; с) 3-последовательносвязная цепь

То есть 1-последовательносвязная цепь представляет собой простую цепь, т.к. для любых ] |Ж(_/)| < 2 и каждая вершина такой цепи связана не более чем с одной предшествующей вершиной. В 2(3)-последовательносвязной цепи каждая вершина связана не более чем с двумя (тремя) предыдущими вершинами соответственно.

На данный момент можно выделить два основных направления использования п-последовательносвязных цепей.

Первое - задачи размещения, в частности, задача Вебера в дискретной постановке [1], так как структура некоторых производственных процессов представляет собой п-последовательносвязную цепь. Например, в работе [2] предложен точный квази-полиномиальный алгоритм для решения задачи Вебера для неориентированной п-пос-ледовательносвязной цепи и конечного дискретного множества мест размещения.

Второе направление - решение задач выбора оптимального поведения в системах, описываемых управляемыми марковскими процессами, когда цепь Маркова является п-сложной, так как структура п-сложной марковской цепи представляет собой п-пос-ледовательносвязную цепь.

Основные характеристики и свойства п-последовательносвязной цепи

Приведем характеристики п-последовательносвязной цепи С = (7, Е).

1. Число ребер графа С равно:

п2 — п /. т| /п + 1

|Е 1 = (|71 — п) ' п + ^ (п — і) = (|71 — п) ' п + = п ' (|71 —

І=1,П

2

2. Размер максимальной клики графа С равен п + 1, причем существует |.] | — п таких максимальных клик;

3. Граф С имеет 2 симплициальные вершины;

4. Число вершинной связности графа С равно п, т.е. любая п-последовательно-связная цепь является п-связным графом;

5. Хроматическое число хо графа С равно п + 1;

6. Цикломатическое число Ос графа С равно:

Ос = п ■ (|,71 — (^1 + 1 = (| 71 — п — 1) ■ (п — 1).

Рассмотрим некоторые свойства п-последовательносвязной цепи С = (7, Е).

Теорема 1. В п-последовательносвязной цепи С = (7, Е) ни один из порожденных подграфов не является простым циклом длины I > 4.

Доказательство. В пронумерованной п-последовательносвязной цепи С = (7, Е) рассмотрим две цепи Ь1 = (7ь1,Е^1) и Ь2 = (7ь2,Е^2), номера вершин которых принадлежат множествам N^1 и N^2 соответственно, причем

т

^1 = {і, і + кьі + Ац + Л2,-,І + ^ кі},

і=1

где і Є {1, 2,..., 17ь1|} и для любых і = 1, 2,..., т целые числа кі Є {1, 2,..., п}, при том, что

і + Е!=1 кі <І^1І;

N£2 = (3 ",3" - Ль3" - Л - " -^ Л*,3 },

*=1

где 1// = І + ^г=Тт кг и для любых і = 1, 2,..., т целые числа Л* Є (1, 2,..., п}, при том, что І" - ЕЩ=1 Л* > І• Пусть Ь = Ь и Ь2 - простой цикл длины т + т + 1 > 4.

Пусть некоторая вершина цепи Ь2 с номером 3// - ^^=1 Л* где ет Є (1, 2,...,т}, находится «между» вершинами цепи Ь с номерами і + ^г=1 кг и і + ^І+11 кг, где р Є (1, 2,..., m} и кр+1 > 2. Очевидно, что

р ш р+1

3 + ^ кг < 3" Л* < 3 + X] кг.

г=1 *=1 г=1

Для такой вершины цепи Ь2 с номером 3" - ^Щ=1 Л* найдется хотя бы одно ребро (хорда) (3 + Ег=1 кг, 3// - ^ш=1 Л*) Є Е либо (3// - ^ш=1 Л*, 3 + Е-=11 кг) Є Е, которое не принадлежит множествам ребер цепей Ь и Ь2, т. к. цикл Ь = Ь и Ь2 по определению простой и

(Ч? Є (1,2,..., |3|}) Ж(3) С ((3 - n),.., (3 - 1), (3 + 1),.., (3 + п)}

и для любых і Є (1, 2,..., т} и і Є (1, 2,..., т} справедливо неравенство 1 < кг, Л* < п. Исходя из этого, в графе С ни один из порожденных подграфов не является простым циклом длины I > 4. Теорема 1 доказана. □

Использованные в доказательстве теоремы 1 простые цепи Ь1 и Ь2, а так же хорды, соединяющие несмежные вершины простого цикла Ь в 3-последовательносвязной цепи представлены на рис. 2.

цепь ІІ1

цепь ІІ2 хорда Рис. 2. Ъвё

Исходя из теоремы 1 п-последовательносвязная цепь при любых значениях параметра п является триангулированным (хордальным) графом [3-6]. Несмотря на справедливость теоремы 1 имеют место следующие свойства п-последовательносвязной цепи.

Теорема 2. В п-последовательносвязной цепи С = (3, Е) при п > 2 с количеством вершин 131 > 2п + 1 существует порожденный подграф, являющийся циклом длины I > 4.

Доказательство. Для доказательства теоремы 2 необходимо и достаточно найти в графе С такой цикл Ь длины I > 4, для которого в графе С не существует ребра соединяющего две несмежные вершины цикла Ь.

Пусть Ь = (3ь,Еі) : |Еь| > 4 цикл в графе С, номера вершин которого принадлежат множеству Ж£, причем

Жь = (3,3 + п,3 + 2п,..., 3 + кп,3 + кп - 1,3 + (к - 1)п,3 + (к - 1)п - 1,3 + (к - 2)п, ...,3}, 108 Вестник ЮУрГУ. Серия «Вычислительная математика и информатика»

при условии, что целое число к = 2, 3,..., при том, что 3 + кп < |3ь|.

Очевидно, что для любой вершины І Є 3ь не существует таких ребер (І, т) Є Е : т Є 3ь, которые бы не принадлежали множеству ребер Еь цикла Ь, так как известно, что для любых 3 Є (1, 2,..., |31} множество N (3) С ((3-п),.., (3-1), (3+1),.., (3+п)}. Теорема 2 доказана. □

Такой цикл Ь в п-последовательносвязной цепи при п = 3, 4 представлен на рис. 3.

а) Ь)

- - - - Цикл Ъ Рис. 3. евё

Теорема 3. В любой п-последовательносвязной цепи С = (3, Е) при п > 4 существует порожденный подграф, являющийся циклом длины І > 4.

Доказательство. Положим, что А = (3а, Еа) - подграф п-последовательносвязной цепи С = (3, Е) при п > 4, образующий клику размера к + 1, где 4 < к < п : к(шоё 2) = 2.

Так как степени всех вершин такой клики А четны, то подграф М индуцированный множеством вершин клики А является эйлеровым графом, а значит найдется такой цикл Ь = М, который включает в себя все вершины и ребра порожденного графа М Є С.

Исходя из этого, в графе С существует порожденный подграф Ь, являющийся циклом длины І > 4. Теорема 3 доказана. □

Несмотря на справедливость теорем 2 и 3 имеет место следующая теорема.

Теорема 4. В п-последовательносвязной цепи С = (3, Е) при п = 2 ни один из порожденных подграфов не является циклом длины І > 4.

Доказательство. Пусть Ь = (3ь, Еь) : |Еь| > 4 - цикл в графе С, где 3ь = (3, і 1, і2, ..-, і*, І } : 3 Є 3.

Рассмотрим два случая цикла Ь: первый случай - когда вершина І1 есть вершина с номером 3 + 1, второй случай - когда вершина і1 есть вершина с номером 3 + 2. Рассмотрим первый вариант первого случая цикла Ь, когда

3ь = (3,3 + 1,І2,...,іг,3/,3 + 1,3 - 1,іг+4,..., і*, 3} : 3/ Є (3 + 2,3 + 3}.

В данном варианте при любых 3/ Є (3 + 2,3 + 3} в графе С имеется ребро (3,3 + 2) Є Е, соединяющее две несмежные вершины цикла Ь (рис. 4, а - Ъ), т.к. вершина с номером 3 + 2 при любых 3 содержится в цикле Ь и цикл заканчивается в вершине с номером 3. В дальнейшем такое ребро будем называть хордой.

Во втором варианте первого случая цикла Ь вершина і* = 3 + 2. Здесь, в свою очередь, возможны два случая: первый, когда і2 = 3 + 3 - с хордой (3 + 1,3 + 2) Є Е, т.к. для любых і*_ 1 Є (3 + 3,3 + 4} ребро (3 + 1,3 + 2) Є Е не принадлежит циклу Ь (рис. 4, с), второй,

когда г2 = 3 + 2 и 23 е ( 3 + 3, 3 +4} - с хордой (3 + 1,3 + 3) € Е, т.к. при 23 = j + 3 вершина ц_1 = 3 + 4, а при 23 = 3 + 4 вершина г*_1 = 3 + 3 и во всех случаях ребро (3 + 1,3 + 3) € Е не принадлежит циклу Ь (рис. 4, ё - е).

7-1 7 І+1 ;?+2 ^+3 7-1 3 3+1 3+2 і+З і-1 і 3+1 3+2 з+З

Рис. 4. Первый вариант построения цикла Ь в 2-последовательносвязной цепи Рассмотрим первый вариант второго случая цикла Ь, когда

Ль = (3,3 + 2,22, --Л,3 +3,3 + 1,3/,гг+4,...,г*,3} : / € (3,3 - 1}.

В данном варианте при 3' = j — 1 в графе С содержатся две хорды (3,3 + 1) Є Е и (3 + 1,3 + 2) Є Е (рис. 5, а), а при 3' = 3 - хорда (3 + 1,3 + 2) Є Е (рис. 5, Ь).

Во втором варианте второго случая цикла Ь, когда

Ль = Ш + 2,12, ...,іг, 3 + 2,3 + 1,3',гг+4,...,г*,3'} : 3' Є {3,3 — 1},

при 3' = 3 — 1 в графе С содержится хорда (3,3 + 1) Є Е (рис. 5, с), а при 3' = 3, когда *2 Є {3 + 3,3 + 4} - хорда (3 + 1,3 + 3) Є Е (рис. 5, ё - е).

3-1 З І+1 3+2 3+3 3-1 3 3+1 3+2 3+3 3-1 3 3+1 3+2 3+3

Рис. 5. Второй вариант построения цикла Ь в 2-последовательносвязной цепи

Так как цикл Ь во всех возможных случаях содержит хорду, то в п-последовательносвязной цепи С = (7, Е) при п = 2 ни один из порожденных подграфов не является циклом длины I > 4. Теорема 4 доказана. □

Так как согласно теореме 1 любая п-последовательносвязная цепь является триангулированным графом, свойства п-последовательносвязной цепи повторяют свойства хордального графа. В частности справедливы

Свойство 1. Любая п-последовательносвязная цепь является совершенным графом. Свойство 2. Любое разделяющее множество вершин п-последовательносвязной цепи, минимальное относительно включения, есть клика.

Свойство 3. Если п-последовательносвязная цепь отлична от полного графа, то в ней имеется две симплициальные вершины.

Свойство 4. Каждая часть п-последовательносвязной цепи относительно разделяющего множества вершин, являющегося кликой - совершенный граф.

Свойство 5. Неориентированная п-последовательносвязная цепь имеет дерево клик, причем древовидная ширина п-последовательносвязной цепи равна п + 1.

Отношение класса п-последовательносвязных цепей к другим классам графов представлено графически на рисунке 6.

Т.е. класс п-последовательносвязных цепей принадлежит классам совершенных и триангулированных графов, при том, что п-последовательносвязные цепи с числом вершин | 3| = п + 1 принадлежат классу полных графов, а п-последовательносвязные цепи с числом вершин 131 = п + 2 - классу расщепляемых графов.

Заключение

В работе введено понятие неориентированной п-последовательносвязной цепи. Обозначены области применения п-последовательносвязных цепей. Рассмотрены основные характеристики п-последовательносвязной цепи.

Доказано, что в п-последовательносвязной цепи при любых значениях параметра п ни один из порожденных подграфов не является простым циклом длины I > 4, из чего следует, что класс п-последовательносвязных цепей принадлежит классу триангулированных графов.

Так же доказано, что в п-последовательносвязной цепи при п > 2 с количеством вершин 131 > 2п + 1 ив любой п-последовательносвязной цепи при п > 4 существует порожденный подграф, являющийся циклом длины I > 4, при том, что в п-последовательносвязной цепи при п = 2 ни один из порожденных подграфов не является циклом длины I > 4.

Определено отношение класса п-последовательносвязных цепей к классам совершенных, триангулированных, полных и расщепляемых графов.

Полные графы

Рис. 6. Отношения классов графов

Литература

1. Panyukov, A.V. Polynomial Algorithms to Finite Veber Problem for a Tree Network / A. V. Panyukov, B.V. Pelzwerger // Journal of Computational and Applied Mathematics. - 1991. - Vol. 35. - P. 291-296.

2. Шангин, Р.Э. Детерминированный алгоритм для решения задачи Вебера для n-последовательносвязной цепи / Р.Э. Шангин // XIII Всероссийская конференция молодых ученых по математическому моделированию и информационным технологиям: Труды Всероссийской конференции (Новосибирск, 15-17 октября 2012 г.). URL: http://conf.nsc.ru/ym2012/ru/reportview/137128 (дата обращения 15.10.2012).

3. Bender, E.A. Almost All Chordal Graphs Split / E.A. Bender, L.B. Richmond, N. C. Wormald // Journal of the Australian Mathematical Society. - 1985. - Vol. 38. - P. 214-221.

4. McKee, T.A. On the Chordality of a Graph / T.A. McKee, E.R. Scheinerman // Journal of Graph Theory. - 1993. - Vol. 17. - P. 221-232.

5. McKee, T.A. Beyond Chordal Graphs / T.A. McKee // Journal of Combinatorial Mathematics and Combinatorial Computing. - 1997. - Vol. 23. - P. 21-31.

6. Dirac, G.A. On Rigid Circuit Graphs / G.A. Dirac // Abhandlungen aus dem Mathemati-schen Seminar der Universitat Hamburg. - 1961. - Vol. 25. - P. 71-76.

Роман Эдуардович Шангин, аспирант, кафедра экономико-математических методов и статистики, Южно-Уральский государственный университет (г. Челябинск, Российская Федерация), shanginre@gmail.com.

ON SOME PROPERTIES OF N-SEQUENTIALLY CONNECTED CHAIN

R.E. Shangin, South Ural State University (Chelyabinsk, Russian Federation)

It is introduced the class of the nonoriented n-sequentially connected chain. It is considered the application fields of the n-sequentially connected chains, in particular the problems of optimal location in discrete formulations, and the problems of selection the optimal conduct in systems, described by Markov controllable processes. The main characteristics of n-sequentially connected chains, such as the number of edges, the size of the maximum clique, the chromatic and the cyclomatic numbers, etc. are given. The relations of the class n-sequentially connected chains to perfect, triangulated, composite and splittable classes of graphs are determined.

Keywords: triangulated graph, chordal graph, tree-clique, Weber problem, the n-sequen-tially connected chain.

References

1. Panyukov A.V., Pelzwerger B.V. Polynomial Algorithms to Finite Veber Problem for a Tree Network. Journal of Computational and Applied Mathematics. 1991. Vol. 35. P. 291-296.

2. Shangin R.E. Determinirovannyj algoritm dlja reshenija zadachi Vebera dlja n-pos-ledovatelnosvjaznoj cepi [The Deterministic Algorithm for Solving the Weber Problem for

the n-sequentially Connected Chain]. XIII Vserossijskaja konferencija molodyh uchenyh po matematicheskomu modelirovaniju i informacionnym tehnologijam: trudy Vserossijskoj konferencii (Novosibirsk, Russia, 15-17 oktjabrja 2012) [The XIII All-Russian Conference of Young Scientists on Mathematical Modeling and Information Technologies: Proceedings of the All-Russian Conference (Novosibirsk, Russia, 15-17 October 2012)]. URL: http: //conf.nsc.ru/ym2012/ru/reportview/137128.pdf.

3. Bender E.A. Almost All Chordal Graphs Split. Journal of the Australian Mathematical Society. 1985. Vol. 38. P. 214-221.

4. McKee T.A. On the Chordality of a Graph. Journal of Graph Theory. 1993. Vol. 17. P. 221-232.

5. McKee T.A. Beyond Chordal Graphs. Journal of Combinatorial Mathematics and Combinatorial Computing. 1997. Vol. 23. P. 21-31.

6. Dirac G.A. On Rigid Circuit Graphs. Abhandlungen aus dem Mathematischen Seminar der Universitat Hamburg. 1961. Vol. 25. P. 71-76.

Поступила в редакцию 1 ноября 2012 г.