CC BY
11
2019 Прикладная теория графов №43
ПРИКЛАДНАЯ ТЕОРИЯ ГРАФОВ
УДК 519.17
СВОЙСТВА ПРИМИТИВНЫХ МНОЖЕСТВ ОРИЕНТИРОВАННЫХ ГРАФОВ С ОБЩИМ МНОЖЕСТВОМ КОНТУРОВ
Я. Э. Авезова
Национальный исследовательский ядерный университет «МИФИ», г. Москва, Россия
Получены критерий примитивности и оценки экспонентов множеств орграфов с общим множеством простых контуров. Критерий примитивности позволил получить формулу для числа примитивных множеств n-вершинных орграфов с общим гамильтоновым контуром.
Ключевые слова: гамильтонов орграф, примитивное множество орграфов, экспонент множества орграфов.
DOI 10.17223/20710410/43/7
ON PROPERTIES OF PRIMITIVE SETS OF DIGRAPHS WITH
COMMON CYCLES
Y. E. Avezova
National Research Nuclear University Moscow Engineering Physics Institute, Moscow, Russia
E-mail: avezovayana@gmail.com
Let Г = {Г1,..., Гр} be a set of digraphs with vertex set V, p > 1, and U(p) be the union of digraphs Г1 U ... U Гр with no multiple arcs. The smallest number such that the union of u digraphs of the set Г contains all arcs of U(p) is denoted by Suppose C = {C1,..., Cm} is a set of elementary cycles. This set is called common for Г if every digraph of the set Г contains all cycles of the set C. Assume that C* U ... U Cm = V where C* denotes the vertex set of Cj, i = 1,..., m. For a given digraph Г, the loop-character index in the semigroup (Г) is the smallest integer h for which there is a loop on every vertex of Г\ In this paper, we study conditions for the set of digraphs with common cycles to be primitive. For m ^ 1, the set Г with common cycles set C is primitive if and only if the digraph U(p) is primitive. If Г is primitive, then expT ^
< ((u- 1)h + 1) exp U(p), where h is the loop-character index in the semigroup (Г(С)), Г(С) = C1 U ... U Cm. For m = 1, we establish an improved bound on the exponent. Let all digraphs of the primitive set Г have a common Hamiltonian cycle, then expT ^
< (2n - 1)u + £ (F (1[,..., V, )) + dT - II), where ,..., Гт(т) are all cycle lengths
т =1
in Гт, ordered so that < ... < 1тт{т) = n, dT = gcd(1[,..., ^)), F(1[,..., ¿m^) = = dтФ(1[/d-т,..., Гт{т)/dT), Ф(1[/dт,..., Гт{т)/dT) denotes the Frobenius number, т = = 1,..., U. Finally, if n = qa, q is prime, a G N, m = n2, then the number of primitive sets of n-vertex digraphs with a common Hamiltonian cycle equals 2°" — 2£, where
^ _ 2m-n ^ _ 2m/q-n
Keywords: Hamiltonian digraph, primitive set of digraps, exponent of digraphs set.
Введение
Введем основные обозначения:
— N — множество натуральных чисел;
— Нр = {1,...,р}, р Е Н;
— N0 = N и {0};
— 0,1-матрица — матрица с элементами из множества {0,1};
— М = (т^-) — матрица смежности вершин орграфа;
— М4 = (т(]), г Е Н;
— М > 0 (М ^ 0)—все элементы матрицы М над полем действительных чисел неотрицательны (положительны);
— (X) —подполугруппа, порожденная подмножеством X мультипликативной полугруппы;
— ||М|| —вес 0,1-матрицы М, равный числу единичных элементов матрицы;
— Мт — транспонированная матрица М;
— НОД(аь ..., ап) —наибольший общий делитель натуральных чисел а1,..., ап;
— (г, 3) —дуга в орграфе Г, инцидентная вершинам г и 3;
— [г, 3] —путь в орграфе Г из вершины г в вершину 3;
— 1еп[г,3] — длина пути [г,3] в орграфе.
Важными характеристиками преобразования векторного пространства являются множества существенных переменных его координатных функций. Преобразование называется совершенным, если каждая координатная функция существенно зависит от всех переменных. Совершенность является одним из положительных свойств преобразований, применяемых в системах защиты информации. Часто совершенность преобразования обозначают как свойство полного перемешивания входных данных. В системах защиты информации полное перемешивание входных данных делает систему устойчивой к атакам типа последовательного опробования частей секретного параметра.
Существуют два равносильных подхода к оценке перемешивающих свойств преобразования: матричный и теоретико-графовый. Суть обоих подходов описана в [1, 2]. Полное перемешивание входных данных, как правило, осуществляется композицией несовершенных преобразований, допускающих несложную реализацию. Матрично-графовый подход позволяет оценить длину такой композиции. Основными задачами при этом являются распознавание примитивности неотрицательной матрицы и оценка её экспонента [3, 4]. Матрица М называется примитивной тогда и только тогда, когда существует 7 Е Н, такое, что для любого г ^ 7 выполняется М4 > 0. Наименьшее 7 Е Н, при котором М7 > 0, называется экспонентом матрицы М, обозначается ехр М. Исследование примитивности для неотрицательных матриц и 0,1-матриц равносильно. Умножение 0,1-матриц определено как умножение матриц над множеством целых неотрицательных чисел с последующей заменой в произведении всех положительных элементов единицами. Сложение выполняется аналогично. Мультипликативный моноид всех 0,1-матриц порядка п обозначим М^1.
Свойство примитивности исследуется с использованием следующей теоремы теории графов [5]: если М — матрица смежности вершин графа Г и М4 = (т^]), то число
путей длины г из г в 3 в графе Г равно т] г,3 Е {1,...,п}. Известен критерий примитивности орграфа [6]: сильносвязный орграф примитивный, если и только если длины всех простых контуров орграфа взаимно простые.
Многообразие возникающих постановок задач в различных областях науки привели к обобщениям понятия примитивности неотрицательных матриц. В частности, введены определения примитивности множества матриц [1, 7-9]. В настоящей работе в соответствии с [1] множество матриц М С М^1,1 называется примитивным, если порождённая множеством М мультипликативная полугруппа (М) содержит положительную матрицу. Наименьшая длина слова из (М), соответствующего положительной матрице, называется экспонентом множества М и обозначается ехр М. Дадим равносильное определение примитивности множества на теоретико-графовом языке. Обозначим Г(п) множество всех орграфов с множеством вершин V = {0,... , п — 1}. Умножение орграфов из Г(п) определяется как умножение бинарных отношений. Множество Г С Г(п) называется примитивным, если порождённая множеством Г мультипликативная полугруппа (Г) содержит полный орграф. Наименьшая длина слова из (Г), соответствующего полному орграфу, называется экспонентом множества Г и обозначается ехр Г. Если положительной матрицы в алфавите М (полного орграфа в алфавите Г) не существует, то ехр М = то (ехр Г = то).
Универсальный критерий примитивности множества орграфов формулируется весьма сложно как на матричном, так и на теоретико-графовом языках, и распознавание его выполнимости предполагает проверку ряда условий для множества орграфов. В связи с этим актуальна задача поиска множеств орграфов, важных с прикладной точки зрения, для которых критерий примитивности существенно упрощается.
В множестве орграфов Г простой контур назовем общим, если он имеется в любом орграфе этого множества. Множество орграфов Г имеет общее множество контуров С, если каждый орграф множества Г содержит все контуры множества С. Настоящая работа посвящена исследованию примитивности множеств орграфов с общим множеством контуров и логически продолжает работы [10-12], обобщая некоторые полученные в них результаты.
1. Комбинаторные свойства множества примитивных матриц (орграфов)
Если множество М содержит примитивную матрицу, то оно примитивное. В наиболее интересном для исследования примитивности случае множество М состоит из непримитивных матриц.
Известно необходимое условие примитивности множества матриц [2, теорема 11.8]: если множество М = {М1,... , Мр}, р > 1, примитивное, то матрица М = М1 +... + Мр примитивная и ехр М ^ ехр М. Существуют непримитивные матрицы веса п2 — п + 1, такие матрицы при к = 1,...,п образуют множество Нк, определяемое правилом: М = (т^-) Е Нк ^ тк]- = 0 при всех 3 Е {1,..., п}\{к}, остальные элементы равны 1. Непримитивной является также матрица веса п2 — п + 1, транспонированная к любой матрице из Нк, к = 1,... , п. Любая матрица, вес которой превышает п2 — п+1, является примитивной [13].
На множестве М^1 введём частичный порядок: М ^ М' ^ т^- ^ т^- для всех г,3 = 1,...,п. Если М, М' — матрицы смежности орграфов Г, Г' соответственно и М ^ М', то все дуги орграфа Г являются дугами орграфа Г', т. е. Г — часть орграфа Г' (обозначается Г ^ Г').
Непримитивное множество матриц М назовем максимальным непримитивным, если при объединении с любой матрицей В Е МП,:1\М множество М и {В} является примитивным. Актуальной является задача описания всех максимально непримитивных множеств и оценка их мощностей. Опишем одно из таких множеств.
Теорема 1. Пусть М — непримитивная 0,1-матрица веса п2 — п +1, М = {М1, ... , Мр} —множество матриц со свойством Мт ^ М, т = 1,...,р, где р = 2т-п+1, т = п2. Тогда М — максимальное непримитивное множество.
Доказательство. Пусть М = (т^-), где, не ограничивая общности, положим, что т1,^- = 0 при ] = 2,... , п, остальные элементы матрицы положительны. Заметим, что М = М1+.. .+Мр. В силу [2, теорема 11.8] из непримитивности матрицы М следует, что множество М также непримитивное. Покажем, что множество М максимальное непримитивное. Добавим к множеству М матрицу В = (6^-), В Е МП,1\ММ, тогда > 0 при некотором к € {2,... ,п}. Следовательно, ||М'|| > т — п +1, где М' = = М1 + ... + Мр + В, и матрица М' примитивная.
Покажем, что множество ММ' = {М1,...,МР,В} примитивное, построив положительное слово в алфавите ММ'. Обозначим: С = М • В, С' = С• М, С = (с^-), С' = (с^-). В силу правила произведения матриц, с^- = + ... + тг,п6па-, откуда следует, что
с^ > 0 при г = 1,..., п. Тогда с^- = с^т^ + ... + ^,птп^ > 0 при всех г, = 1,..., п. Таким образом, произведение С' = М • В • М является положительной матрицей в алфавите ММ'. Следовательно, множество ММ' примитивное. Отсюда ММ — максимальное непримитивное множество. ■
Далее обозначим: т = п2, а(п) = |МП,1| = 2т — число всех 0,1-матриц порядка п; п(п) —число примитивных 0,1-матриц порядка п; в(п) —число примитивных множеств, состоящих только из непримитивных 0,1-матриц порядка п; п(п) —число всех примитивных множеств 0,1-матриц порядка п. Установим формулу для п(п), которая далее используется при доказательстве одного из основных результатов.
Теорема 2. п(п) = 2ст(п) — 2ст(п)-п(п) + в(п).
Доказательство. Множество матриц, содержащее хотя бы одну примитивную матрицу, примитивное. Число непустых множеств, состоящих только из примитивных матриц, равно п1(п) = 2п(п) — 1. Число непримитивных матриц равно 0"(п) — п(п), тогда число множеств непримитивных матриц равно По(п) = 2ст(п)-п(п). Объединяя каждое непустое множество примитивных матриц с каждым множеством непримитивных матриц, получим п1(п)п0(п) примитивных множеств, в которых есть примитивные и, возможно, непримитивные матрицы. Тогда общее число примитивных множеств п(п) = п1(п)п0(п) + в(п). После элементарных преобразований получаем необходимое равенство. ■
Критерий примитивности множества матриц ММ получен в [14]. Впервые универсальная оценка экспонента примитивного множества матриц порядка п дана в [15]:
п3 + п2
ехр ММ ^ ----2п + 1. (1)
По замечанию автора оценки, она допускает уточнение, поскольку не зависит от мощности множества ММ. Оценка (1) улучшена в [16]:
7п3 + 6п2 + 8п
ехр ММ ^ ----1. (2)
Представляет также интерес критерий примитивности множества графов, полученный в [11]. Приведём этот критерий. Пусть в множестве орграфов Г = {Г1,... , Гр}, р > 1, все дуги орграфа Гт помечены числом т, т = 1,... ,р. Тогда множеству Г однозначно соответствует мультиграф Г(р) = Г1 и ... и Гр, в котором любой путь длины 5
помечен непустым множеством слов длины 5. Путь в мультиграфе Г(р) имеет метку и4, если он есть конкатенация г путей с метками и; путь с меткой и0 положим пустым. В частности, путь длины г имеет метку и4, если каждая дуга пути помечена числом и Е Мр. Если множество Г примитивное, то мультиграф Г(р) сильносвязный [1, 2]. Сильносвязный мультиграф Г(р) называется и-сильносвязным, если для любых вершин г и 3 существует путь с меткой и^' из г в 3 при некотором г. Е N. Из данного определения следует, что в и-сильносвязном мультиграфе Г(р) есть контур с меткой и11 при некотором ^ Е N с началом обхода в вершине г, г = 0,... , п — 1. Критерий: орграф Г(и) = ГШ1 ... Гадз, где и = и1... и8, примитивный, если и только если Г(р) является и-сильносвязным и содержит контуры с метками и41,... , и4т, где НОД(г 1,..., гт) = 1.
Задача распознавания примитивности множества п-вершинных орграфов алгоритмически разрешима [11].
Критерий примитивности множества Г существенно упрощается для некоторых частных классов, важных для приложений в области анализа систем защиты информации, в то же время уточняется оценка (2).
2. Примитивность множества орграфов с общим гамильтоновым контуром
Говорят, что «путь проходит через контур», если у пути и контура есть общая вершина. Путь проходит через множество контуров, если он проходит через каждый контур множества.
Обозначим: (в,п) — тип орграфа Г в мультипликативной циклической полугруппе (Г), где в и п — циклическая глубина и период орграфа Г соответственно; кС(г) — контур в Г, соответствующий к-кратному проходу контура С из вершины г, где к Е N0; 0С(г) —пустой контур. Для подмножества натуральных чисел {а1,... , ат}, таких, что НОД(а1,..., ат) = d =1, т > 1, числом Фробениуса Ф(а1,..., ат) называется наибольшее целое число, не принадлежащее аддитивной полугруппе (а1,... , ат). Обозначим ^(а1,..., ат) = dФ(а1/d,..., ат^), d ^ 1 (если d = 1, то ^(а1,..., ат) = Ф(а1,..., ат)). Далее полагаем, что 1 ^ а1 < ... < ат.
Установим соотношения между длинами простых контуров в гамильтоновом орграфе Г и его типом (циклической глубиной и периодом) как элемента циклической полугруппы (Г). Данные соотношения позволяют оценить экспонент примитивного множества орграфов с общим гамильтоновым контуром.
Обозначим: Ь = {/1,...,/т} —множество всех длин простых контуров в сильносвязном орграфе Г, где т > 1, /1 < ... < /т; С = {С1,..., Ст} —множество простых контуров длин /1,..., /т соответственно; /(г, С,3) —длина кратчайшего пути из вершины г в вершину 3, проходящего через множество контуров С.
Лемма 1. Если НОД(Ь) = d в п-вершинном сильносвязном орграфе Г, то для любой пары вершин (г,3) длины всех путей из г в 3 сравнимы по модулю d.
Доказательство. Пусть для некоторых вершин г, 3 в Г есть пути из г в 3 длин / и / + с. Обозначим /у длину любого простого пути из 3 в г в орграфе Г. Простой путь из 3 в г существует, поскольку орграф Г сильносвязный. Следовательно, в Г есть контуры длин / + /у и / + с + /]г. Так как длина любого контура есть сумма длин нескольких простых контуров, то в условиях леммы d | (/ + /.д) и d | (/ + с + /.д). Следовательно, d | с. ■
Теорема 3. Гамильтонов п-вершинный орграф Г, в котором НОД(Ь) = d, имеет полугрупповой тип (в, п), где п = d и в ^ ^(/1,... , /т) + d + тах /(г, С7,3).
Доказательство. Так как НОД^/d,...,/m/d) = 1, то в соответствии со свойствами чисел Фробениуса для любого b G N при некоторых k1,... , km G No, зависящих от b, выполнено
М! + ... + kmlm = F(/1, . . . , 1m) + db.
Так как в Г имеется путь из i в j длины /(i, C, j), проходящий через множество контуров C, то для любого b G N в Г имеется путь из i в j длины tb(i, j), где
tb(i, j) = /(i, (7, j) + F(/1,... ,/m) + db,
содержащий обход контуров C1,..., Cm соответственно k1,..., km раз. В силу леммы 1, tb(i,j) = /(i, (C,j) (mod d). Следовательно, дуга (i,j) одновременно имеется или не имеется в орграфах Г* и t ^ t1(i, j). Данные рассуждения верны для любой пары вершин (i, j), значит, Г* = t ^ max 11 (i, j). Следовательно, п | d.
O^ij^n-1
По определению, Г* = , t ^ max t1(i, j). Тогда в Г имеются пути из i в j
O^ij^n-1
длины t и t + п для некоторых вершин i и j, что при п < d противоречит лемме 1. Отсюда п = d. ■
Следствие 1. Имеет место
в < 2П — i, + /F(/" -/m)+ d — 1 d> 1-
\$(/,,...,/m), d =1.
Доказательство. Обозначим: w(i,j) — кратчайший путь из вершины i в вершину j, w(i, i) —путь длины 0; Ak = n — /k, k = 1,... , m.
Заметим, что путь w(i, j) определен неоднозначно и 0 ^ lenw(i, j) ^ n — 1 при любых i, j. Для вершин i, j построим путь [i, j], проходящий через множество контуров ( и оценим длину этого пути.
Если lenw(i,j) ^ Ak, то w(i,j) проходит через контур Ck, имеющий /k вершин, k = 1,...,m. Отсюда если lenw(i,j) ^ A1, то путь w(i,j) проходит через множество контуров (С, так как A1 > A2 > ... > Am. В случае lenw(i,j) ^ A1 полагаем [i, j] = w(i, j). В случае lenw(i, j) < A1 полагаем [i, j] = w(i, j) о Cm(j), где путь [i,j] проходит через множество контуров C в силу гамильтоновости контура Cm и len [i,j] = len w(i,j)+n < A1+n = 2n—/1. Следовательно, /(i, (C,j) ^ len [i,j] ^ 2n—/1 — 1 для любых вершин i, j. Отсюда и из теоремы 3 получаем нужную оценку в. ■
Замечание 1. Данная оценка в при d =1 совпадает с оценкой экспонента примитивного гамильтонова орграфа Г [17, следствие 2].
Пример 1. В табл. 1 приведены оценки и точные значения циклической глубины гамильтоновых орграфов при n = 6. Орграфы Г1 и Г2 непримитивные, орграф Г3 примитивный (граф Виландта). Как видно из табл. 1, для орграфов Г2 и Г3 достигается верхнее значение оценки величины max /(i, C, j), для орграфа Г3 —верхняя
O^ij^n-1
оценка в, приведённые в следствии 1.
Таблица 1
Оценки и точные значения циклической глубины для орграфов Г1 и Г2
Г С а ^ (¿1,..., 1т) тах ¿(¿,(7,7) тах ¿1(4,7) в
Г1 С1 = (0,4, 5), С2 = (1, 2, 3), С3 = (0,1, 2, 3,4, 5) 3 3Ф(1, 2) = —3 ¿(1,(7,0) = 5 3 — 3 + 5 = 5 3
Г2 С1 = (0, 4, 5), С2 = (0,1, 2, 3,4, 5) 3 3Ф(1, 2) = —3 ¿(1,(7, 3) = 8 3 — 3 + 8 = 8 6
Гз С1 = (0,1, 2, 3, 4), С2 = (0,1, 2, 3,4, 5) 1 Ф(5, 6) = 19 ¿(5, (7, 5) = 6 1 + 19 + 6 = 26 26
Рассмотрим множество орграфов Г = {Г1,... , Гр}, р > 1. Обозначим и(р) орграф, полученный из мультиграфа Г(р) = Г1 и... и Гр удалением всех меток и отождествлением кратных дуг. Наименьшее количество орграфов множества Г, объединение которых содержит все дуги орграфа и(р), обозначим По определению 1 ^ ^ ^ р.
Множество орграфов называется сокращённым (понятие введено в [18]), если ни один из орграфов множества не является частью другого орграфа этого множества. Примитивность любого множества равносильна примитивности его сокращённого подмножества (следует из [18, утверждение 5]), и в случае примитивности их экспоненты равны. При р > ^ =1 множество Г не сокращённое, поскольку все орграфы являются частью одного из орграфов множества Г. Этот случай выходит за рамки данной работы, так как исследование примитивности множества Г сводится к проверке свойства примитивности орграфа с наибольшим числом дуг. Без ограничения общности далее полагаем, что и(р) = иСм), где 1 < ^ ^ р.
Установим критерий примитивности множества орграфов с общим гамильтоновым контуром.
Теорема 4. Пусть Г = {Г1,..., Гр} — множество орграфов с общим гамильтоновым контуром Z = (0,... ,п — 1), р > 1. Множество Г примитивное, если и только если орграф и(р) примитивный. Для экспонента примитивного множества орграфов Г верна оценка
ехр Г ^ (2п — 1)^ + Е (/!,..., ¿^ст)) + ¿т — ), (3)
где ,... , /^ст) —длины всех простых контуров орграфа Гт, < ... < /^т) = п; ¿т = НОД(/[,...,С(т)), т = 1,...,^.
Доказательство. Необходимость. Пусть множество Г = {Г1,..., Гр} примитивное и М1,... , Мр — матрицы смежности орграфов Г1,... , Гр соответственно. Из примитивности множества Г следует примитивность множества М = {М1,... , Мр}. Тогда матрица М = М1 +... + Мр примитивная в силу [2, теорема 11.8]. Заметим, что матрица М является матрицей смежности вершин орграфа и(р). Следовательно, орграф и(р) примитивный.
Достаточность. Считаем, что все орграфы множества Г непримитивные, иначе очевидно, что орграф иср) примитивный и теорема верна.
Пусть примитивный орграф и(р) содержит множество простых контуров С = = {С1,... , Ст} длин /1,... , /т соответственно, где НОД(/1,... , /т) = 1 и т > 1, иначе один из орграфов множества Г гамильтонов и имеет петлю, т. е. примитивный.
Поскольку и(р) = иСм), то и^ содержит все дуги контуров множества С. Обозначим: (0т,пт) — тип орграфа Гт, т = 1,...,^; п = НОД(п1,..., пм). Из теоремы 3
следует, что пг = dT = НОД(/[,... , (г)), т = 1,..., значит, п делит длину любого контура любого орграфа из множества {Г1,... , Гм}. Докажем, что п = 1.
Пусть C = (u0,... , u1-1) —любой контур. Конкатенация дуги (uk,U(k+1)mod 1) и
части контура Z образуют в некотором из орграфов Г1,... , Гм контур длины Ak =
1-1
= n - (u(fc+1) mod 1 - Ufc) mod n +1, значит, п | Afc, k = 0,... ,1 - 1, и п | £ (n - Afc),
fc=0
где
1-1 1-1
£ (n - Afc) = £ ((«(fc+1) mod 1 - Ufc) mod n - 1) = n - 1.
fc=0 fc=0
Тогда п | (n - /) и п делит длину / любого контура из (7, что при п > 1 противоречит условию НОД(/1,... , /m) = 1. Следовательно, п = 1.
Построим в мультиграфе Г(р) для любых вершин i, j путь из i в j с меткой 1*1 ... ^, где t1,... , tM G N. Контур Z гамильтонов, следовательно, в Г1 есть пути из вершины i в вершину (i + t1) mod n длины t1 ив вершину (i + t1 + п1) mod n длины t1 + п1 при любом t1 G N. Тогда (i, (i + t1) mod n) есть дуга орграфа Г^1 и (i, (i + t1 + п1) mod n) есть дуга орграфа Г^1+П1. В соответствии с теоремой 3, Г^1 = Г^1+П1 при t1 ^ 01, значит, при указанных t1 в орграфе Г^1 есть дуга (i, (i +11 + п1) mod n), тогда в Г1 есть путь из вершины i в вершину (i +11 + п1) mod n длины t1. Поскольку п1 —период орграфа Г1, то в орграфе Г1 есть пути из вершины i в вершину (i +11 + к1п1) mod n длины t1 для любых t1 ^ $1 и k1 G N0. Тогда в мультиграфе Г(р) есть пути с меткой из вершины i в любую вершину множества 11 = {(i + t1 + к1п1) mod n: k1 G N0}.
Пусть i1 G /1. Повторив на втором шаге рассуждения для вершины i1, получаем, что в мультиграфе Г(р) при t2 ^ $2 есть пути с меткой 2*2 из вершины i1 в любую вершину множества 12 = {(i1 + t2 + к2п2) mod n: k2 G N0}. Объединяя утверждения двух шагов, получаем, что в Г(р) есть пути с меткой 1*12*2 из вершины i в любую вершину множества /12 = {(i +11 + t2 + k^ + k2п2) mod n: k1, k2 G N0} при t1 ^ $1 и t2 ^ $2.
Продолжая следующие шаги рассуждений, получаем, что в Г(р) есть пути с меткой 11 ... ^ из i в любую вершину множества /1jU = {(i + t + k1п1 + ... + mod n:
k1,... , kM G N0}, где t = t1 + ... + tM, t1 ^ $1,..., tM ^ В зависимости от чисел k1,... , kM величина k^ + ... + k^^ принимает любые значения, превышающие число Фробениуса Ф(п1,... , пм). Значит, множество содержит полную систему вычетов по модулю n —множество {0, . . . , n - 1}. Таким образом, построены пути с меткой 1*1 ... из вершины i в любую вершину. Следовательно, орграф Г^1 ... Г^Т полный и множество Г примитивное. Критерий доказан.
Получим оценку exp Г. Орграф Г^1 ... Г/ полный при любых tT ^ $г, т = 1,..., следовательно, exp Г ^ $1 + ... + По следствию 1, $г ^ 2n-1 -/[ + F(/[,... ,1Г»(г)) + dT.
Тогда exp Г ^ (2n - % + £ (F(/[,..., ^(г)) + dr - ). ■
г=1
Примитивный орграф называется минимальным, если после удаления любой дуги нарушается свойство его примитивности [19]. Обозначим: G(n, Z) —множество n-вершинных орграфов, имеющих гамильтонов контур Z, a(n, Z) = |G(n, Z)| = 2m-n, где m = n2; GP(n, Z) —множество примитивных n-вершинных орграфов, имеющих гамильтонов контур Z, п(п, Z) = |GP(n, Z)|; Gmin(n, Z) —множество минимальных примитивных орграфов, имеющих гамильтонов контур Z, w(n, Z) = |Gmin(n, Z)|; Gmin(n,Z) С GP(n, Z) С G(n, Z). Множество примитивных n-вершинных орграфов, имеющих гамильтонов контур, представляет особый интерес при исследовании пере-
мешивающих свойств регистровых преобразований, в частности при п = 2а, а Е N. Следующая теорема устанавливает количество таких орграфов для примарного числа вершин п.
Теорема 5. Пусть п = да, д — простое число, а Е N т = п2. Тогда
2т _ 2т/?
п(п, Z) =
2«
Доказательство. Любое число, не кратное д, взаимно просто с п = да, а Е N. Тогда по условию минимальный примитивный орграф с гамильтоновым контуром Z имеет п+1 дугу, где дуги образуют простые контуры длин / и п, 1 ^ / < п, НОД(/, п)=1. Следовательно, любой примитивный гамильтонов орграф с числом дуг больше п + 1 не минимальный.
Найдём ш(п^) = |Ср„(п^)|. Обозначим П(п) = {/1,... ,/г} —множество чисел, взаимно простых с п, где г = да — да—1 = п — п/д — значение функции Эйлера при п = да. Существует п изоморфных орграфов множества ^^¡„(п, Z), имеющих простой контур длины г = 1,... , г. Следовательно, ш(п, Z) = п(п — п/д).
Положим ) = {Г1,..., Гш}, где ш = ш(п, Z), и рассмотрим множества
и = {Г: Г ^ Г^}, г = 1,..., ш. Тогда Ср(п, Z) = и1 и ... и иш. Заметим, что П ... П П | = 2т-(га+к) при любом к = 1,..., ш. Используя принцип включения-исключения, найдём |СР(п, Z)|:
п(п^) = |СР(п^)| = |и:и ... и иш| =
ш / ш \ (4) _ _1)^—2™—(™+к) _ 2™-« ( _1)к— 1 (к2-М
к=1 \к=1 )
Применяя формулу бинома Ньютона, преобразуем (4) к виду п(п, Z) = 2т—п(1 — 2—ш). Поскольку ш = п(п — п/д) = т — т/д, п(п, Z) = 2т—п(1 — 2т/?—т) = (2т — 2т/?)/2п. ■
Пример 2. При п = 4 существует 2т—п = 212 = 4096 орграфов с гамильтоновым контуром Z = (0,1, 2, 3). Из них, по теореме 5, 4080 орграфов — примитивные.
Обозначим в(п, Z) число примитивных множеств п-вершинных орграфов с общим гамильтоновым контуром Z, в которых каждый орграф не примитивен.
Из критерия примитивности множества орграфов с общим гамильтоновым контуром и теорем 2 и 5 следует точное значение числа примитивных множеств орграфов с общим гамильтоновым контуром Z при п = да, где д — простое число, а Е N.
Следствие 2. Пусть п = да, д — простое число, а Е N т = п2. Тогда число примитивных множеств орграфов с общим гамильтоновым контуром Z равно
П(п^) = 2СТ — 2£,
где а = 2т—п; е = 2т/?—п.
Доказательство. Из теоремы 2 следует, что
п(п, Z) = — )—) + в(п, Z).
Найдём в(п, Z). При п = да если орграф Г содержит гамильтонов контур Z и не примитивен, то длины всех простых контуров орграфа Г кратны д, г = 1,...,р. Следовательно, длины всех простых контуров орграфа и(р) также кратны д и иср)
непримитивный. Тогда в(п, Z) = 0 согласно критерию теоремы 4. Значит, п(п, Z) = ) — ), где а(п^) = а = 2т—п, п(п^) = (2т — 2т/?)/2п
(по теореме 5). Тогда а(п, Z) — п(п, Z) = е = 2т/?—п. ■
3. Критерий примитивности множества орграфов с общим множеством контуров
Обозначим: С * —множество вершин контура С; Г(С) = С и ... и Ст — часть орграфа Г; Е(С) — множество дуг орграфа Г(С').
Воспользуемся терминами теории признаков в полугруппах [1, гл.9]. Подмножество Н полугруппы С, состоящее из всех элементов С, обладающих определённым свойством, называется признаком Н (Н-признаком) в полугруппе С. Если Н ^ С — подполугруппа, то Н называется полугрупповым признаком в С. В полугруппе Г(п) полугрупповым признаком (обозначается Р}00р) является, в частности, множество всех орграфов, имеющих петли в каждой вершине множества Р, 0 = Р С V. Показателем Р}00р-признака в полугруппе (Г) называется наименьшее натуральное Л, при котором Г" € Рьор (обозначается рокР[00р или кратко ). В [20] получены оценки и точное значение показателя Р[00р-признака.
Следующая теорема устанавливает критерий примитивности и оценку экспонента множества орграфов с общим множеством простых контуров.
Теорема 6. Пусть Г = {Г!,..., Гр} — множество орграфов с общим множеством контуров С = {Сь ... , Ст}, р, т > 1, С*и.. .иС^ = V. Множество Г примитивное, если и только если орграф и(р) примитивный. Для экспонента примитивного множества орграфов Г верна оценка
ехрГ ^ ((ц - 1)Л + 1)ехр и(р), (5)
где Л — показатель И00р--признака в полугруппе (Г(С)).
Доказательство. Необходимость критерия доказывается, как в теореме 4.
Достаточность. Рассмотрим неочевидный случай, когда все орграфы множества Г непримитивные. Обозначим = Г^... 1ГГ. Докажем по индукции, что орграф и(г) является частью орграфа С1,г, 1 < г ^ ц.
При г = 2 покажем, что и (2) — часть орграфа С1,2 = Г^Г2, т.е. С1,2 содержит все дуги орграфов Г1 и Г2. Поскольку Л = рок"Ц00р в полугруппе (Г(С')) и орграф Г1 содержит множество контуров С, то орграф Г^ имеет петли во всех вершинах. Отсюда орграф С1,2 содержит все дуги орграфа Г2, в том числе множество общих контуров (7.
Пусть (г,]) —дуга орграфа Г1 и (г,]) € Е(<7). Покажем, что орграф С1,2 содержит дугу (г,]). Из условия С* и ... и С* = V следует, что любая вершина орграфа Г1 принадлежит хотя бы одному из контуров множества С. Тогда в Г1 есть дуга (а, € € Е(С), а = г, такая, что из ] в а в Г1 есть путь длины Л — 1 (следует из определения показателя И00р-признака). Тогда в орграфе Г^ есть дуга (г, а). Орграф Г2 имеет дугу (а,^), поскольку множество С есть множество общих контуров и (а,^) € Е(С). Тогда, в силу правила умножения орграфов, орграф С1,2 содержит дугу (г,^). Таким образом, С1,2 содержит все дуги орграфов Г1 и Г2 и, следовательно,
и(2)
является
частью орграфа С1,2.
Пусть утверждение доказано для г = 2,... , д — 1, где 2 < д ^ ц, докажем его для г = д. По условию С1,д = С1,д-1 Г^-^Г^. По предположению индукции орграф и(?-1) является частью орграфа С1,д_1, т.е. С1,д_1 содержит общее множество контуров С и все дуги орграфов Г1,..., Гд-1. Рассмотрим орграф Г = Г^-^Г^. Поскольку Л = = рок"Ц00р в полугруппе (Г(С)) и орграф Г(С) является общей частью Гд-1 и Гд, орграф Г имеет петли во всех вершинах множества V. Отсюда С1,д = С1,д_1Г содержит все дуги орграфа С1,д_1. Таким образом, С1,д содержит все дуги орграфов Г1,... , Гд-1.
Покажем, что орграф содержит все дуги орграфа Г5. Рассмотрим орграф Г' = г? ... Г— Орграф Г((7) является общей частью орграфов Г1,... , Гд_1,
Г'Г
, содер-
Ст-Л—1 1,9_1Г 5—1
откуда следует, что Г' имеет петли во всех вершинах. Тогда орграф жит все дуги орграфа Г5.
Таким образом, содержит все дуги орграфов Г1,..., Г5, т.е. орграф является частью орграфа . Отсюда орграф и(м), а следовательно, и и(р) являются частями орграфа = Г?... 1ГМ. Из примитивности орграфа и(р) следует примитивность и ехр ^ ехр и(р). Орграф является словом в алфавите Г, следовательно, множество Г примитивное и ехр Г ^ ((ц — 1)Л, + 1)ехр ^ ^ ((ц — 1)й + 1)ехр и(р). ■
Пример 3. На рис.1 изображены множества орграфов Г = {Г1, Г2} с множеством вершин {0,... , 5}. На рис.1, а орграфы имеют общий гамильтонов контур Z = (0,... , 5), на рис.1, б множество общих контуров есть (С = {(0,1, 2, 3), (0,1), (2, 3), (4, 5)}. Оценки экспонентов и их точные значения приведены в табл. 2.
0) ОХ яС0'.
5 Х2) (5;
4 (3 Г!
Г
и
(2)
5 (4) (5) (4) \5) (4
и(2)
Г1
Г2 б
Рис. 1. Множества Г = {Г1, Г2} и соответствующие орграфы и(2)
Таблица 2
Г Универсальная оценка (1) Улучшенная оценка (2) Оценка (3) Оценка (5) ехр Г
а ехр Г < 115 ехр Г < 73 ехр Г < 17 ехр Г < 63 11
б — ехр Г < 21 8
Заключение
Исследованы условия примитивности и оценки экспонентов множества орграфов с множеством общих контуров, в частности с общим гамильтоновым контуром. Данные классы множеств содержат классы множеств перемешивающих орграфов регистров сдвига, широко используемых для построения систем защиты информации. Получен существенно более простой (по сравнению с общим случаем) критерий примитивности множества орграфов, имеющих семейство общих контуров, содержащих все п вершин, в частности имеющих общий гамильтонов контур.
Критерий примитивности множества орграфов с общим гамильтоновым контуром позволил получить точное значение числа примитивных множеств таких орграфов для примарного числа вершин. В случае когда п — степень числа 2, этот результат имеет прикладное значение для исследования регистровых преобразований.
а
На примере множеств из двух орграфов с общими контурами показана возможность получения более точных оценок (3) и (5) по сравнению с универсальными оценками (1) и (2). Если общее множество контуров содержит гамильтонов контур, оценка (3) существенно уточняет оценку (5).
ЛИТЕРАТУРА
1. Фомичев В. М. Методы дискретной математики в криптологии. М.: Диалог-МИФИ, 2010. 424 c.
2. Фомичев В. М., Мельников Д. А. Криптографические методы защиты информации. Ч. 1. Математические аспекты. М.: Изд-во «ЮРАЙТ», 2016. 209 c.
3. Frobenius G. Uber Matrizen aus nicht negativen Elementen // Sitzungsber K. Preuss. Akad. Wiss., 1912. P. 456-477.
4. Dulmage A. L. and Mendelsohn N. S. The exponent of a primitive matrix // Canad. Math. Bull. 1962. No. 5. P. 241-244.
5. Harary F. Graph Theory. Addison-Wesley Publ., 1969. 275 p.
6. Perkins P. A theorem on regular graphs // Pacific J. Math. 1912. V. II. P. 1529-1533.
7. Протасов Ю. В. Полугруппы неотрицательных матриц // Успехи математических наук. 2010. Т. 65. Вып. 6(396). С. 191-192.
8. Cohen J. E. and Sellers P. H. Sets of nonnegative matrices with positive inhomogeneous products // Linear Algebra Appl. 1982. V.47. P. 185-192.
9. OleskyD.D., ShaderB., and van den Driessche P. Exponents of tuples of nonnegative matrices // Linear Algebra Appl. 2002. V.356. No. 1-3. P. 123-134.
10. Авезова Я. Э. О примитивности некоторых множеств перемешивающих орграфов регистровых преобразований // Прикладная дискретная математика. Приложение. 2017. №10. С. 60-62.
11. Авезова Я. Э., Фомичев В. М. Условия примитивности и оценки экспонентов множеств ориентированных графов // Прикладная дискретная математика. 2017. №35. С. 89-101.
12. Авезова Я. Э. Критерий примитивности и оценки экспонентов множества орграфов с общим множеством контуров // Прикладная дискретная математика. Приложение. 2018. №11. С. 102-104.
13. Кяжин С. Н. Весовые свойства примитивных матриц // Прикладная дискретная математика. Приложение. 2018. №11. С. 10-12.
14. Protasov V. Yu. and Voynov A. S. Sets of nonnegative matrices without positive products // Linear Algebra Appl. 2012. V.437. No.3. P. 749-765.
15. Voynov A. S. Shortest positive products of nonnegative matrices // Linear Algebra Appl. 2013. V. 439. No. 6. P. 1627-1634.
16. Blondel V. D., Jungers R. M., and Olshevsky A. On primitivity of sets of matrices // Automatica. 2015. V.61. P. 80-88.
17. Фомичев В. М. Новая универсальная оценка экспонентов графов // Прикладная дискретная математика. 2016. №3(33). С. 78-84.
18. Авезова Я. Э., Фомичев В. М. Комбинаторные свойства систем разноразмерных 0,1-матриц // Прикладная дискретная математика. 2014. №2(24). С. 5-11.
19. Фомичев В. М. Свойства минимальных примитивных орграфов // Прикладная дискретная математика. 2015. №2(28). С. 86-96.
20. Авезова Я. Э., Фомичев В. М. Об одном наследственном признаке в циклических полугруппах графов // Прикладная дискретная математика. Приложение. 2016. №9. С. 105-109.
REFERENCES
1. Fomichev V. M. Metody diskretnoy matematiki v kriptologii [Methods of Discrete Mathematics in Cryptology]. Moscow, Dialog-MIFI Publ., 2010. 424p. (in Russian)
2. Fomichev V.M. and Mel'nikov D. A. Kriptograficheskie metody zashchity informatsii. Ch. 1. Matematicheskie aspekty [Cryptographic Methods of Information Security. P. 1. Mathematical Aspects]. Moscow, YuRAYT Publ., 2016. 209p. (in Russian)
3. Frobenius G. Uber Matrizen aus nicht negativen Elementen. Sitzungsber K. Preuss. Akad. Wiss., 1912, pp. 456-477.
4. Dulmage A. L. and Mendelsohn N. S. The exponent of a primitive matrix. Canad. Math. Bull., 1962, no.5, pp. 241-244.
5. Harary F. Graph Theory. Addison-Wesley Publ., 1969. 275 p.
6. Perkins P. A theorem on regular graphs. Pacific J. Math., 1961, vol. II, pp. 1529-1533.
7. Protasov Yu. V. Semigroups of non-negative matrices. Russian Math. Surveys, 2010, vol.65, no. 6, pp. 1186-1188.
8. Cohen J. E. and Sellers P. H. Sets of nonnegative matrices with positive inhomogeneous products. Linear Algebra Appl., 1982, vol.47, pp. 185-192.
9. OleskyD.D., ShaderB., and van den Driessche P. Exponents of tuples of nonnegative matrices. Linear Algebra Appl., 2002. vol.356, no. 1-3, pp. 123-134.
10. Avezova Y. E. O primitivnosti nekotorykh mnozhestv peremeshivayushchikh orgrafov registrovykh preobrazovaniy [On primitivity of some shift registers mixing digraphs sets]. Prikladnaya Diskretnaya Matematika. Prilozheniye, 2017, no. 10, pp. 60-62. (in Russian)
11. Avezova Y.E. and Fomichev V.M. Usloviya primitivnosti i otsenki eksponentov mnozhestv oriyentirovannykh grafov [Conditions of primitivity and exponent bounds for sets of digraphs]. Prikladnaya Diskretnaya Matematika, 2017, no. 35, pp. 89-101. (in Russian)
12. Avezova Y. E. Kriteriy primitivnosti i otsenki eksponentov mnozhestva orgrafov s obshchim mnozhestvom konturov [The criterion of primitivity and exponent bounds for a set of digraphs with common cycles]. Prikladnaya Diskretnaya Matematika. Prilozheniye, 2018, no. 11, pp. 102-104. (in Russian)
13. Kyazhin S. N. Vesovye svoystva primitivnykh matrits [Weight properties of primitive matrices]. Prikladnaya Diskretnaya Matematika. Prilozheniye, 2018, no. 11, pp. 10-12. (in Russian)
14. Protasov V. Yu. and Voynov A. S. Sets of nonnegative matrices without positive products. Linear Algebra Appl., 2012, vol.437, no.3, pp. 749-765.
15. Voynov A. S. Shortest positive products of nonnegative matrices. Linear Algebra Appl., 2013, vol. 439, no. 6, pp. 1627-1634.
16. Blondel V. D., Jungers R. M., and Olshevsky A. On primitivity of sets of matrices. Automatica, 2015, vol.61. pp.80-88.
17. Fomichev V. M. Novaya universal'naya otsenka eksponentov grafov [The new universal estimation for exponents of graphs]. Prikladnaya Diskretnaya Matematika, 2016, no. 3(33), pp. 78-84. (in Russian)
18. Avezova Y. E. and Fomichev V. M. Kombinatornyye svoystva sistem raznorazmernykh 0,1-matrits [Combinatorial properties of rectangular 0,1-matrix systems]. Prikladnaya Diskretnaya Matematika, 2014, no. 2(24), pp. 5-11. (in Russian)
19. Fomichev V. M. Svoystva minimal'nykh primitivnykh orgrafov [Properties of minimal primitive digraphs]. Prikladnaya Diskretnaya Matematika, 2015, no. 2(28), pp. 86-96. (in Russian)
20. Avezova Y. E. and Fomichev V. M. Ob odnom nasledstvennom priznake v tsiklicheskikh polugruppakh grafov [About one heritable character in cyclic semigroups of graphs]. Prikladnaya Diskretnaya Matematika. Prilozheniye, 2016, no. 9, pp. 105-109. (in Russian)
