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

2016 Прикладная теория графов №4

УДК 519.17

О ПРИМЕНЕНИИ УСЛОВИЙ ЛОКАЛЬНОЙ ПРИМИТИВНОСТИ И ОЦЕНОК ЛОКАЛЬНЫХ ЭКСПОНЕНТОВ ОРГРАФОВ

С. Н. Кяжин

Национальный исследовательский ядерный университет «МИФИ»,г. Москва, Россия Центр специальных разработок МО РФ, г. Москва, Россия

В развитие матрично-графового подхода к исследованию перемешивающих свойств итеративных преобразований С.Н. Кяжиным, В.М. Фомичевым были введены понятия локальной примитивности и локального экспонента орграфа, обобщающие известные понятия примитивности и экспонента и позволяющие расширить область приложений, и получены универсальный критерий i х j-прими-тивности и универсальная оценка i х j-экспонента орграфа. Однако применение данных результатов не всегда удобно, так как затруднено общностью математической модели. В данной работе для различных классов орграфов, определяемых взаимным расположением компонент сильной связности и их строением, получены условия i х j-примитивности и оценки (в ряде случаев точные значения) i х j-экспонента, улучшающие универсальную оценку. Условия локальной примитивности и величина оценок локальных экспонентов определяются свойствами множества длин путей из i в j в перемешивающем орграфе, а также длинами контуров, содержащихся в компонентах сильной связности, через которые проходят данные пути. Полученные результаты значительно упрощают для исследователя распознавание локальной примитивности и получение оценок локальных экспонентов конкретных перемешивающих орграфов преобразований, возникающих, в том числе, в криптографических приложениях.

Ключевые слова: локальная примитивность, локальный экспонент, орграф, компонента сильной связности.

DOI 10.17223/20710410/34/7

ON ADAPTATION OF DIGRAPH LOCAL PRIMITIVENESS CONDITIONS AND LOCAL EXPONENT ESTIMATIONS

S. N. Kyazhin

National Research Nuclear University MEPhI (Moscow Engineering Physics Institute), Moscow,

Russia

Special Development Center of the Ministry of Defence of the Russian Federation, Moscow,

Russia

E-mail: s.kyazhin@kaf42.ru

For vertices i and j in a digraph Г, the last is called i х j-primitive if for some 7 £ N and any integer t ^ 7, there is a path of length t from i to j in Г. The least such 7 is called i х j-exponent of Г and is noted as i х j-expT. Because of mathematical model generality, it is not always easy to use the universal criterion of digraph i х j -primitiveness and the universal estimation of digraph i х j-exponent obtained by

S. N. Kyazhin and V. M. Fomichev. In the paper, some criteria of digraph i x j-primitiveness and an estimations of digraph i x j-exponent in two special cases are given.

For vertices i and j being achievable from each other, that is, belonging to a strongly connected component U, the graph Г is i x j-primitive if and only if U is primitive. If Г is i x j-primitive, then i x j-expT < u(r - 1) + G(C) + p(i, U7(C)) + 0(U7(C), j) -

r

— S (1s + (s — 2)As) + 1, where u is the number of vertices in U; C is a primitive

s=1

system of k directed cycles in U of lengths 11,... , lk; U((C) is the set of vertices of digraph U(C) = U C which contains r connected components, r ^ k; As is the sum

с eC

of lengths of directed cycles in the s-th connected component in U((C), s = 1,..., r; G(C) = g(11,..., lk) is Frobenius number; p(i, J) is the least distance between i and a subset J of vertices; 0(J, j) is the least distance between J and j. For i not being achievable from j, the graph Г is i x j-primitive if and only if for some d e N and subset P of the set of paths from i to j, the set spc P is d-full, and for some a e Z, spc W(i, j) 5 spc P + Z(a, d), where spc W(i, j) is the set of path lengths from i to j; spc P is the set of path lengths in P; d-full set is the complete residue system modulo d; Z(a, d) = {z e Z : z = a + kd, k e N}; spc P + Z(a, d) = {ж + y : (ж, y) e e spcP x Z(a, d)}. If Г is i x j-primitive, then i x j-expT ^ {d(spcP) + a + d, where £d(spcP) is the minimal number in N such that, for all a e {{d(spcP),{d(spcP) + 1, ..., £d(spc P) + d — 1}, there is b e spc P that b ^ a and b is congruent to a modulo d. By means of the result the derivation of i x j-primitiveness conditions and i x j -exponent estimations for various classes of digraphs is reduced to the estimation of appropriate numbers a and d. The results simplify local primitiveness recognition for concrete mixing digraphs of cryptographic transformations.

Keywords: ixj-primitiveness, ix j-exponent, digraph, strongly connected component.

Введение

Будем использовать следующие обозначения:

— N — множество натуральных чисел;

— No = N U {0};

— Nra = {1,...,n};

— Z — множество целых чисел;

— Zd — кольцо вычетов по модулю d, d e N;

— gcd(a1,... , an) —наибольший общий делитель натуральных чисел а1,... , an;

— lcm(a1,..., an) —наименьшее общее кратное натуральных чисел а1,..., an;

— (i,j) —дуга в орграфе Г, инцидентная вершинам i и j;

— [i, j] —путь в орграфе Г из вершины i в вершину j;

— (i, j) —кратчайший путь в орграфе Г из вершины i в вершину j;

— tC(i) — t-кратно пройденный контур C, начиная из вершины i;

— W(i, j) —множество путей в орграфе Г из i в j;

— P(i, j) —множество простых путей в орграфе Г из i в j;

— • —операция конкатенации путей в орграфе;

— len w — длина пути w в орграфе Г, равная числу дуг, составляющих путь;

— spc W = {len w : w e W};

— spcdW = {len w mod d : w e W}, d e N;

— spcdW = Zd \ spcdW, d e N;

— U — множество вершин орграфа U.

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

1. Определяющие свойства локально примитивных орграфов

Рассмотрим n-вершинный орграф Г и напомним основные определения [1]. Пусть I, J С Nn. Орграф Г называется I х J-примитивным, если существует такое y £ N, что для любых (i, j) £ I х J и любого t ^ y в Г имеется путь длины t из i в j. Наименьшее такое y называется I х J-экспонентом, или локальным экспонентом орграфа Г, обозначается I х J-expГ (кратко yixj или YiXj в случае I = {i}, J = {j}).

Из определения локальной примитивности следует:

1) если Г является I х J-примитивным, то W(i, j) = 0 для любых (i, j) £ I х J;

2) орграф Г является I х J-примитивным тогда и только тогда, когда Г является

i х j-примитивным для любых (i, j) £ I х J, при этом Yi xj — max Yixj.

(i,j)ei x j

В орграфе Г компонента сильной связности (ксс) U называется i, j-связывающей (кратко i, j-ксс), если в U найдётся вершина, через которую проходит некоторый путь из W(i, j). Будем говорить, что путь w:

1) проходит через контур, если он проходит через все дуги контура один или более раз;

2) касается контура, если он не проходит через контур, но проходит через некоторую вершину контура один или более раз;

3) проходит через систему контуров, если он проходит через каждый контур этой системы один или более раз.

Пусть w = (io, ii,..., it) — простой путь в орграфе Г. Путь

e(w) = C0(io)  (io, ii)  C1(ii) ...  Ct-i(it-i)  (it-i, it)  Ct(it),

где Ci(j) —контур (возможен пустой контур длины 0) в графе Г, l = 0,1,...,t, называется расширением пути w. Контуры C0(i0), Ci(ii), ..., Ct(it) называются расширяющими путь w. Дуги пути w являются дугами пути e(w) и порядок их следования сохраняется. Таким образом, каждый непустой контур, расширяющий путь w £ P(i, j), является частью некоторой i, j-ксс. Расширение e(w) пути w £ P(i, j), проходящее через непустую подсистему системы контуров C, называется C-расширением пути w.

Утверждение 1.

а) Если орграф i х j-примитивный, то он содержит i, j-ксс [2].

б) Любой путь из W(i, j) есть расширение некоторого пути из P(i, j) [1].

В соответствии с утверждением 1, а свойство i х j-примитивности орграфа определяется бесконечным множеством чисел spc W(i, j). В силу утверждения 1, б его можно описать с помощью конечного множества spc P(i, j) и длин контуров, содержащихся в i, j-ксс.

Пусть U^ = (Ui,... , Ur) —последовательность ксс орграфа Г, r £ N. Обозначим us — множество вершин в ксс Us; ds — наибольший общий делитель длин всех простых

контуров, содержащихся в ксс Us, s = 1,... , r. Последовательность U^ назовем ксс-цепью длины r, если из вершин ксс Us-i достижимы вершины ксс Us, s = 2,..., r, при этом ксс Ui, ..., Ur называются звеньями ксс-цепи U^. Спецификацией ксс-цепи U ^ назовём набор (ui ,...,ur) £ Nr. Индексом ind U ^ ксс-цепи U ^ назовём число d = gcd(di,..., dr). Назовём U^ ксс-подцепью ксс-цепи Z^ и обозначим U^ ^ Z^ (U^ < Zесли каждое звено ксс-цепи U^ есть звено ксс-цепи Z^ (и U^ = Z В частности, ксс-цепь может быть цепью простых контуров.

В орграфе Г ксс-цепь U^ назовём i, j-связывающей (кратко i, j-ксс-цепью), если из вершины i достижима ксс Ui и из ксс Ur достижима вершина j. Если U^ есть i, j-ксс-цепь, то и любая её ксс-подцепь является i, j-ксс-цепью. Назовём i, j-ксс-цепь плотной, если не существует такой i, j-ксс-цепи Z^, что U^ < Z^.

Наряду с i,j-ксс-цепями рассмотрим системы контуров в орграфе Г, через которые проходят пути из i в j. Пусть C = {Ci,..., Cfc} — система простых контуров длин li,...,lfc соответственно. Индексом ind C системы контуров C назовём число d = gcd(li,... ,lk).

Утверждение 2 [1, теорема 2б]. Пусть путь w £ P(i, j) в орграфе Г проходит через i, j-ксс-цепь, содержащую систему контуров C индекса d, тогда

len e

для любого C-расширения e(w) пути w.

При r > 1 множество ксс U = {Ui,..., Ur} орграфа Г назовём ксс-антицепью порядка r, если из любой ксс множества U недостижимы вершины любой другой ксс множества U. Спецификацией ксс-антицепи U назовём набор (ui,...,ur). Индексом ind U ксс-антицепи U назовём число d = lcm(di,... , dr). Назовём ксс-антицепь i,j-связывающей в Г (кратко i, j-ксс-антицепью), если Us есть i, j-ксс, s = 1,... , r.

2. Условия локальной примитивности и оценки локального экспонента

Получим условия i х j-примитивности и оценки i х j-экспонентов орграфа в следующих случаях:

— вершины i, j взаимно достижимы;

— вершины i, j не принадлежат общей ксс и Г содержит

— i,j-ксс-цепь;

— i,j-ксс-антицепь.

2.1. Вершины i и j взаимно достижимы

Пусть U — ксс орграфа Г с множеством вершин порядка u.

Утверждение 3. Если i, j £ U, то i х j-примитивность ксс U и i х j-примитив-ность орграфа Г равносильны примитивности ксс U.

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

Достаточность следует из определения примитивности орграфа.

Необходимость. Пусть орграф Г (ксс U) является iх j-примитивным при некоторых i, j £ U. Тогда в Г имеется путь wt £ W(i, j) длины t при любом t ^ YiXj. Отсюда для любых вершин а, в ксс U имеется путь [а, в ] = [a,i]-wt  [j, в ] длины len (а, i)+t+len(j, в) при любом t ^ YiXj. Следовательно, ксс U примитивная, так как в U любая вершина достижима из любой за t шагов при любом t ^ YiXj + 2d, где d — диаметр ксс U.

Обозначим g(li,... , lk) — число Фробениуса, где gcd(li,... , lk) = 1 (при k > 1 наибольшее число, не принадлежащее аддитивной полугруппе (li,...,lk), порождённой натуральными взаимно простыми числами li,...,lk; g(1) = -1).

Утверждение 4. Если gcd(/1, ... ,/д) = то для любого £ € N существуют такие целые неотрицательные числа а1,..., , что а1/1 + ... + = ..., +

Доказательство. Поскольку gcd(/1, ) = то gcd(/1 /d,...,/h= 1. По определению числа Фробениуса любое натуральное число, большее д(/1/^,..., есть линейная комбинация чисел ..., с некоторыми целыми неотрицательными коэффициентами а1,..., ад. Значит, подбирая данные коэффициенты, можно для любого £ € N получить равенство а1/1 + ... + ад= ..., +

Для непустой системы простых контуров (7 = {¿1,... , СД} длин /1,..., соответственно обозначим С(С') = ..., где d = ^ С.

В примитивной ксс и имеется [3, с. 226] система контуров (7 = {С1,...,Сд}, где /1 < ... < /д, ind С = 1. Получим оценку локального экспонента с использованием системы контуров С.

Рассмотрим орграф и ((С) = С1 и ... и СД (не обязательно связный), являющийся частью орграфа и. Обозначим: С8 — компонента связности орграфа и (С); Л8 — сумма длин контуров системы С, образующих С8, 5 = 1,... , г, где 1 ^ г ^ к, Л1 ^ ... ^ ^ Лг; р(г, 3) — кратчайшее расстояние от вершины г до некоторой вершины множества вершин 3; 0(/, ]) — расстояние достижимости вершины ] из любой вершины множества вершин I.

Следствие 1. Если ксс и примитивная, то для г,^ € и

Ъ*з < и(г - 1) + С((7) + р(г, и(С) + ^(¿О,^) - Е& + (5 - 1)Лв) + 1.

8=1

Доказательство. По утверждению 3 орграф Г является г х ^'-примитивным, так как ксс и примитивная. Оценку ^^^ получим с помощью уточнения универсальной оценки В. М. Фомичева экспонентов орграфов [4, теорема 1]:

ехр и ^ и(г + 1) + д(/1,..., /д) - Е & + (« - 1)Лв).

8=1

При доказательстве этой оценки построены пути т € Ш(г,вида

w = (¿,«1)  [аьаг]  (а, ),

где (г, а1) и (аг, ]) — кратчайшие пути в и соответственно от вершины г до ближайшей вершины а1 орграфа и(¿7) и от некоторой вершины аг орграфа и(¿7) до вершины . При этом использованы оценки 1еп (г, а 1) ^ и - Л1 -... - Лг и 1еп (аг, ]) ^ и - 1, которые в данном случае можно заменить на более точные оценки 1еп( г,а1) ^ р(г,[/(С)) и 1еп(аг, ) ^ 0([/((7),^'). Следовательно, приведённая оценка верна.

Следствие 2. Если ксс и примитивная и орграф и(¿7) связный, то для г, € и

Тгх,- ^ С(С') + р(г, ^С7)) + ^(С7),,?) + Е /^ + 1.

8=2

Доказательство. В оценке следствия 1 следует положить г = 1.

2.2. Вершина г недостижима из вершины ^

Без ущерба для общности положим, что вершины г, ^ не принадлежат г, ^-ксс.

Пусть d € N 0 = У С Множество У, содержащее полную систему вычетов по модулю d, называется d-полным.

Замечание 1. d-Полнота множества равносильна d-полноте некоторого его подмножества.

Для d-полного множества Y обозначим £d(Y) —наименьшее натуральное число, такое, что для всех а £ {£d(Y),£d(Y) + 1,..., £d(Y) + d — 1} в Y имеется число b ^ а, сравнимое с а по модулю d (в частности, Ci(Y) = min Y); Yd — наименьший d-трансвер-сал множества Y, то есть подмножество, состоящее из наименьших чисел множества Y, образующих полную систему вычетов по модулю d.

Лемма 1. Для d-полного множества Y выполнено: Cd(Y) = max Yd — d +1.

Доказательство. Пусть а = max Yd. По определению множества Yd для любого а £ {а, а — 1,... , а — d +1} в Y имеется число b ^ а, сравнимое с а по модулю d. Отсюда Cd(Y) ^ а — d +1. Вместе с тем все числа, меньшие а и сравнимые с а по модулю d, не принадлежат Y. Значит, £d(Y) > а — d. Следовательно, £d(Y) = а — d + 1.

Для подмножеств X, Y С Z определим X + Y = {x + y : (x, y) £ X x Y}. При а £ Z обозначим Y(а, d) подмножество чисел из Y, сравнимых с а по модулю d и превышающих а, то есть Y(а, d) = {y £ Y : y = а + kd, k £ N}.

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

Лемма 2. Орграф Г является i x j-примитивным тогда и только тогда, когда при некотором d £ N множество spc P(i, j) является d-полным и при некотором а £ Z

spc W

Если P С P(i,j), множество spc P является d-полным при некотором d £ N и spc W(i, j) D spc P + Z^, d) при некотором а £ Z, то орграф Г является i x j-примитивным и YiXj ^ £d(spc P) + а + d. Эта оценка достигается, если

spc W

Доказательство. Необходимость. Если Г является i x j-примитивным, то при некотором y £ N для любого t ^ y в W(i, j) имеется путь длины t. Тогда в соответствии с принятыми обозначениями

spc W

Отсюда множество spc P(i,j) является d-полным при некотором d £ N, поскольку в противном случае spc P(i, j) при некотором b £ Zd не содержит чисел, сравнимых с b по модулю d, тогда в силу утверждений 1, б и 2 в орграфе Г не существует пути w £ W(i, j), длина которого сравнима с b по модулю d, что противоречит (1). Тогда с учётом (3) включение (1) верно при а = y — d — /о, где /о —длина кратчайшего пути w £ W(i, j).

Достаточность докажем для любого d-полного подмножества P С P(i, j). Пусть spc W(i, j) D spc P + Z^,d) при некоторых d £ N и а £ Z. Тогда множество spc W(i, j) также является d-полным и содержит все натуральные числа t ^ Cd (spc P) + а + d. Значит, орграф Г является i x j-примитивным и YiXj ^ Cd(spc P) + а + d.

Точность оценки. Пусть верно (2) и Cd(spc P(i,j)) = p. Если в Г имеется путь w £ W(i, j) длины p + а + d — 1, то (p — 1) £ spcP(i, j) в силу (2), что противоречит равенству Cd(spc P(i, j)) = p. Следовательно, YiXj = Cd(spc P(i, j)) + а + d.

Пусть далее С = {С,... , С} —непустая система простых контуров длин /1,... ,/д соответственно, /1 <...</&.

Рассмотрим ксс и с множеством вершин порядка и, содержащую систему (7. В общем случае граф и((7) имеет несколько компонент связности, обозначим их и1((7), ..., ит(С), т ^ к. В [4] показано:

1) в компоненте связности и4(С) имеется контур ^ длины Л4, проходящий через подсистему всех контуров из С, принадлежащих компоненте связности и4(С), * = 1,... , т;

2) длина Л4 контура ^ равна сумме длин всех контуров из С, принадлежащих компоненте связности и4(С), £ = 1,... , т;

3) в ксс и имеется контур Z(и, С), проходящий через систему контуров С, где

1еп Z

4=1

и Л1 ^ ... ^ Лт. С помощью этих результатов оценим локальные экспоненты графов.

Случай 1. Г содержит г, ^'-ксс-цепь.

Пусть г, -ксс-цепь и^ = (и1,... , иг), имеющая спецификацию (и1,... , ), содержит систему контуров С, где С8 — подсистема контуров системы С, принадлежащих

ксс ив, 5 = 1,..., г, 1 ^ г ^ к. Обозначим £(и^, С) = Е 1еп Z(ив, С75).

8=1

Путь т Е Р(г,^) назовём ассоциированным с системой С, если т проходит через все ксс, содержащие контуры из С. Подмножество путей из Р(г,), ассоциированных с системой контуров С, обозначим Р^,(г,).

Лемма 3. Пусть в орграфе Г имеется г,-ксс-цепь исодержащая систему контуров С индекса тогда яре Ж(г,^) ^ яре Р^,(г,^) + Z(a,d), где

а = С

Доказательство. Пусть т € Р^(г,). Тогда С-расширение е(т) пути т пред-ставимо в виде

е(т) = [г, «1]  Z1 («1)  [«1, «2]  Z2(«2)  [«2, аз]  ...  [аг-Ь аг]  Zr(аг)  [аг, Л,

где а8 — вершина ксс и8, через которую проходит путь т; ZS — контур в ксс и8, проходящий через контуры системы С8 некоторое число раз, в = 1,... , г. Пусть без ущерба для общности С1 = {С1,... , Ст}, т ^ к, и проходит через контуры а1,... , ат раз соответственно. Тогда 1еп = а1/1 + ... + ат/т + 1еп Z(и1, С1) и

Г Г л.

Е 1еп ZS = а^ + ... + ^ + Е 1еп Z(Ц,, С).

8=1 8=1

Поскольку §ей(/1,... , ) = по утверждению 4 для любого * Е N имеются такие а1,... , € N0, что а1/1 +... + = ... , + = С(С7) + Таким образом,

длина С-расширения е4(т) пути т для любого * Е N при подходящих а1,... , ад равна

1еп е4(ш) = 1еп т + Е 1еп ZS = 1еп т + С(<7) + Ь(и ^,<7) +

8=1

Следовательно, для любого £ € N имеется расширение еДи) пути и € Р^(г, 3) длины 1еп и + а + Учитывая утверждение 1, б, получаем

яре Ж (г, 3) 3 яре Р^, (г,3) + а + ^М,

то есть лемма верна.

Теорема 1. Если в орграфе Г имеется г, 3-ксс-цепь исодержащая систему контуров С индекса и множество яре Р^(г,3) является ^-полным, то Г является г х 3-примитивным и ^ £й(вреР^,(г,3)) + а + где а определяется (5).

Доказательство. Следует из лемм 2 и 3.

Итак, получены достаточное условие г х 3-примитивности орграфа Г, содержащего г,3-ксс-цепь (наличие других г,3-ксс возможно), и оценка г х 3-экспонента в этом случае. Для некоторых частных случаев получим критерий г х ^'-примитивности и уточним оценку г х ^'-экспонента.

Пусть и—единственная плотная г,3-ксс-цепь в орграфе Г, то есть любая ксс, через которую проходит путь из Р(г,3), содержится в и'^ (рис. 1). Обозначим П(и'^) — множество всех непустых подцепей цепи и

Рис. 1. г, 3-ксс-цепь и= ..., иг)

Следствие 3. Если и'^ —единственная плотная г,3-ксс-цепь в орграфе Г, то Г является г х 3-примитивным тогда и только тогда, когда некоторая подцепь и^ € € П(и'^) содержит такую систему контуров (7 индекса что множество яре Р^,(г,3) является ^-полным.

Доказательство. По лемме 3 для любой подцепи и^ € П(ии любой содержащейся в ней системы контуров (7 индекса d справедливо

8реЖ(г,3) 3 йреРс(г,3) +

где а определяется (5). Согласно лемме 2 и замечанию 1, орграф Г является г х 3-примитивным тогда и только тогда, когда для некоторого d множество яре Р^,(г,3) является d-полным.

Рассмотрим случай, когда Г содержит г,-ксс-цепь, обозначаемую и^, звеньями которой являются простые контуры С1, ..., Сг длин ¿1, ..., ¿г соответственно.

Утверждение 5. Если в орграфе Г имеется г,3-ксс-цепь и^ и существует такое подмножество С С и^, что множество яреР^,(г,3) является d-полным, где d = ind(7, то Г является г х 3-примитивным и т^х ^ ^(йре Р^,(г,3)) + С(С) + d.

Доказательство. Пусть к = 2. Любое расширение пути и € яреР^,(г,3) проходит через вершины контуров С1, С2 и представимо в виде

е«1,«2(и) = [г, «1]  а^^)  [аь«2]  а2С2(а2)  [«2,3],

где а8 —вершина контура С8, через которую проходит путь т, в = 1, 2, а1 ,а2 Е N0.

Поскольку й = gcd(/1,/2), по утверждению 4 расширение еа1,а2 (т), обходящее контуры С1 и С2 соответственно а1 и а2 раз, имеет длину 1епт + С(С') + й*, где * Е N. Учитывая утверждение 1,б, яре Ш (г,?) 3 яре Р^, (г, ?) + С(С') + то есть

8Ре Ш

при а = С(С). Поскольку множество яреР^,(г,?) является й-полным, по лемме 2 орграф Г является г х ?-примитивным и 7^ ^ ^(йреР^(г,?)) + С(С') + й.

Обобщение для к > 2 очевидно.

Пусть и^ —единственная плотная г,?-ксс-цепь в орграфе Г, то есть любой контур, через который проходит путь из Р(г,?), содержится в и^ (аналогично рис. 1). Для такого случая аналогично следствию 3 можно получить критерий г х ?-примитивности.

Следствие 4. Если и^ —единственная плотная г,?-ксс-цепь в орграфе Г, то Г является г х ?-примитивным тогда и только тогда, когда существует такое С С и^, что множество яреР^,(г,?) является й-полным, где й = ind С.

Замечание 2. Если и^ —единственная плотная г,?-ксс-цепь в орграфе Г и любой путь из Р(г,?) проходит через все ксс из цепи и^, то множество Р(г,?) совпадает с множеством Р^,(г,?) для любой системы контуров С С и^. В таком случае г х ?-примитивность Г равносильна й-полноте множества яреР(г,?), где й = indU(^.

Пусть для определённости С = и^. Получим точное значение г х ?-экспонента для данного случая.

Следствие 5. Если и^ —единственная плотная г,?-ксс-цепь в орграфе Г и любой путь из Р(г, ?) проходит через все ксс из цепи и^, то в случае г х?-примитивности Г имеет место 7^ = ^(эреР(г,?)) + С(С') + й, где й = ind и^.

Доказательство. Любое расширение е(т) пути т Е Р(г,?) проходит через вершины всех контуров С1,...,СГ и по утверждению 4 имеет длину 1епт + + йд(/1/й,...,/г/й) + й*, где * Е N. Тогда, согласно утверждению 1,б, яреШ(г,?) = = яреР(г,?) + Z(a, й) при а = С(С'). В соответствии с леммой 2 следствие верно.

Пример 1. Рассмотрим орграф Г1, изображённый на рис. 2. Покажем его 1 х 7-примитивность.

Рис. 2. Орграф Г1

В графе имеется единственная плотная 1, 7-ксс-цепь (С1,С2), где С1 = {2, 3,4}, С2 = {5, 6}. Используя введённые обозначения, получим: г = 2, /1 = 3, /2 = 2, й = = gеd(3, 2) = 1, яреР(г,?) = {6}. Поскольку яреР(г,?) является 1-полным, то, согласно следствию 4 (замечанию 2), орграф Г1 является 1 х 7-примитивным, и по следствию 5 имеем 1 х 7-ехрГ1 = д(3, 2) + 1 + ^1(яреР(г,?)) = 8.

Пусть в орграфе Г имеется единственная и-вершинная г,3-ксс и. В общем случае можно воспользоваться теоремой 1 и следствием 3, положив г =1.

Следствие 6. Если в орграфе Г имеется единственная г,з-ксс и, то Г является г х 3 -примитивным тогда и только тогда, когда и содержит такую систему контуров (7 индекса d, что множество яре Р(г,з) является d-полным, при этом ^¿х ^ ^ ^(яре Р(г,3)) + а + d, где

а = С

Получим критерии г х 3 -примитивности и точные значения г х 3 -экспонента для некоторых частных случаев орграфов, содержащих единственную г, 3-ксс и.

Пусть и состоит лишь из контуров системы С. Рассмотрим случай, когда контуры С., С имеют одну общую вершину лишь при £ = 5 + 1, 5 = 1,..., к — 1, и все пути из Р(г,3) проходят через вершины всех контуров С1, ..., Ск. Обозначим такой граф Г(1) (рис.3).

г, С3 С,

Рис. 3. Орграф Г

В графе Г(1) любое расширение пути и € Р(г,з) проходит через вершины всех контуров С1,... , С и по утверждению 4 имеет длину 1еп и + С(С) + dt, где £ € N. Следовательно, критерий г х 3-примитивности и оценка г х 3-экспонента графа Г(1) определяются следствием 4 (замечанием 2) и следствием 5.

Пример 2. Рассмотрим орграф Г2, изображённый на рис. 4. Покажем его 1 х 7-примитивность.

Рис. 4. Орграф Г2

В графе имеется единственная 1, 7-ксс, состоящая из двух простых контуров С1 = = {2, 3}, С2 = {3, 4, 5, 6}. Используя введённые обозначения, получим ¿1 = 2, ¿2 = 4, d = gcd(2,4) = 2, яре Р(г,з) = {5, 6}. Множество яре Р(г,з) является 2-полным, и по лемме 1 £2(яреР(г,з)) = 5. Согласно следствию 4 (замечанию 2), орграф Г2 является 1 х 7-примитивным, и по следствию 5 имеем 1 х 7-ехр Г2 = 2($(1, 2) + 1)+ £2(яре Р(г,з)). Поскольку д(1, 2) = —1, то 1 х 7-ехр Г2 = 5.

Пусть теперь (7 = {( 1, ( 2}, причём контуры имеют одну общую вершину, пути из вершины г в вершины контура ( 2 и из вершин контура ( 2 в вершину 3 проходят через вершины контура ( 1. Обозначим такой граф Г(2) (рис. 5).

С,

Рис. 5. Орграф Г

Следствие 7. Орграф Г(2) является г х 3-примитивным тогда и только тогда, когда множество яреР(г,3) является d-полным, где d = gеd(/1,/2), в случае г х 3-при-митивности = ^(эре Р(г,3)) + С(С') + d + /1.

Доказательство. Пусть а1 — ближайшая к г вершина контура С1, через которую проходит путь и € Р(г,3), тогда и можно представить конкатенацией и = [г,а1]^[а1,3]. Любое расширение пути и проходит через вершины контуров С1 и С2. Расширение еа1,а2(и), обходящее контуры соответственно а1 и а2 раз, а1,а2 € N0, представимо в виде

е«1,«2(и) = [г,«1] • а^^) • («1,^2) • а2«2(«2) • («2,«1) • [«1,3],

где а2 —общая вершина контуров С1 и С2. Поскольку (а1,а2) • (а2,а1) = С1 и d = = gеd(/1, /2), по утверждению 4 расширение ба1,а2 (и) имеет длину 1еп и + С(С) + /1 + dí, £ € N. Таким образом, по утверждению 1,б яре Ш(г,3) = йре Р(г,3) + при а =

= С(С) + /1. Согласно лемме 2 и замечанию 1, следствие верно.

Пример 3. Рассмотрим орграф Г3, изображённый на рис. 6. Покажем его 1 х 6-примитивность.

(2>— —

Т6)

Рис. 6. Орграф Г3

В графе имеется единственная 1,6-ксс, состоящая из двух простых контуров С1 = {2,3}, С2 = {3,4,5}, причём Г3 обладает свойствами графа Г(2). Используя введённые обозначения, получим /1 = 2, /2 = 3, d = gеd(2, 3) = 1, яре Р(г,3) = {2}. Поскольку яре Р(г,3) является 1-полным, согласно следствию 7, орграф Г3 является 1 х 6-примитивным и 1 х 6-ехр Г3 = д(2, 3) +1 + 2 + £1(яре Р(г,3)). Поскольку д(2, 3) = 1, то 1 х 6-ехр Г3 = 6.

Наконец, рассмотрим наиболее простой случай: единственная г, 3-ксс представляет собой один простой контур.

Лемма 4. Если в орграфе Г имеется единственная г,3-ксс, представляющая собой простой контур С длины /, то яре Ш(г,3) = яре Р(г,3) + Ш0.

Доказательство. Любое расширение пути и € Р(г,3) проходит через вершины контура С. Расширение в4(и), обходящее ¿-кратно контур С, представимо как

конкатенация е4(т) = [г,р]  *С(р)  [р,?], где р — вершина контура С, принадлежащая пути т, * Е N0. Отсюда 1еп е4(т) = 1епт + /*, и с учётом утверждения 1,б яреШ(г,?) = яреР(г,?) + /N0.

Следствие 8. Если в орграфе Г имеется единственная г,?-ксс, представляющая собой простой контур С длины /, то Г является г х ?-примитивным тогда и только тогда, когда множество яреР(г,?) является /-полным, в случае г х ?-примитивности 7гх^ = б (йре Р ?)).

Доказательство. Следует из лемм 2, 4.

Случай 2. Г содержит г, ?-ксс-антицепь.

Пусть г,?-ксс-антицепь и = {и1,... , иг} (рис. 7) имеет спецификацию (и1,... ,), 2 ^ г ^ к. Тогда верны разбиения

Ш(г,?) = Ш1(г,?) и ... и Ш(г,?); Р(г,?) = Р(г,?) и ... и Р(г,?),

где Ш8(г,?) (Р8(г,?))—подмножество путей из Ш(г,?) (Р(г,?)), проходящих через ксс и8, в = 1,..., г.

Рис. 7. i, j-ксс-антицепь U = (Ui,..., Ur}

Обозначим: Cs — множество всех простых контуров ксс Us; = ind Cs, s = 1,..., r; 5 = ind P = lcm(di,...,dr); H (P (i,j)) = spcdl (Pi(i,j)) x ... x spcdr (P (i,j));

r / ¿/ds

Ф(/)= U spc P(i,j)+ U (as + ds0}

s=1 \ 0=1

где as определяется (6) при U = Us, C/ = C/s, s = 1,..., r.

Если хотя бы одно из множеств spcds Ps(i, j) является ^-полным, s G Nr, то по теореме 1 орграф Г является i x j-примитивным. В противном случае множество H(P(i, j)) непусто.

Лемма 5 [1]. Для любого (b1,... , br) G H(P(i, j)) множество решений системы

есть множество чисел, не содержащихся в множестве длин путей из P(i, j).

Теорема 2. Если орграф Г содержит i, j-ксс-антицепь U и для любого (b1,... , br) G G H(P(i, j)) система (7) не имеет решений по модулю 5, то Г является i x j-примитивным, в случае i x j-примитивности YiXj ^ ^ (Ф(Р)).

Доказательство. Из леммы 5 следует, что при отсутствии решений системы (7) орграф Г является i x j-примитивным.

Оценим величину YiXj. Согласно лемме 3, spc Ws(i, j) D spc Ps(i, j) + as + dsN, где as определяется (6) при U = Us, C7 = CS, s = 1,..., r.

Обозначим Л5 = spc Ps(i, j) + as + dsN, s = 1,..., r. Поскольку 5 = lcm(di,... , dr), в силу i x j-примитивности Г множество Л1 U ... U Лг является 5-полным. Для любого s = 1 , . . . , r верно

¿/ds

Л5 = spc Ps(i, j) + и (a + ds0} + 5No. Тогда Л1 U ... U Лг = Ф(Р) + 5N0. Следовательно, множество Ф(Р) также 5-полное и

Y^ ^ & (Ф(Р)).

Итак, получены достаточное условие i x j-примитивности орграфа Г, содержащего i, j-ксс-антицепь (наличие других i, j-ксс возможно), и оценка i x j-экспонента в этом случае. Для некоторых частных случаев получим критерий i x j-примитивности и уточним оценку i x j-экспонента.

Следствие 9. Если U — единственная i, j-ксс-антицепь в орграфе Г, то Г является i x j-примитивным тогда и только тогда, когда для любого (b1,...,br) Е H (P (i,j)) система (7) не имеет решений по модулю 5 = ind U.

Доказательство. Если U — единственная i, j-ксс-антицепь в орграфе Г, то в силу леммы 5 i x j-примитивность орграфа Г равносильна отсутствию решений системы (7).

Следствие 10. Если U = (U1,U2} —единственная i,j-ксс-антицепь в орграфе Г и gcd(d1 , d2) = 1, то Г не является i x j-примитивным.

Доказательство. Система сравнений (x = bs (mod ds), s = 1, 2} имеет решение по модулю 5 тогда и только тогда, когда gcd(d1,d2) делит разность b1 — b2 [1, замечание 2]. Следовательно, если gcd(d1,d2) = 1, то при любом (b1,...,br) Е H(P(i,j)) система имеет решение и в соответствии со следствием 9 орграф Г не является i x j -примитивным.

Рассмотрим случай, когда Г содержит i, j-ксс-антицепь, обозначаемую

U элементами которой являются простые контуры C1, ..., Cr длин /1, ..., /г соответственно.

Если хотя бы одно из множеств spcisPs(i, j) является /¿¡-полным, s Е Nr, то по следствию 8 орграф Г, содержащий U(1), является i x j-примитивным. В противном случае H(P(i, j)) непусто. Для проверки i x j-примитивности орграфа можно воспользоваться теоремой 2 (следствием 9). Получим точное значение величины YiXj.

Следствие 11. Если U =

U « и Г является i x j-примитивным, то

/ r / 5/ds

YiXj = & U spc Ps(i,j) + (J (/s(0 — 1)} \s=1 \ 0=1

где 5 = ind U.

Доказательство. Согласно лемме 4, spc Ws(i, j) = spc Ps(i, j) + /sN0, s = 1,..., r. В силу i x j-примитивности Г множество spc W(i, j) является 5-полным. Для любого s = 1 , . . . , r верно

й/is

spc Ws(i, j) = spcPs(i, j) + U {/s(0 — 1)} + 5No.

0=1

г/г*

Тогда яре W(г,^) = Ф + 6М0, где Ф = и I яреРв(г,^) + и {/*(# - 1)} )• Значит, Ф

«=1 \ е=1

6-полное и = (Ф).

Пример 4. Рассмотрим орграф Г4, изображённый на рис. 8. Покажем его 1 х 8-примитивность.

Рис. 8. Орграф Г4

В графе имеется 1,8-ксс-антицепь {С1,С2}, где С1 = {2,3,4,5}, С2 = {6,7}. Используя введённые обозначения, получим г = 2, /1 = 4, /2 = 2, 6 = 1ет(2, 4) = 4, яре Р(г,^') = {2, 4}, яре Р2(г,^') = {3}, Н(Р(г,^)) = {(1,0), (3, 0)}. Системы сравнений

х = 1

и

х = 3

не имеют решений по модулю 4. Согласно следствию 11, орграф Г4 является 1 х 8-при-митивными 1 х 8-ехр Г4 = £4^ б ^ре Рв(г,^")+ ЩЦ^ - 1)}^ = С4({2, 3, 4,5}) = 2.

Рассмотрим наиболее простой случай, когда г, -ксс-антицепь состоит из контуров С1,..., Сг одинаковой длины /. Обозначим такую ксс-антицепь Ц/(2).

Следствие 12. Если и = / (2) , то Г является г х ^'-примитивным тогда и только тогда, когда множество яре Р(г, ) является /-полным, в случае г х ^-примитивности 7гх^ = £г (йре Р (г, )).

Доказательство. Согласно лемме 4, яре ) = яре Р,(г,+ Ш0, 5 = 1,..., г.

Тогда яре W(г,]) = яре Р(г,]) + Ш0 = яре Р(г,]) — / + Ш и, согласно лемме 2, утверждение верно.

3. Перемешивающие свойства двухкаскадного генератора, построенного

на основе последовательно-параллельного соединения регистров сдвига

Важным свойством генератора гаммы является зависимость знаков гаммы 74 от всех знаков начального состояния при £ > £0, где £0 определяет длину холостого хода генератора. Для этого свойства необходима примитивность (локальная примитивность) перемешивающего графа преобразования множества состояний генератора. Приведём пример оценки данного свойства с использованием полученных результатов.

Рассмотрим двухкаскадный генератор, построенный на основе двоичных регистров правого сдвига: управляющего длины т и двух генерирующих длин п и г,

соединённых параллельно. Пусть управляющий регистр имеет функцию обратной связи /0(х1,..., хт), генерирующие регистры имеют по две функции обратной связи: /11 (хт+1, . . . , хт+га) , У^^т+Ъ . . . , хт+п), /21 (хт+п+1, . . . , хт+п+г), /22 (хт+п+1, . . . ,

хт+га+г). Значения функций обратной связи складываются по модулю 2 со значением, снимаемым с крайней ячейки управляющего регистра, и записываются соответственно в ячейки с номерами т + 1, т + п', т + п +1, т + п + г'. Будем считать, что сумма значений, снимаемых с крайних ячеек генерирующих регистров, записывается в отдельную ячейку с номером т + п + г + 1, откуда снимается гамма. Уравнения гаммообразования для данного генератора имеют вид

7* = Л т+га+г+1 (х1, . . . ,хт+га+г+1),

где Л — преобразование множества состояний генератора, Лт+га+г+1 — (т + п + г + 1)-я координатная функция преобразования Л*, £ = 1, 2,... Таким образом, для анализа свойств гаммы генератора представляет интерес х {т + п + г + 1}-примитивность перемешивающего орграфа Г(Л).

Пусть 5(/0) = {01,..., 0*}, ^(/11) = М,...,^}, 5(/12) = {с?,...,^}, 5(/21) = = {61,... , 6^}, 5(/22) = {^2,... , }, где 5(/) — множество номеров существенных переменных функции /; 2 = у1 < ... < уя = т; т + 2 = с1 < ... < с^ = т + п; т + 2 = = с2 < ... < с^2 = т + п; т + п + 2 = 61 < ... < 6^ = т + п + г; т + п + 2 = 61 < ... < = т + п + г. Обозначим = gcd(01,... ,0*), = = gcd(c1 — т,..., с^1 — т, с2 — т,..., с^2 — т), ¿2 = gеd(61 — т — п,..., 6^ — т — п, 62 — т — п,..., 6^2 — т — п), gеd(d0, ¿1) = , gеd(d0, ¿2) = ¿2, gеd(d/1, ¿2) =

Преобразование Л множества состояний генератора задано системой булевых координатных функций {Л,1(хь ... , хт+га+г+1),... , Лт+п+г+^хь ... , хт+га+г+1)}, где

5(Л1) = 5(/0); 5(Лг) = {г — 1}, г = 2,..., т;

5(Лт+1) = £(/п) и {т}; 5(Лг) = {г — 1}, г = т + 2,..., т + п' — 1;

5(Лт+„/) = 5(/12) и {т}; 5(Л^) = {г — 1}, г = т + п' + 1,... ,т + п;

5(Лт+га+1) = 5(/21) и {т}; £(Лг) = {г — 1},г = т + п + 2,... ,т + п + г' — 1;

5(Лт+п+г) = 5(/22) и {т}; 5(Л^) = {г — 1}, г = т + п + г' + 1,... ,т + п + г;

5 (Лт+га+г+1) = {т + п, т + п + г}.

Данные равенства полностью определяют множество дуг (т+п+г + 1)-вершинного орграфа Г(Л).

Утверждение 6. Орграф Г(Л) является х {т + п + г +1}-примитивным тогда и только тогда, когда выполнено одно из следующих условий:

а) = 1, тогда

7мтх{т+п+г+1} ^ 3(т + п — 1)+ 0(01,...,0* ,с1 — т,..., с^1 — т, с2 — т,..., £ — т), или = 1, тогда

7мтх{т+п+г+1} ^ 3(т+г—1)+0(01,..., 0*, 61—т—п,..., 6^ —т—п, 61—т—п,..., 6^2 —т—п);

б) ¿1 = 2 при чётном п', тогда

7Мтх{т+п+г+1} ^ 3(т + п — 1) + +20(01/2,...,0*/2, (с1 — т)/2,..., (с^ — т)/2, (с? — т)/2,..., (^ — т)/2),

или = 2 при чётном г', тогда

7мтх{т+п+г+1} ^ 3(т + г - 1) + +2у(у1 /2,..., у,/2, (61 - т - п)/2,..., (6^ - т - п)/2, (62 - т - п)/2,..., (622 - т - п)/2);

в) = = 2 и п', г', (п - г) нечётные, тогда 7мтх{т+п+г+1} ^ 6({т + п + Й1,т + п - п' + Й1 + 1,т + г + а2,т + г - г' + а2 + 1}), где

«1 = 2п + 2р((е1 - т)/2,..., (с^ - т)/2, (с? - т)/2,..., (с^ - т)/2), «2 = 2г + 2у((61 - т - п)/2,..., (6^ - т - п)/2, (6? - т - п)/2,..., (622 - т - п)/2).

Доказательство. Из вида графа Г(Л,) следует, что х {т + п + г + 1}-примитивность орграфа равносильна 1 х (т + п + г + 1)-примитивности, при этом

х {т + п + г + 1}-ехрГ(Л,) = 1 х (т + п + г + 1)-ехрГ(Л,).

В орграфе Г(Л,) имеется три ксс Ц0, и1, Ц2 порядка т, п, г соответственно, образующие две 1 х (т + п + г + 1)-ксс-цепи = (Ц0, Ц1), = (Ц0, Ц2) со спецификациями (т, п) и (т, г) соответственно и одну 1 х (т + п + г + 1)-ксс-антицепь Ц = {Ц1, Ц2} со спецификацией (п, г).

Ксс Ц0 содержит систему контуров СО длин 01, ..., 0,, ксс Ц1 — систему контуров (71 длин с1 -т, ..., с^1 -т, с2-т, ..., с22-т, ксс Ц2 — систему контуров С2 длин 61 -т-п, ..., 6^1 - т - п, 61 - т - п, ..., 622 - т - п.

Через звенья цепи проходят два пути из множества Р (1, т + п + г + 1) длины т + п и т + п - п' + 1 (яреР1(1,т + п + г + 1) = {т + п,т + п - п' + 1}), через звенья цепи —два пути из Р (1,т + п + г + 1) длины т + г и т + г - г' + 1 (яреР2(1, т + п + г + 1) = {т + г, т + г - г' + 1}). Поскольку 01 = 2, с1 = с1 = т + 2, 61 = 62 = т + п + 2, то ^1,^2,^1,^2 ^ {1, 2}.

а) Пусть ¿1 = 1, то есть индекс системы контуров, входящих в ксс Ц^, равен 1. Тогда, согласно теореме 1, орграф Г(Л,) является 1 х (т + п + г + 1)-примитивным, поскольку множество яре Р1(1, т + п + г + 1) является 1-полным.

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

71х(т+п+г+1) ^ 6(фс Р1(1,т + п + г + 1)) + а + 1,

где а = д(#ь ..., у,,, с1 - т,..., с^1 - т, с2 - т,..., с22 - т) + 1еп X(Ц0, СТО) + 1еп X(Ц1, С71).

По лемме 1 ^(эре Р1(1, т + п + г + 1)) = т + п. В соответствии с (4), 1еп X(Ц0, С0) ^ ^ т(1 + 1) - 2 = 2т - 2, 1еп X(Ц1, С71) ^ п(1 + 1) - 2 = 2п - 2, следовательно,

71х(т+га+г+1) ^ 3(т + п - 1)+ 0(01,...,у, ,с1 - т,..., с^1 - т, с2 - т,..., ^ - т).

Случай = 1 доказывается аналогично.

б) Пусть ¿1 = 2 и п' чётное. Тогда индекс системы контуров, входящих в ксс Ц^, равен 2 и множество яре Р1 (1, т + п + г + 1) состоит из чётного и нечётного числа, то есть является 2-полным. Значит, по теореме 1 орграф Г(Л,) является 1 х (т + п + г + 1)-примитивным.

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

71х(т+п+г+1) ^ 6(феР1(1,т + п + г + 1)) + а + 2,

где а = 2g(gi/2,... /2, (ci - m)/2,..., (c^ - m)/2, (c? - m)/2,..., (c^ - m)/2) + + len Z(Uo,<%) + lenZ (^Д).

По лемме 1 ^(spcP?(1,m + n + r + 1)) = m + n - 1, и величины lenZ(Uo,C0), len Z(U1,C71) оцениваются аналогично п. а. Тогда

Yix(m+n+r+i) ^ 3(m + n - 1) + +2g(gi/2,... /2, (ci - m)/2,..., (c^ - m)/2, (c? - m)/2,..., (c^ - m)/2).

В случае d2 = 2 и чётном r' доказательство аналогично.

в) Если условия «а» и «б» не выполнены, то множество spcPi(1,m + n + r + 1) не содержит число m+n+1 и множество spc P2(1,m+n+r+1) не содержит число m+r+1. Если di = d2 = 2, то di = d? = 2. Таким образом, множество H(P(1,m + n + r + 1)) непусто и содержит элемент (ni, п2) = ((m + n + 1) mod 2, (m + r + 1) mod 2). Согласно теореме 2, орграф r(h) 1 x (m + n + r + 1)-примитивный, если система сравнений

!x = ni

не имеет решений по модулю $ = lcm(d/i,d?) = 2. В силу [1, замечание 2] это равносильно тому, что (ni - п2) = (n - r) mod 2 не делится на d = gcd(di, d?) = 2. Поскольку U — единственная 1 x (m + n + r + 1)-ксс-антицепь в орграфе r(h), по следствию 9 данные условия являются необходимыми и достаточными.

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

Yix

\s=i

Используя введенные обозначения, имеем

di = d? = 2,

ai = 2g((ci - m)/2,..., (c^ - m)/2, (^ - m)/2,..., (c^ - m)/2) + 2n - 2, a? = 2g((bi - m - n)/2,..., (b^ - m - n)/2, (b? - m - n)/2,..., (b^2 - m - n)/2) + 2r - 2.

Следовательно, 7ix(m+n+r+i) ^ ({m + n + ai + 2,m + n - n' + ai + 3,m + r + a? + 2, m + r - r' + a? + 3}).

Выводы

Получены условия (во многих случаях критерии) локальной примитивности для различных классов орграфов (в том числе для орграфов, возникающих в ряде криптографических приложений), применение которых проще по сравнению с универсальным критерием [1]. Некоторые из этих условий позволяют получить точные значения локальных экспонентов орграфов.

ЛИТЕРАТУРА

1. Фомичев В. М., Кяжин С. Н. Локальная примитивность матриц и графов // Дискретный анализ и исследование операций. 2017. Т. 24. №1.

2. Кяжин С. Н., Фомичев В. М. Локальная примитивность графов и неотрицательных матриц // Прикладная дискретная математика. 2014. №3(25). С. 68-80.

3. Сачков В. Н., Тараканов В. Е. Комбинаторика неотрицательных матриц. М.: ТВП, 2000. 448 с.

4. Фомичев В. М. Новая универсальная оценка экспонентов графов // Прикладная дискретная математика. 2016. №3(33). С. 78-84.

REFERENCES

1. Fomichev V. M. and Kyazhin S. N. Lokal'naya primitivnost' matrits i grafov [Local primitiveness of graphs and matrices]. Diskretn. Anal. Issled. Oper., 2017, vol.24, no. 1.

2. Kyazhin S. N. and Fomichev V. M. Lokal'naya primitivnost' grafov i neotritsatel'nykh matrits [Local primitiveness of graphs and nonnegative matrices]. Prikladnaya Diskretnaya Matematika, 2014, no. 3

3. Sachkov V. N. and Tarakanov V. E. Kombinatorika neotritsatel'nykh matrits [Combinatorics of Non-Negative Matrices]. Moscow, TVP Publ., 2000.

4. Fomichev V. M. Novaya universal'naya otsenka eksponentov grafov [The new universal estimation for exponents of graphs]. Prikladnaya Diskretnaya Matematika, 2016, no.3