CC BY
45
ПРИКЛАДНАЯ ДИСКРЕТНАЯ МАТЕМАТИКА
2011 Прикладная теория графов №2(12)
УДК 519.6
ОЦЕНКИ ЭКСПОНЕНТОВ ПРИМИТИВНЫХ ГРАФОВ
В. М. Фомичев Институт проблем информатики РАН, г. Москва, Россия E-mail: [email protected]
Уточнены оценки экспонентов для n-вершинных примитивных орграфов (неотрицательных матриц порядка n), содержащих два простых контура, длины которых взаимно просты. Получены достижимые оценки порядка O(max{lA,/(l,X,n)}), где l и A — взаимно простые длины простых контуров в орграфе и /(l,A,n) — линейный полином. Описан полностью класс примитивных орграфов, на которых достигается абсолютная оценка экспонента n2 — 2n + 2 (H. Wielandt, 1950).
Для экспонентов неориентированных n-вершинных примитивных графов доказаны уточняющие оценки. В частности, если l — длина длиннейшего простого цикла нечетной длины в графе Г, то экспонент графа Г не превышает 2n — l — 1. Описан полностью класс примитивных неориентированных графов, на которых достигается абсолютная оценка экспонента 2n — 2.
Ключевые слова: примитивные графы, экспонент графа.
Введение
Рассмотрим неотрицательную (положительную) матрицу A = (ai;j) порядка n > 1 над полем действительных чисел, т. е. ai,j ^ 0 (ai;j > 0) для всех i, j Е {1,... , n}, свойство неотрицательности (положительности) матрицы A обозначим так: A ^ 0 (A > 0). Неотрицательную матрицу A называют примитивной, если A* > 0 при некотором натуральном t, а наименьшее натуральное Y, при котором AY > 0, называется экспонентом, или показателем примитивности матрицы A, и обозначается exp A. Если такого t не существует, то exp A = то.
Важной задачей, в частности для криптографических приложений, является определение экспонентов матриц из различных классов. При исследовании экспонентов матриц часто используется эпиморфизм ^ мультипликативного моноида неотрицательных матриц порядка n на моноид n-вершинных орграфов, где умножение орграфов1 определено как умножение бинарных отношений [1, с. 212]. При эпиморфизме ^ матрице A соответствует орграф Г с множеством вершин {1,... ,n} и с множеством дуг U, где (i, j) Е U ai;j > 0, при этом матрица М смежности вершин графа Г называется носителем матрицы A. Очевидно, <^(М) = Г. Для ограничения эпиморфизма ^ на подмоноид симметрических матриц (для них ai;j = aj;i при всех допустимых i, j) областью значений является подмоноид n-вершинных графов. Для эпиморфизма ^ выполнено: A > 0 ^ орграф Г = <^(A) полный. Отсюда неотрицательная матрица A и орграф Г = <^(A) одновременно примитивны или не примитивны, в случае примитивности экспоненты их равны.
В данной работе используем преимущественно аппарат теории графов. Необходимым условием примитивности орграфа является его сильная связность. Критерий примитивности орграфа Г определяется длинами его простых контуров [2, с. 226] (контур простой, если проходит через любую вершину не более одного раза). Если C1,... , Ck
1 Неориентированные графы будем называть просто графами.
суть все простые контуры орграфа Г длин соответственно li,... , lk, то сильносвязный орграф Г примитивный, если и только если НОД(/1,... , lk) = 1. Отсюда exp Г = exp Г;, если примитивные орграфы (графы) Г и Г изоморфны.
Достижимая абсолютная оценка экспонента любого примитивного n-вершинного орграфа Г получена Виландтом [3], n > 1:
exp Г ^ n2 — 2n + 2.
Эта оценка для n-вершинного примитивного орграфа Г допускает уточнение [2, с. 227] с использованием длины l кратчайшего простого контура в Г:
exp Г ^ (n — 2)l + n. (1)
В частности, если орграф Г имеет петлю, то он примитивен и exp Г ^ 2n — 2.
Необходимым условием примитивности графа является его связность. Так как любое ребро графа можно рассматривать как цикл длины 2, то из критерия примитивности орграфа следует, что примитивность связного графа Г равносильна наличию в Г простого цикла нечетной длины. Следовательно, в соответствии с теоремой Кенига
о двудольных графах связный граф примитивен, если и только если он не является двудольным. В [2, с. 409] приведена достижимая абсолютная оценка экспонентов примитивных n-вершинных графов:
exp Г ^ 2n — 2.
В данной работе уточнены оценки экспонентов для примитивных n-вершинных орграфов, имеющих два простых контура взаимно простых длин, n > 3, и оценки экспонентов графов, n > 2. Описаны все n-вершинные орграфы и графы, на которых достигаются абсолютные оценки exp Г.
1. Свойства экспонентов графов
Далее через C обозначим контур в орграфе и через C* — мультимножество вершин контура C, в случае простого контура — множество вершин.
Множество W(Г) всех путей орграфа Г образует частичный моноид относительно операции конкатенации (обозначим ее •), операция определена на паре путей (u,v), если и только если конечная вершина пути u совпадает с начальной вершиной пути v. Результат конкатенации пути u с начальной вершиной i и конечной вершиной а и пути v с начальной вершиной а и конечной вершиной j есть путь w = u • v с начальной вершиной i и конечной вершиной j. При этом len(w) = len(u) + len(v), где len(w) — длина пути w Е W(Г), измеряемая числом дуг (или ребер), составляющих путь w. Единицей частичного моноида W(Г) является пустой путь w0, где len(w0) = 0.
При обходе контура C выделим его вершину а как начальную, контур C в этом случае обозначим C(а). Для целого неотрицательного q через q-C(а) обозначим контур, составленный из q-кратно пройденного контура C(а), где 0 ■ C(а) = w0.
Обозначим при i = j, где i, j Е {1,... ,n}, через w(i, j) путь из i в j; [i, j] —кратчайший путь из i в j; [i,i] —кратчайший контур, проходящий через вершину i. Для
H, P С {1,... , n} обозначим через dist(H, P) расстояние в графе Г между множествами H и P:
( min len[i, j], H П P = 0, dist(H, P) = J (ьЛенхР
I 0, H П P = 0.
Множество W путей из i в j (при i = j — контуров), где i,j Е {1,...,n}, назовем (t,/)-множеством путей, t,/ — натуральные, если в W имеется / путей (контуров), длины которых равны t,t + 1,...,t + / — 1.
Для получения оценки экспонентов примитивных графов отметим ряд свойств. Из критерия примитивности орграфа следует достаточное условие.
Утверждение 1. Сильносвязный орграф примитивен, если содержит два простых контура, длины которых взаимно просты.
Пусть М — матрица смежности вершин графа Г и М1 = (m( j), / ^ 1.
Утверждение 2 [4, следствие 1 теоремы 2, с. 114]. Число путей длины / из i в j в n-вершинном графе Г равно элементу m( j матрицы М1, где / ^ 1.
Утверждение 3.
а) Если М1 > 0 при натуральном /, то М* > 0 при любом t > /.
б) Если в n-вершинном сильносвязном орграфе Г (связном графе Г'), где n > 1, имеются пути из i в j длины / > 0 для любых i, j Е {1,... , n}, то орграф Г (граф Г') примитивен и exp Г ^ /.
в) Если для некоторых i, j Е {1,... ,n} и для натурального т в примитивном орграфе Г (в графе Г') не имеется путей из i в j длины т, то exp Г > т.
Доказательство.
а) Если М1 > 0, то m( j > 0 для всех i, j Е {1,... , n}. Вместе с тем в матрице М каждая строка и каждый столбец ненулевые, иначе М1 > 0 не выполнено, отсюда
j > 0 при любом j = 1,..., n и некотором s(j) Е {1,... , n}. Тогда из равенства
М1+1 = М1М следует, что m( m( ^mSj ^ m( ^(^mSj) j > 0 для всех i,j Е
s=1
Е {1,... , n}. Значит, М1+1 > 0.
б) и в) следуют из утверждений 2 и 3,а. ■
Утверждение 4. Пусть в n-вершинном орграфе Г при n > 1 имеется контур C длины / и (t, /)-множество путей из i в j, каждый из которых проходит через некоторую вершину контура C, тогда в Г имеются пути из i в j длины т при любом т ^ t, где
i,j Е {1,...,n}.
Доказательство. Пусть путь w(s) из (t, /)-множества путей графа Г есть путь из i в j длины t + s, проходящий через вершину a контура C, s = 0,1,..., / — 1. Тогда при a Е {i, j} путь w(s) может быть представлен конкатенацией двух путей: w(s) = w(i,a) • w(a,j), где len(w(i,a)) + len(w(a,j)) = len(w(s)) = t + s. Построим
(s)
пути Mg из i в j длины t + s + q/, где q = 0,1,...:
UqS) = (q ■ C(a)) • w(s), если i = a;
w.qs) = w(s) • (q ■ C(a)), если j = a, i = j;
«gs) = w(i, a) • (q ■ C(a)) • w(a, j) в остальных случаях.
По построению len(Ms)) = q/ + t + s, где q = 0,1,..., s = 0,1,... , / — 1. Значит, в семействе путей {«qs)} имеется путь из i в j длины т при любом т ^ t. ■
2. Оценки экспонентов орграфов
Пусть в орграфе Г имеются простые контуры C и C' длины соответственно / и Л, где, не теряя общности, положим 1 < Л < / ^ n. Обозначим в = (/ — 1)(Л — 1).
Для вершин i и j контура (цикла) C обозначим через p(i, j) длину кратчайшего пути от i до j, составленного только из дуг контура (ребер цикла) C, и положим
p(i,i) = 0. При i = j имеем p(i,j) ^ Z — 1 для орграфа и p(i,j) ^ [Z/2J для графа. Для вершины i и подмножества H вершин контура (цикла) С обозначим через p(i, H) длину кратчайшего пути от i до ближайшей вершины множества H, составленного только из дуг контура (ребер цикла) C. Если |H| = h, то p(i, H) ^ Z — h для контура C орграфа. Аналогичные расстояния на контуре С' обозначим р'.
Теорема 1. Пусть (Z, Л) = 1, n > 2, тогда:
а) если С * П С'* = 0, то exp Г ^ 1Л — 2Z — 3Л + 3n;
б) если С * П С'* = H, где |H | = h > 0, то exp Г ^ 1Л — Z — 3Л + h + 2n.
Доказательство. В условиях теоремы граф Г примитивен. Для получения
оценки exp Г построим (t, Л)-множество путей из i в j для любых i,j Є {1,...,n}, каждый из которых проходит через некоторую вершину контура С'.
Множество чисел {qZ mod Л : q = 0,1,..., Л — 1} в силу взаимной простоты чисел Z и Л образует полную систему неотрицательных вычетов по модулю Л, при этом числа qZ не превосходят (Л — 1)Z. Значит, для любого q = 0,1,... , Л —1 найдется неотрицательное целое число z (q), такое, что в ^ qZ + z(q^ ^ (Л — 1)Z, при этом
{qZ + z(q^ : q = 0,1,... , Л — 1} = N (в, Л), (2)
где N (в, Л) = {в, в + 1,... , в + Л — 1}; равенство (2) известно как лемма Шора.
а) Пусть С * П С'* = 0, a, b Є С *, a',b' Є С'*, где len[a,a'] = dist [С *,C'*],
len[b',b] = dist [С'*, С*] (рис. 1). Определим пути uq (i, j ) и vq (i, j ) из i в j, проходящие
через вершины контура С', q = 0,1,... , Л — 1:
uq (i, j ) = q ■ С (a) • [a, a'] • z(q) ■ С'(а'), если i = a, j = a';
uq (i, j ) = q ■ С (a) • [a, a'] • z (q) ■ C'(a') • [a', j ], если i = a, j = a'; uq (i,j ) = [i,a] • q ■ С (a) • [a, a'] • z(q) ■ C'(a' ), если i = a,j = a'; uq (i, j ) = [i, a] • q ■ C (a) • [a, a'] • z(q) ■ C'(a') • [a', j ], если i = a, j = a';
vq(i, j) = z(q) ■ C'(b') • [b',b] • q ■ C(b), если i = b', j = b;
Vq(i, j) = z(q) ■ C'(b') • [b',b] • q ■ C(b) • [b, j], если i = b', j = b; vq (i, j ) = [i,b'] • z (q) ■ C'(b') • [b',b] • q ■ C (b), если i = b', j = b;
Vq(i,j) = [i,b'] • z(q) ■ C'(b') • [b',b] • q ■ C(b) • [b,j], если i = b',j = \>.
Рис. 1. Непересекающиеся контуры C и C' в орграфе
Длины путей щ(г,3) и уд(г,3) соответственно равны:
1еп(мд(г,3)) = д/ + г(д)А + 1еп[а,а'], если г = а,3 = а'; (3)
1en(uq(г,3)) = д/ + г(д)А + 1еп[а,а'] + 1еп[а',3], если г = а,3 = а'; (4)
1eп(uq(г,3)) = д/ + г(д)А + 1еп[г,а] + 1еп[а, а'], если г = а,3 = а'; (5)
1eп(uq(г,3)) = д/ + г(д)А + 1еп[г, а] + 1еп[а, а'] + 1еп[а', 3], если г = а,3 = а'; (6)
1еп(г^(г,3)) = д/ + г(д)А + 1еп[Ь',Ь], если г = Ь',3 = Ь; (7)
1еп(г^(г,3)) = д/ + г(д)А + 1еп[Ь',Ь] + 1еп[Ь,3], если г = Ь',3 = Ь; (8)
1еп(г^(г,3)) = д/ + г(д)А + 1еп[г,Ь'] + 1еп[Ь',Ь], если г = Ь',3 = Ь; (9)
1еп(г^(г,3)) = д/ + г(д)А + 1еп[г,Ь'] + 1еп[Ь',Ь] + 1еп[Ь,3], если г = Ь',3 = Ь. (10)
Из формул (3)-(6) следует, что в соответствии с леммой Шора для любых г,3 Е € {1,... , п} множество путей {uq(г,3) : д = 0,1,..., А—1} есть (0+¿0(г,3), А)-множество путей из г в 3, где
¿0(г,3) = 1еп[а,а'], если г = а,3 = а'; (11)
¿0(г,3) = 1еп[а,а'] + 1еп[а',3], если г = а,3 = а'; (12)
¿0(г,3) = 1еп[г,а] + 1еп[а,а'], если г = а,3 = а'; (13)
¿0(г,3) = 1еп[г,а] + 1еп[а,а'] + 1еп[а',3], если г = а,3 = а'. (14)
Аналогично из формул (7)—(10) следует, что в соответствии с леммой Шора для любых г,3 € {1,... , п} множество {г^(г,3) : д = 0,1,..., А — 1} есть (0 + ¿1 (г,3), А)-множество путей из г в 3 , где
¿1(г,3) = 1еп[Ь',Ь], если г = Ь',3 = Ь; (15)
¿1(г,3) = 1еп[Ь',Ь] + 1еп[Ь,3], если г = Ь',3 = Ь; (16)
¿1 (г,3) = 1еп[г,Ь'] + 1еп[Ь',Ь], если г = Ь',3 = Ь; (17)
¿1(г,3) = 1еп[г,Ь'] + 1еп[Ь',Ь] + 1еп[Ь,3], если г = Ь',3 = Ь. (18)
Следовательно, в соответствии с утверждениями 3,б и 4
ехрГ ^ 0 + тах{тт{£0(г,3),¿1 (г,3)}}. (19)
(ы)
Оценим величины ¿о(і,3) и ¿і(¿,3). Пусть /Ші — кратчайший путь от і до ближайшей вершины контура С (г — конечная вершина) при і ф С *, не проходящий через вершины контура С;; иі — кратчайший путь от і до ближайшей вершины контура С (г/ — конечная вершина) при і ф С;*, не проходящий через вершины контура С. В Ш(Г) содержится хотя бы один из путей /ші и иі при любом і ф С * и С '*. Тогда верны следующие оценки:
1еп[і,а] ^ 1еп(од) + р(г,а), если іші ф Ш(Г) и і ф С*; (20)
1еп[і,а] ^ р(і,а), если і ф С*; (21)
1еп[і,6;] ^ 1еп(иі) + р/(г/,6/), если иі Ф Ш(Г) и і ф См; (22)
1еп[і,6;] ^ р/(і,Ь/), если і ф С/*; (23)
1еп[а'3, ] ^ п — 1, если 3 Е С'*; (24)
1еп[а',3] ^ р'(а',3), если 3 € С'*; (25)
1еп[Ь,3] ^ п — 1, если 3 Е С*; (26)
1еп[Ь,3'] ^ Р(Ь3'), если 3 Е С*. (27)
В соответствии с (20) и (21) наибольшее значение оценка 1еп[г,а] принимает при г Е С*, и в соответствии с (22) и (23) наибольшее значение оценка 1еп[г,Ь'] принимает при г Е С'*. Значит, при г Е С * и С'* независимо от того, какой из путей wi, щ содержится в Ш(Г),
тт{1еп[г, а], 1еп[г,Ь']} ^ тах{1еп^), 1еп(^)} + тах{р(г, а), р'(г', Ь')};
при г Е С * и С'* оценка тт{1еп[г, а], 1еп[г,Ь']} ниже этой. При любом г Е С* и С'* в соответствии с определением путей wi, щ верна оценка
тах{1еп^), 1еп(^)} ^ п — / — А,
отсюда, учитывая, что р(г,а) ^ / — 1 и р'(г',Ь') ^ А — 1, получаем для любого г Е Е {1,... , п}
тт{1еп[г, а], 1еп[г, Ь']} ^ п — А — 1. (28)
Кратчайший путь из а в а' (из Ь' в Ь) по определению не содержит вершин конту-
ров С и С', исключая начальную и конечную вершины, поэтому
тах{1еп[а, а'], 1еп[Ь, Ь']} ^ п — / — А + 1. (29)
Для 1еп[а',3] и 1еп[Ь,3] в соответствии с (24)—(27) при любом 3 Е {1,... , п} верна
оценка
тах{1еп[а',3], 1еп[Ь,3]} ^ п — 1. (30)
Из формул (11)—(14) и (15)—(18) следует, что для любых г,3 Е {1,... п}
¿0(г,3) ^ 1еп[г,а] + 1еп[а,а'] + 1еп[а',3],
¿1(г,3) ^ 1еп[г,Ьа'] + 1еп[Ь',Ь] + 1еп[Ь,3],
где первая оценка достигается при г = а, 3 = а', а вторая — при г = Ь', 3 = Ь (см. рис. 1). В остальных случаях оценка ¿0(г,3) ниже этой. Следовательно,
тах{тш{^0(^3),¿1(г,3')}} ^
(i>j)
^ тт{1еп[г,а], 1еп[г,Ь']} + тах{1еп[а, а'], 1еп[Ь',Ь]} + тах{1еп[а',3], 1еп[Ь,3]}, отсюда в соответствии с (28)—(30) получаем
тах{тт{£0(г,3),¿1 (г,3)}} ^ 3п — / — 2А — 1.
(м)
Из этой оценки и из (19) получаем оценку теоремы 1,а.
б) Пусть Н = С * П С '* и а Е Н (рис. 2). Определим пути wq (г,3) из г в 3, проходящие через вершину а контура С', где д = 0,1,... , А — 1:
wq (г,3) = д ■ С (а) • г(д) ■ С'(а), если г = 3 = а; wq (г,3) = д ■ С (а) • г(д) ■ С'(а) • [а,3 ], если г = а, 3 = а; wq (г,3) = [г, а] • д ■ С (а) • г (д) ■ С'(а), если г = а, 3 = а; wq (г,3) = [г, а] • д ■ С (а) • г(д) ■ С'(а) • [а,3], если г = а,3 = а.
Длины путей wq (i, j) соответственно равны
len(wq(i, j)) = ql + z(q)A, если i = j = a; len(wq(i, j)) = ql + z(q)A + len[a, j], если i = a, j = a;
len(wq(i, j)) = ql + z(q)A + len[i, a], если i = a, j = a;
len(wq(i, j)) = ql + z(q) ■ A + len[i,a] + len[a, j], если i = a, j = a.
(31)
(32)
(33)
(34)
¥—
/
/
/
s
/
Рис. 2. Пересекающиеся контуры С и С' в орграфе
Из формул (31)-(34) следует, что в соответствии с (2) для любых г, 3 € {1,... , п} множество путей {и^(г,3) : ^ = 0,1,... , А — 1} есть (0 + ¿2(г,3), А)-множество путей из г в 3, где
Следовательно, в соответствии с утверждениями 3,б и 4
ехрГ ^ 9 + maxt2(i, j)• (39)
(i,j)
В случае б путь wi при i ^ C* и путь ui при i ф C* определим так же, как в случае а, за исключением того, что конечные вершины путей могут, в частности, принадлежать H. В W(Г) для i ф С* U С'* содержится хотя бы один из путей wi и ui. В соответствии с (20)-(23) при i ф C* U С;*
dist(i,H) ^ min{len(wi), len(ui)} + max{p(z, H),p'(z/,H)},
при i G С * U С/* оценка dist (i, H) ниже этой. При любом i ф С * U С/* по определению путей wi и ui
min{len(wi), len(ui)} ^ n — l — A + h,
p(z, H) ^ l — h, p/(z/,b/) ^ A — h. Тогда независимо от того, какие из путей wi, ui содержатся в W(Г), для любого i G {1,... , n} верна оценка
t2(i, j) = 0, если i = j = a; t2(i, j) = len[a, j], если i = a, j = a; t2(i, j) = len[i,a], если i = a,j = a; t2(i, j) = len[i,a] + len[a, j], если i = a, j = a.
(35)
(36)
(37)
(38)
dist (i, H) ^ n — A.
(40)
Пусть w* — кратчайший путь от контура С до j (у — начальная вершина) при j G C* U C'*, не проходящий через вершины из C'*, за исключением, быть может, начальной вершины, и u* —кратчайший путь от контура С' до j (у; — начальная вершина), не проходящий через вершины контура С, за исключением, быть может, начальной вершины. В W(Г) содержится хотя бы один из путей w* и u*. Значит, для
j G С * U С '* и для любого a G H выполнено
len[a,j] ^ max{p(a,y) + len(w*),p;(a,у;) + len(u*)}
(при j G С * U С '* и любом a G H оценка len [a, j ] ниже этой), где по определению путей
w* и u*
len(w*) ^ n — l — Л + h, len(u*) ^ n — l — A + h,
и p(a,y) ^ l — 1, p'(a,y;) ^ A — 1. Отсюда, независимо от того, какие из путей w*, u* содержатся в W(Г), получаем для любого j G {1,... , n} и любого a G H
len [a, j] ^ n — A + h — 1. (41)
Из формул (35)-(38) следует, что для любых i, j G {1,... , n}
t2(i,j) ^ dist(i,H) +max{len[a,j]},
aEH
где наибольшее значение оценки достигается при i,j G H (см. рис. 2). В остальных случаях оценка t2(i, j) ниже этой. Следовательно, используя оценки (40) и (41), получаем
max t2 (i, j) ^ 2n — 2Л + h — 1.
(ij)
Из этой оценки и из (39) получаем оценку теоремы 1,б. ■
Следствие 1. Для любого примитивного n-вершинного орграфа Г при n > 2 верно:
а) если циклы С и С1 не имеют общих вершин, то
n + 1 2
n + 1 2
^ n2/4 + n/2 + 1/4;
б) если циклы С и С1 имеют h общих вершин, где 1 ^ h ^ Л, то
n + h + 2 . 2 .
n + h + 2' 2
— 2h — n ^ n2 — 2n + 2.
Доказательство.
а) По теореме 1,а exp Г ^ ^(n, l, A), где ^(n, l, A) = lA — 2l — 3A + 3n. Заметим, что ^(n, l, A) — ^(n, l, A — 1) > 0 при любых допустимых n, l. Так как A ^ n — l, то
exp Г ^ ^(n, l, n — l) = (n + 1 — l)l,
г n +1
где произведение (n — l + 1)l принимает наибольшее значение при l = —2—
б) По теореме 2,б exp Г ^ <^(n, l, A, h), где <^(n, l, A, h) = lA — l — 3A + h + 2n. Заметим, что функция <^(n, l, A, h) монотонно возрастает по переменной A при любых допустимых n, l, h. Так как A ^ n — l + h, то
exp Г ^ <^(n, l, n — l + h, h) = (n + h + 2 — l)l — 2h — n,
где выражение (n + h + 2 — l)l — 2h — n принимает наибольшее значение при l =
I" n + h + 21 = 2 '
Заметим, что функция <^(n, l, n — l + h, h) монотонно возрастает по переменной h при любых допустимых n, l и возрастает по переменной l при любых допустимых n, h. Отсюда следует абсолютная оценка Виландта для примитивных n-вершинных орграфов exp Г ^ <^(n, n, n — 1, n — 1) = n2 — 2n + 2. ■
При n > 2 (при n = 2) n-вершинным графом Виландта назовем орграф, состоящий
из гамильтонова контура C, к которому добавлена дуга (i, j), где p(i, j) = 2 (петля (i,i)), i Є {1,... , n}. Множество n-вершинных графов Виландта обозначим Г^(n).
Теорема 2. При любом n > 1 множество TW(n) состоит из n! изоморфных графов; абсолютная оценка Виландта достигается на графах Виландта, и только на них. Для остальных примитивных n-вершинных орграфов Г верна оценка, достижимая при
l = n, A = n — 2, где n > 3 и нечетное:
exp Г ^ n2 — 3n + 4.
Доказательство. В силу определения множество TW(n) инвариантно относительно любой перенумерации вершин, следовательно, Tw(n) состоит из n! изоморфных графов, экспоненты которых одинаковы.
Пусть граф Г состоит из гамильтонова контура C = (1, 2,...,n) ик дугам контура C добавлена дуга (n— 1,1). Тогда граф Г есть объединение контура C длины n и простого контура C' = (1, 2,...,n — 1) длины n — 1. Следовательно, по теореме 1,б граф Г примитивен и exp Г оценивается сверху величиной <^(n, n,n — 1,n — 1) = n2 — 2n + 2. Покажем, что exp Г = n2 — 2n + 2.
В Г всякий путь w из n в n состоит из р-кратно пройденного контура C и q-кратно пройденного контура C', где р — натуральное, q — целое неотрицательное. Тогда в Г не имеется пути из n в n длины (n — 1)2 в силу неразрешимости относительно р и q уравнения pn + q(n — 1) = (n — 1)2. Следовательно, по утверждению 3,в exp Г > (n — 1)2, т. е. exp Г = (n — 1)2 + 1 = n2 — 2n + 2.
Покажем, что exp Г' < n2 — 2n + 2 для любого n-вершинного примитивного орграфа Г' Є Г^^п). В самом деле, в Г' длина l кратчайшего простого контура не превышает n — 2. Поэтому в соответствии с (1) получаем при l ^ n — 2 оценку теоремы 2. ■
Замечание 1. Известно, что имеются натуральные числа, меньшие n2 — 2n + 2 и не являющиеся значениями экспонента какого-либо n-вершинного орграфа. Эти числа образуют так называемые «лакуны», т. е. пропуски в натуральном ряду чисел. Например, первыми были обнаружены (авторами A. L. Dulmage, N. S. Mendelsohn) «лакуны» вида [n2 — 3n + 5, (n — 1)2] и [n2 — 4n + 7, n2 — 3n + 2]. В дальнейшем эти результаты были обобщены.
3. Оценки экспонентов неориентированных графов
Для неориентированного цикла C длины l > 2 и для i, j Є C* обозначим через c(i, j) кратчайший путь от i до j, составленный только из ребер цикла C, где c(i,i) = w0, и через y(i,j) —путь от i до j, дополняющий путь c(i,j) до полного цикла C. При нечетном l длины путей c(i, j) и y(i, j), равные соответственно p(i, j) и l — p(i, j), имеют различную четность, при этом p(i, j) < l — p(i, j).
Для цикла С/ длины 2 с начальной вершиной a обозначим: q ■ 2(a) = q ■ ^(a), q — целое неотрицательное.
Утверждение 5. Пусть l нечетное, q = (l — 1 — 2p(i, j))/2 и z(i, j) = c(i, j)• q■ 2(j), где i, j G С*, тогда
len(y(i,j)) — len(z(i,j)) = 1
Доказательство. По определению q ■ 2(j) —цикл длины 2q с начальной вершиной j, где по условию q — целое неотрицательное. Тогда c(i, j) • q ■ 2(j) есть путь от i до j длины p(i, j) + 2q, т. е.
len(z(i,j)) = p(i,j) + 2q = l — 1 — p(i,j).
Вместе с тем по определению len(y(i, j)) = l — p(i, j) = len(z(i, j)) + 1. ■
Обозначим через е(С) эксцентриситет цикла С в неориентированном графе Г/, т. е. е(С) = maxdist[i, С] = max{minlen[i, j]}.
ia/C i^/C jaC
Теорема 3.
а) Пусть n > 1 , l — длина длиннейшего простого цикла С нечетной длины в примитивном n-вершинном графе Г/, 1 ^ l ^ n. Тогда
exp Г/ ^ 2е(С) + l — 1 ^ 2n — l — 1.
б) Если простые циклы нечетных длин покрывают множество вершин графа Г/, то
exp Г/ ^ n — 1.
Доказательство.
а) Каждая вершина графа Г/ принадлежит хотя бы одному циклу длины 2, поэтому в соответствии с утверждением 4 для получения оценки exp Г ^ t достаточно для любых i, j G {1,... , n} построить (t, 2)-множество путей из i в j.
При n > 2 обозначим: С — простой цикл нечетной длины l/ > 2 в графе Г/ (рис. 3); a и b — конечные вершины кратчайших путей от цикла С соответственно до i и до j, где i, j ф С*, a, b G С*. Определим пути u(i, j) и v(i, j) из i в j:
u(^ j) = z(^ j),v(i,j) = У(^ j), если i,j G С*;
u(i,j) = [i,a] • z(a,j),v(i,j) = [i,a] • y(a,j) если i ф G С*;
u(i,j) = z(i,b) • j) = y(i,b) • [b,j], если i G С*,j G С*;
u(i,j) = [i,a] • z(a,b) • [b,j],v(i,j) = [i,a] • y(a,b) • [b,j], если i,j ф С*.
Тогда пара путей (u(i, j),v(i, j)) в соответствии с утверждением 5 образует (t(i, j), 2)-множество путей из i в j при любых i, j G {1,... , n}, где
t(i,j) =l/ — p(i, j) — 1, если i,j G С*; t(i, j) = len[i,a] + l/ — p(a, j) — 1, если i ф С*, j G С*; t(i, j) = l/ — p(i, b) — 1 + len[b, j], если i G С*, j G С*; t(i, j) = len[i, a] + l/ — p(a, b) — 1 + len[b, j], если i, j G С*.
В соответствии с определением max{len[i,a],len[b, j]} ^ е(С) ^ n — l/ при всех i, j G С* и p(a, b) ^ 0 при всех a, b G С*. Значит, t(i,j) ^ 2е(С) + l/ — 1 ^ 2n — l/ — 1 при
любых € {1,... , п}, т. е. ехрГ ^ 2е(С) + /' — 1 ^ 2п — /' — 1. Так как рассмотрен произвольный простой цикл нечетной длины > 2, то получаем оценку теоремы 3,а.
Рис. 3. Цикл C в неориентированном графе
Если n > 1 и l = 1, т. е. в Г/ имеется петля в вершине a и не имеется циклов нечетной длины l/ > 2, то пути u(i, j) и v(i, j) из i в j определим так:
u(a, a) = 2 ■ (a, a), v(i, j) = (a, a); u(i, a) = [i, a] • (a, a), v(i, a) = [i, a], если i = a;
u(a,j) = (a,a) • К jj) = [a,j], если j = a; u(i,j) = [i,a] • (a,a) • [a, j],v(i,j) = [i,a] • К j], если i = a,j = a.
Пара путей (u(i, j), v(i, j)) в соответствии с утверждением 5 образует (t(i, j), 2)-множество путей из i в j при любых i,j G {1,...,n}, где t(a,a) = 1, max{t(i,a), t(a, j)} ^ n — 1 при i = a, j = a и t(i, j) ^ 2n — 2 при i = a, j = a. Следовательно, t(i, j) ^ 2n — 2 при любых i, j G {1,... , n}, т. е. exp Г/ ^ 2n — 2 при n > 1. Эта оценка совпадает с оценкой 2n — l — 1 теоремы 3,a при l = 1.
б) При условиях теоремы 3,б i G С*, где С — простой цикл нечетной длины li и С* —блок покрытия множества вершин, i G {1,...,n}. Пусть b — концевая вершина кратчайшего пути от цикла С до j, где b G С*. Тогда (t(i, j), 2)-множество путей из i в j при любых i, j G {1,... , n} образовано путями u(i, j) и v(i, j) из i в j, где при n > 2
u(i,j) = z(i,j),v(i,j) = y(i,j), если j G С*; u(i,j) = z(i,b) • [b,j],v(i,j) = y(i,b) • [b,jLесли j G С*
Отсюда, обозначая через pi расстояния на цикле С^ i G {1,... , n}, получаем
t(i,j) = li — Pi(i, j) — 1 если j G С*; t(i, j) = li — pi(i,b) — 1 + len[b, j], если j G С*.
В соответствии с определением len[b, j ] ^ n — li при всех j G С * и pi(i,b) ^ 0 при всех b G С*. Отсюда t(i, j) ^ n — 1 при любых i, j G {1,... , n}, т. е. exp Г/ ^ n — 1 при n > 2. Теорема доказана. ■
Если n = 2, то при условиях теоремы 3,б граф Г/ полный, следовательно, exp Г/ = 1. При l = 1 из теоремы 3,а получаем известную оценку для связных графов с петлей. Следствие 2. Для любого примитивного n-вершинного графа Г/ имеет место exp Г/ ^ 2n — 2.
Обозначим через Гр(n) множество примитивных n-вершинных графов, состоящих из гамильтонова пути w и петли, инцидентной одной из концевых вершин.
Теорема 4. При любом n > 1 множество ГР (n) состоит из n! изоморфных графов; абсолютная оценка 2n — 2 достигается на графах из Гр (n), и только на них.
Доказательство. Из определения множества Гр (n) следует, что оно инвариантно относительно любой перенумерации вершин, следовательно, Гр(n) состоит из n! изоморфных графов. По следствию теоремы 3 exp Г' ^ 2n — 2 для любого графа Г' G Гр (n).
Пусть граф Г' состоит из гамильтонова пути P = (1, 2,... , n) и петли (n, n). Тогда пути из 1 в 1 нечетной длины 2n — 3 не существует. Значит, в соответствии с утверждением 3,в exp Г' = 2n — 2.
Покажем, что на связном графе Г, не принадлежащем Гр(n), оценка 2n — 2 не достигается. В силу теоремы 3,а абсолютная оценка 2n — 2 достижима только на связном графе Г с петлей, не имеющем циклов нечетной длины l > 1.
Пусть Г — гамильтонов цикл (1, 2,... , n) с петлей в вершине i, где i G {1,... , n}, или гамильтонов путь с петлей в вершине i, где 1 < i < n, тогда e(i) ^ n — 2.
Пусть Г не есть гамильтонов путь или цикл, т. е. содержит, кроме петли в вершине i, где i G {1,... ,n}, вершину r степени выше 2. Кратчайший путь [i, j] при i = j либо проходит, либо не проходит через вершину r. Тогда в первом случае len[i, j] ^ len[i, r] + +len[r, j] ^ n — 2, так как кратчайшие пути [i,r] и [r,j] не содержат общих вершин, кроме r (иначе кратчайший путь [i, j] не проходит через r), и содержат не более двух вершин, смежных с r. Во втором случае len[i, j] ^ n — 2, так как путь [i, j] не содержит вершину r. Следовательно, e(i) ^ n — 2, если Г G Гр (п),ипо теореме 3, a expT ^ 2n — 4. Теорема доказана. ■
ЛИТЕРАТУРА
1. Биркгоф Г. Теория решёток. М.: Наука, 1984.
2. Сачков В. Н., Тараканов В. Е. Комбинаторика неотрицательных матриц. М.: ТВП, 2000.
3. Wielandt H. Unzerlegbare nicht negative Matrizen // Math. Zeitschr. 1950. No. 52. P. 642-648.
4. Берж К. Теория графов и её применение. М.: ИЛ, 1962.
