Научная статья на тему 'Некоторые вопросы о минимальных расширениях графов'

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

CC BY
79
19
i Надоели баннеры? Вы всегда можете отключить рекламу.

Аннотация научной статьи по математике, автор научной работы — Абросимов М.Б.

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

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

Some questions on minimal extensions of graphs

Some statements concerning minimal extensions of graphs are presented that seem to be quite evident at first sight but are not so simple under closer inspection.

Текст научной работы на тему «Некоторые вопросы о минимальных расширениях графов»

информатика

удк 519.4

некоторые вопросы о минимальных расширениях графов

М.Б. Абросимов

Саратовский государственный университет,

кафедра теоретических основ компьютерной безопасности и криптографии E-mail: mic@rambler.ru

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

some Questions on Minimal Extensions of Graphs M.B. Abrosimov

some statements concerning minimal extensions of graphs are presented that seem to be quite evident at first sight but are not so simple under closer inspection.

Неориентированным графом (далее - графом) называется пара G = (V, а), где а (отношение смежности) - симметричное и антирефлексивное отношение на множестве вершин V. Степенью вершины v в графе будем называть количество вершин в G, смежных с данной, и обозначать через d(v). Здесь и далее определения даются по [7].

Подграфом графа G = (V, а) называется пара G' = (V, а'), где

V £ V и a = A (M, p, v) .

Вложением графа G1 = (V1, а1) в граф G2 = (V2, а2) называется такое взаимно однозначное отображениеf Vj ^ V2, что для любых вершин u, v е Vj выполняется следующее условие: (u, v) е a1 ^ (f (u), f (v)) e а2.

Два графа G1 = (V1, а1) и G2 = (V2, а2) называются изоморфными, если можно установить взаимно однозначное соответствие f V1 ^ V2, сохраняющее отношение смежности:

(u, v) е а1 о (ф (u), ф (v)) е a2, для любых u, v е V1. Назовем граф GR = (VR, ак) вершинным k-расширением графа G = = (V, а), если граф G можно вложить в каждый подграф графа GR, получающийся удалением любых его k вершин и всех связанных с ними ребер.

Назовем граф GR = (VR, а^ реберным k-расширением графа G = = (V, а), если граф G можно вложить в каждый подграф графа GR, получающийся удалением любых его k ребер.

Граф G* = (V*, а*) называется минимальным вершинным k-расшире-нием (далее - МВ-kP) п-вершинного графа G = (V, а), если выполняются следующие условия:

1) G* является вершинным k-расширением G, то есть граф G вложим в каждый подграф графа G*, получающийся удалением любых его k вершин;

2) G* содержит п + k вершин, то есть | V*| = | V | + k;

3) а* имеет минимальную мощность при выполнении условий 1) и 2).

© М.Б. Абросимов, 2006

М.Б. Абросимов. Некоторые вопросы о минимальных расширениях графов

Граф G* = (V, а*) называется минимальным реберным ^расширением (далее - МР^Р) и-вершин-ного графа G = (V, а), если выполняются следующие условия:

1) G* является реберным ^расширением G, то есть граф G вложим в каждый подграф графа G*, получающийся удалением любых его k ребер;

2) G*содержит п вершин, то есть | К"| = | VI;

3) а* имеет минимальную мощность при выполнении условий 1) и 2).

Также мы будем говорить «минимальное ^расширение» или «^расширение», если сказанное относится к вершинным и реберным расширениям.

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

Пусть G*является реберным ^расширением графа G. Если минимальная степень вершины графа G есть d, то каждая вершина х* графа G* должна иметь степень С*, такую что С > d + k.

Утверждение столь очевидно, сколь и его доказательство, занимающее 4 строки (см.: [10], теорема 3). Тем не менее, это утверждение является ложным для некоторых графов, имеющих изолированные вершины (например, для графа из следующего далее пункта 1.2. Следует заметить, что утверждение является истинным для графов без изолированных вершин).

В данной работе рассматривается ряд подобных утверждений, представляющих некоторый интерес.

1. о минимальном ^расширении графа

Рассмотрим задачу нахождения минимального ^расширения графа. Можем ли мы использовать для решения этой задачи знание минимальных расширений графа при значениях меньших k? Представляется интуитивно очевидным, что минимальное 1-расширение минимального (к - 1)-расширения будет являться минимальным ^расширением.

1.1. «Всякое МВ-№ графа есть МВ-1р его МВ-(Л-1)р»

Очевидно, что МВ-1Р любого МВ-^ - 1)Р графа является и его вершинным к-расширением. Более того, для некоторых классов графов доказано, что оно является и МВ^Р. Например, для цепей, циклов (см. [9]), предполных графов (см. [5]) и некоторых других связных и несвязных графов утверждение имеет место при всех значениях k.

Далее будет предложено семейство графов, опровергающее исследуемое утверждение.

Рассмотрим граф G вида Р„ ^Р,, ^ От, где т > 2и - 2. Покажем, что МВ-1Р графа G при и > 3 будет граф G* вида С2и+1 и От, причем при и > 4 единственным с точностью до изоморфизма (при и = 2, 3 МВ-1Р графа G будет граф вида Р„^РП^РП^ От_„+1). В самом деле граф С2п+1 и От отличается от графа G на три дополнительных ребра. МВ-1 Р не может иметь менее двух дополнительных ребер (заметим, что при и = 2 МВ-1Р графа G будет граф Р2иР2^)Р2 и От_ъ отличающийся на одно дополнительное ребро), поскольку степень хотя бы одной вершины будет не ниже двух. Таким образом, нужно показать, что не существует МВ-1Р, отличающегося на два ребра. Предположим, что такой граф существует. Тогда степень любой его вершины не более двух. Рассмотрим, какие графы получаются из графа G добавлением одной вершины и двух ребер (и степень вершин ни в каком из этих графов не больше двух):

РпиРпиР2иР2иОт_,,

РпиР„иР,иОт_2,

Р„+1 и Рп+1 и си

Р„иРп+2иОт_ъ

Р„иС„+,иОт,

С2пиОт.

Непосредственной проверкой убеждаемся, что ни один из перечисленных графов при и > 3 не является вершинным 1-расширением графа G (заметим, что при и = 3 граф Р3[^>Р3^)Р3,и От_2 является МВ-1Р графа G).

МВ-1Р графа О* (см. [2, 4]) имеет вид С2„+1 иОя, где С2и+1 - некоторое минимальное расширение цикла С2п+1 - однородный граф порядка 3 (см. [1, 9]). Покажем, что при некоторых значениях п никакой такой граф не является МВ-2Р графа О.

Граф С*н+1 и От имеет 1 (3 * (2п + 2)) = Ъп + 3 ребра. Рассмотрим граф вида Ря и^и^и^и От_2п+2.

Нетрудно видеть, что такой граф является вершинным 2-расширением графа О и имеет 4п - 4 ребра. Найдем значения п, при которых он будет являться и МВ-2Р графа О: 4п - 4 < 3п + 3, откуда п < 7. Таким образом, при п = 5 или п = 6 граф Рп[иР„[иОт имеет единственное с точностью до изоморфизма МВ-1Р - граф вида С 2п+1 иОи - и единственное МВ-2Р - граф вида Р„^РП^Р„^Р„^ От

-2и+2, который

не является МВ-1Р графа С2и+1 и От. На рис. 1 приводится иллюстрация данного примера при п = 5 и т = 8. При п = 7 граф Ри^Р„^От имеет единственное МВ-1Р и два неизоморфных МВ-2Р, одно из которых является МВ-1Р его МВ-1Р, а другое нет. □

Рассматривая большие значения п можно указать графы, которые имеют МВ-£Р, не являющиеся МВ-1Р их МВ-(£ - 1)Р при больших значениях k (например, при 7 < п < 11 это будет справедливо для k = 3 и т.д.).

Рис. 1. Граф, его МВ-1Р и МВ-1Р

1.2. «Всякое Мр-№ графа есть Мр-1р его Мр-(А-1)р»

Рассмотрим граф Р2^02 (рис. 2, а). Этот граф имеет одно ребро; очевидно, что любым МР^Р этого графа будет 4-вершинный граф с k + 1 ребром. Так, на рис. 2, б изображены два МР-2Р, а на рис. 2, г -МР-3Р. На рис. 2, в изображены МР-1Р для графов на рис. 2, б. Видно, что один из этих графов является МР-2Р графа Р2^)02, а другой нет.

О О

О О

О о

?—9

о—¿

и

о

Рис. 1. Граф, его МВ-1Р и МВ-2Р

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

б

а

в

г

М.Б. Абросимов. Некоторые вопросы о минимальных расширениях графов

2. о точных расширениях

Если в п. 1 определений МВ-АР и МР-АР заменить требование вложения графа G в оставшуюся часть графа G* требованием их изоморфизма, то получим определения точного вершинного k-расширения (далее - ТВ-АР) и точного реберного k-расширения (далее - ТР-АР). Приведем ряд дополнительных определений по [8].

Автоморфизмом графа G называется изоморфизм графа G на себя.

Две вершины u и v графа G называются подобными, если для некоторого автоморфизма f этого графа f u) = v. Два ребра e1 = {ul, vj и e2 = {u2, v2} называются подобными, если существует такой автоморфизм f графа G, что f({u1, vj) = {u2, v2}.

Граф называется вершинно-симметрическим, если любая пара его вершин подобна, и реберно-симметрическим, если любая пара его ребер подобна. Граф называется симметрическим, если он вершинно- и реберно-симметрический.

2.1. «Всякое ТВ-1 р графа есть и Тр-1 р некоторого графа»

В работе [3] показывается, что ТВ-1Р является всегда однородным графом. ТР-1Р в общем случае не является однородным графом. Некоторые ТВ-1Р являются и ТР-1Р. Например, полный граф Kn или цикл Cn. Более того, объединение любого числа одинаковых полных графов или циклов Cn также является как ТВ-1Р, так и ТР-1Р.

Оказывается, имеет место следующая

Теорема. Граф G является ТВ-1Р тогда и только тогда, когда он является вершинно-симметри-ческим.

Доказательство.

Необходимость.

Пусть граф G является вершинно-симметрическим. Любые две его вершины u и v подобны, откуда очевидным образом следует, что G — u будет изоморфен G — v.

Достаточность.

Пусть граф G является ТВ-1Р. Тогда для любых двух вершин u и v графы G — u и G — v изоморфны. В общем случае из того что G — u изоморфен G — v, не следует, что вершины u и v подобны (см. [8]). Покажем, что в случае ТВ-1Р это выполняется.

Пусть G = (V, а) - ТВ-1Р, а u и v — произвольные его вершины. Тогда граф G однородный некоторого порядка d. Граф G - u изоморфен G - v, и пусть f - подходящий изоморфизм. Пусть uj ,..., ud - вершины степени d - 1 графа G - u, а vj, ..., vd соответственно подобные им вершины в графе G - v. Вершина u смежна с вершинами ux ,., ud в графе G и только с ними, а вершина v смежна с вершинами vj, ..., vd и только с ними. Обозначим множество вершин ux ,..., udчерез a(u), а множество вершин v1, ., vd через a(v).

, [v, X = и

Покажем, что вершины u и v подобны. Рассмотрим отображение f (х) = < . Нетрудно

I/O), хФи

видеть, что f* является взаимно однозначным отображением. Покажем, что f * - автоморфизм графа G. Рассмотрим пару вершин Wj и W2 графа G. Рассмотрим три случая.

1) Wj и w2 отличны от u. Тогда (wj, w2) е а « (f *(wj), f *(w2)) e а.

2) Одна из вершин - u (пусть для определенности wj = u), а другая (то есть w2) - смежная с ней в графе G вершина, то есть w2 e a(u). Тогда (wj, w2) е а, однако f *(u) = v, а f *(u) = v., а поскольку (v, v.) e а, то и в этом случае выполняется (wj, w2) е а « (f *(wj), f *(w2)) e а.

3) Одна из вершин - u (пусть опять для определенности wj = u), а другая (то есть w2) - не смежная с ней в графе G вершина, то есть w2 g а^). Тогда (w1, w2) g а, однако f*(u) = v, а f*(w2) g а(^, а поскольку в этом случае (v, f *(w2) g а, то опять выполняется (w1, w2) е а « (f *(w1), f *(w2)) e а.

б

Рис. 3. Два ТВ-1Р, одно из которых не является ТР-1Р

Таким образом, / * является изоморфизмом, следовательно, вершины и и V подобны. □

Таким образом, всякий вершинно-симметрический граф является ТВ-1Р, однако не всякий такой граф является ТР-1Р. На рис. 3, а приведен минимальный по числу вершин вершинно-симметрический граф, не являющийся ТР-1Р. Интересно, что этот граф также является МВ-1Р цикла С5 и МР-1Р цикла С6 (см. [1, 6, 9, 10]). На рис. 3, б изображено еще одно ТВ-1Р, которое является и ТР-1Р. Интересно, что граф на рис. 3, б является МР-1Р цикла С6, однако не является МВ-1Р цикла С5.

2.2. «Всякое однородное Тр-1р графа есть и ТВ-1 р некоторого графа»

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

Оказывается, имеет место следующая

Теорема. Всякий однородный граф О является ТР-1Р тогда и только тогда, когда он является ре-берно-симметрическим.

Доказательство

Необходимость

Пусть граф О является реберно-симметрическим. Любые два его ребра е1 и е2 подобны, откуда очевидным образом следует, что граф О - ех изоморфен графу О - е2.

Достаточность

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

Пусть однородный граф О является ТР-1Р. Обозначим через k степень вершин графа О. Тогда для любых двух ребер е1 = {и1, v1} и е2 = {и2, v2} графы О - е1 и О - е2 изоморфны. В графе О - е1 вершины и1 и V! имеют степень k - 1, а все остальные вершины имеют степень k. Аналогично в графе О - е2 вершины и2 и V2 имеют степень k - 1, а все остальные вершины имеют степень k. Следовательно, при изоморфизме образом вершин и1 и v1 могут быть только вершины и2 и V2, а это и означает, что ребра е1 и е2 подобны. □

Следующая известная теорема (см. [8]) устанавливает связь между реберно-симметрическими и вершинно-симметрическими графами.

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

Из этой теоремы с учетом доказанного ранее очевидным образом следует следующая

Теорема. Пусть однородный граф О является ТР-1Р, тогда он является или ТВ-1Р, или двудольным графом.

Реберно-симметрический граф, не являющийся вершинно-сим-метрическим называется полусимметрическим. В [11] доказано, что минимальным по числу вершин полусимметрическим графом (а следовательно, и минимальным ТР-1Р, которое не является ТВ-1Р) является 20-вершинный граф Фолкмана (рис. 4).

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

Теорема (ср. следствие 14.12). а) Если О - однородное п-вершинное ТР-1Р и степень d каждой вершины нечетна, то граф О является ТВ-1Р. б) Если граф О - однородное и-вершинное ТР-1Р и степень каж-Рж. 4. Граф Фоткмат дой вершины четна, причем d > р/2, то граф О является ТВ-1Р.

а

М.Р. Мпрзаянов. о минимальных сильно связных конгруэнциях ориентированных цепей

И, наконец, имеет место следующая Теорема (ср. теорему 14.13). Для каждого п > 20, кратного 4, существует однородное п-вершинное ТР-1Р, не являющееся ТВ-1Р.

Работа выполнена при поддержке гранта РФФИ 05-08-18082.

Библиографический список

1. Абросимов М.Б. О неизоморфных оптимальных 1-отказоустойчивых реализациях некоторых графов // Теоретические проблемы информатики и ее приложений. Саратов: Изд-во Сарат. ун-та, 2000. Вып.3. С. 3-10.

2. Абросимов М.Б. Минимальные расширения объединений некоторых графов // Теоретические проблемы информатики и ее приложений. Саратов: Изд-во Сарат. ун-та, 2001. Вып.4. С. 3-11.

3. Абросимов М.Б. Минимальные расширения дополнений графов // Теоретические проблемы информатики и ее приложений. Саратов: Изд-во Сарат. ун-та, 2001. Вып. 4. С. 11-19.

4. Абросимов М.Б. О минимальных расширениях графов, содержащих изолированные вершины // Вестник ТГУ. Приложение. Томск, 2002. №1(11). С.24-29.

5. Абросимов М.Б. Минимальные к-расширения пред-

полных графов // Известия вузов: Математика. 2003. № 6(493). С. 3-11.

6. Абросимов М.Б. О неизоморфных минимальных реберных 1-расширениях некоторых графов // Теоретические задачи информатики и ее приложений. Саратов: Изд-во Сарат. ун-та, 2004 (в печати).

7. Богомолов А.М., Салий В.Н. Алгебраические основы теории дискретных систем. М.: Наука, 1997.

8. Харари Ф. Теория графов. М.: Едиториал УРСС, 2003.

9. HayesJ.P. A graph model for fault-tolerant computing system // IEEE Trans. Comput. 1976. Vol. C. 25, №9. P.875-884.

10. Harary F., Hayes J.P. Edge fault tolerance in graphs // Networks. 1993. Vol. 23. P. 135-142.

11. Skiena S. Implementing Discrete Mathematics: Combinatorics and Graph Theory with Mathematica. Reading, MA: Addison-Wesley, 1990.

УДК 512.5

о минимальных сильно связных конгруэнциях ориентированных цепей

М.р. Мирзаянов

Саратовский государственный университет, кафедра теоретических основ компьютерной безопасности и криптографиии E-mail: mirzayanovmr@gmail.com

Пусть G = (V, а) - ориентированный граф. Эквивалентность 0 с V х V называется его сильно связной конгруэнцией, если факторграф G/0 - сильно связный. Описываются минимальные по включению сильно связные конгруэнции ориентированной цепи и подсчитывается их количество: 2 n-3, если цепь имеет n вершин.

on Minimal strongly Connected Congruences of a Directed Path

M.R. Mirzayanov

Let G = (V, a) be a directed graph. An equivalence relation 0 ç V x V is called a strongly connected congruence of G if the quotient graph G/0 is strongly connected. Minimal (under inclusion) strongly connected congruences of a directed path are described and the total amount of them is found (2n-3 if the path has n vertices).

Пусть К - некоторый класс орграфов. Если G является К-графом, а отношение эквивалентности в на множестве его вершин таково, что факторграф G/в также принадлежит классу К, то в называется конгруэнцией К-графа G.

Если К - некоторый класс орграфов и G - произвольный орграф, то К-конгруэнцией орграфа G называется отношение эквивалентности в на множестве его вершин такое, что факторграф G/в принадлежит классу К.

В [1, 2] ставятся задачи изучения К-конгруэнций орграфов, а также конгруэнций К-графов.

Конгруэнции корневых деревьев и турниров рассмотрела А.В. Киреева в [3, 4]. В работе М.А. Кабанова [5] изучаются функциональные конгруэнции орграфов. Сообщение об алгоритме построения минимальной в смысле количества вершин в факторграфе сильно связной конгруэнции произвольного орграфа содержится в работе М.Р. Мирзаянова [6].

© М.Р. Мирзаянов, 2006

91

i Надоели баннеры? Вы всегда можете отключить рекламу.