CC BY
146
МЕТОДЫ И СИСТЕМЫ ЗАЩИТЫ ИНФОРМАЦИИ, ИНФОРМАЦИОННАЯ БЕЗОПАСНОСТЬ
DOI: 10.18698/0236-3933-2016-1-89-97
УДК 511.333:511.337
МОДЕЛЬ ФОРМИРОВАНИЯ ПРОСТЫХ ЧИСЕЛ НА ОСНОВЕ СИММЕТРИЧНОГО ПРЕДСТАВЛЕНИЯ КОЛЬЦЕВОЙ ФАКТОРИЗАЦИИ ПРИ ОТБОРЕ СОСТАВНЫХ ЧИСЕЛ
В.А. Минаев1, Е.В. Вайц1, Д.В. Никеров2, С.А. Никонов2
ХМГТУ им. Н.Э. Баумана, Москва, Российская Федерация e-mail: m1va@yandex.ru; vaitcev@yandex.ru
2Российский новый университет, Москва, Российская Федерация e-mail: dnik@bk.ru; nikonov.simon@yandex.ru
Развитие методов поиска простых чисел, основанных на эффективных алгоритмах просеивания, имеет огромное фундаментальное и прикладное значение для решения проблем обеспечения информационной безопасности. Рассмотрена модель формирования простых чисел, основанная на применении метода симметричной кольцевой факторизации к отбору составных чисел и обобщении теоремы о полном множестве простых чисел.
Ключевые слова: информационная безопасность, простые числа, кольцевая факторизация.
таЕ PRIME FORMATION MODEL BASED ON THE SYMMETRIC REPRESENTATION OF RING FACTORIZATION IN SELECTING COMPOSITE NUMBERS
V.A. Minaev1, E.V. Vayts1, D.V. Nikerov2, S.A. Nikonov2
1Bauman Moscow State Technical University, Moscow, Russian Federation e-mail: m1va@yandex.ru; vaitcev@yandex.ru
2Russian New University, Moscow, Russian Federation e-mail: dnik@bk.ru; nikonov.simon@yandex.ru
The development of prime search methods based on effective sieving algorithms has a tremendous fundamental and applied significance in information security. The article discusses the model of Prime formations based on the method of symmetric ring factorization applied to selection of composite numbers and generalization of the theorem on the complete set of Primes.
Keywords: information security, primes, ring factorization.
Введение. При решении задачи нахождения полного множества простых чисел на определенном отрезке натурального ряда во многих современных алгоритмах используется предварительный отбор составных чисел [1-3]. При этом для предварительного отбора составных чисел, как правило, применяется метод кольцевой фактори-
зации [4]. Суть метода заключается в следующем: перемножаются несколько первых простых чисел, идущих подряд (математическая операция, известная как примориал), например, 3# = 2 х 3 = 6, 5# = 2 х х 3 х 5 = 30, 7# = 2 х 3 х 5 х 7 = 210 и т.д. Затем строится таблица с числом столбцов, равным полученному примориалу, ячейки которой нумеруются по порядку (рисунок) [5]. При этом для обобщения добавлена кольцевая факторизация для 2# = 2. В построенных таблицах выделим столбцы, которые начинаются с единицы, с простых чисел, не участвовавших в получении примориала, а также со всевозможных произведений этих простых чисел, меньших примориала.
Согласно методу кольцевой факторизации, в неотмеченных столбцах находятся только составные числа, за исключением всех участвовавших в получении примориала простых чисел (расположены в первых строках таблиц).
Далее исключим из рассмотрения неотмеченные столбцы, при этом учитывая все участвовавшие в получении примориала простые числа. Очевидно, что в отмеченных столбцах находятся простые числа, а также единица и оставшиеся после предварительного отбора составные числа. Определим понятие "порядок кольцевой факторизации".
Определение 1. Порядок кольцевой факторизации — число сомножителей примориала, используемого при построении соответствующей таблицы предварительного отбора составных чисел.
Метод кольцевой факторизации позволяет отсеять значительную часть составных чисел: для 3# отсеивается 66,66% всех составных чисел; для 7# — более 77 %; для 251# — около 90 %.
На следующем этапе для исключения оставшихся составных чисел применяют различные алгоритмы, например, решето Эратосфена, решето Аткина и др., а также современные алгоритмы, основанные на индексном представлении составных чисел в натуральном ряде [1, 4-6]. Сравнение быстродействия индексного алгоритма с решетом Ат-кина, из результатов которого следует, что индексный алгоритм на исследованном отрезке натурального ряда работает в 12 раз быстрее проведено в работе [7].
Табличное отображение кольцевой факторизации для 2# (а), 3# (б) и 5# (в)
Примем следующие обозначения: N0 — множество всех натуральных чисел и {0}; N — множество всех натуральных чисел; {д} — множество всех простых и составных чисел; {с} — множество всех составных чисел; {р} — множество всех простых чисел.
Для нумерации простых чисел подряд по возрастанию используем левый верхний индекс: 1р = 2; 2р = 3; 3р = 5; 4р = 7 и т.д. Отметим, что 1 является единственным натуральным числом, не являющимся ни простым, ни составным, т.е. {д} = N^1}.
Представление составных чисел через простой сомножитель. Согласно основной теореме арифметики, каждое натуральное число п > 1 единственным образом представимо в виде
к
п = П ^' (1)
г=1
где к € N р1 < р2 < ... < рк — упорядоченные по возрастанию простые числа; а1, а2,...,ак € N. Представление числа п в виде (1) называется его каноническим разложением.
Используя каноническое разложение для составных чисел, нетрудно показать, что верно утверждение о единственном представлении составного числа через его наименьший простой делитель.
Утверждение 1. Каждое составное число единственным образом представимо в виде
с = Р1Я, (2)
где р1 — наименьший простой делитель с; величина д удовлетворяет условию р1 < д.
Сформулируем утверждение о представлении составных чисел через их простые делители.
Утверждение 2. Каждое составное число представимо в виде
с = рд, (3)
где р — простой делитель с : р < \[с; величина д удовлетворяет условию р < д.
Существование представления (3) следует напрямую из представления (2). При этом условие р < \[с для с = рд следует из условия
р < д.
Отметим, что представление составных чисел через их простые делители (3) не всегда является единственным для конкретного составного числа, однако применимо для каждого его простого делителя, не превышающего \[с.
Обобщение теоремы о полном множестве простых чисел. Определим индексы 1,],к € N. Введем следующие обозначения: {д+Л = {2к + 1} — множество всех нечетных чисел (за исключением 1); {с+/} = {2^' + 1} — множество всех нечетных составных чисел;
{р+/} = {2г + 1} — множество всех простых чисел (за исключением 2). При этом k принимает все значения натурального ряда, а индексы i и у принимают все значения натурального ряда таким образом, что индекс i принимает те значения, которые не принимает индекс у, а индекс у принимает те значения, которые не принимает индекс i.
Теорема о полном множестве простых чисел вида {6г ± 1}, основанная на кольцевой факторизации второго порядка для предварительного отбора составных чисел, сформулирована и доказана в работе [1]. Сформулируем и докажем обобщенную теорему о полном множестве простых чисел, основанную на кольцевой факторизации первого порядка.
Теорема 1. Полное множество простых чисел является объединением {2} и множества {р+/}, которое формируется путем вычитания из множества {д^1} подмножества {С+1} чисел, определяемых по уравнению
С++1! = + Р+/2ш, (4)
где т € М0; г € N.
< Поскольку нечетные составные числа не делятся на 2, в соответствии с соотношением (3), представляющем составные числа через их простые делители, каждое нечетное составное число С+1 может быть представлено в виде
С++1! = Р+Ч+1 = (2г + 1)(2к + 1), (5)
где Р+1 — простой делитель С++1!; Р+1 < д+к1.
Следовательно, г < к. Введем индекс т € М0: т = к — г. Тогда соотношение (5) может иметь вид
с++\ = (2г + 1)(2(г + т) + 1) = (2г + 1)2 + (2г + 1)2т. (6)
Соотношение (6) идентично соотношению (4). Таким образом, каждое нечетное составное число С+1 может быть представлено в виде соответствующего члена как минимум одной аддитивной последовательности (4). Следовательно, полное множество простых чисел является объединением {2} и множества {р+/}, которое формируется путем вычитания из множества {д^,1} подмножества {С+1} чисел, определяемых по уравнению (4). ►
Переход к симметричному виду кольцевой факторизации. Пусть пр — п-е простое число. При исключении из отрезка натурального ряда [1; пр#] чисел, равных и кратных числам 1р,2 р,... ,п р, в нем останутся числа из первой строки таблицы кольцевой факторизации п-го порядка. При этом первая строка таблицы кольцевой факторизации первого порядка имеет 2 — 1 = 1 число, первая строка таблицы кольцевой факторизации второго порядка — (2 — 1) х (3 — 1) = 2 числа,
первая строка таблицы кольцевой факторизации третьего порядка — (2 — 1) х (3 — 1) х (5 — 1) = 8 чисел и т.д. Определим функцию запаздывающего примориала (retarded primorial).
Определение 2. Функция запаздывающего примориала аргумента n е N :
n
>#-1 = ПО — 1} . (7)
i=1
Отметим, что исследование асимптотики функции запаздывающего примориала представляет собой отдельную задачу.
При исключении из отрезка натурального ряда [1; np#] чисел, равных и кратных 1 p,2 p,... ,n p, в нем, согласно (7) останется np#-1 чисел из первой строки таблицы кольцевой факторизации n-го порядка.
Определим параметр s как следующую функцию от аргумента n е N:
n = 1 : s = 0; (8) n > 2: s = np#-1/2 — 1. (8)
Сформулируем и докажем теорему о симметричном представлении кольцевой факторизации второго и более старших порядков.
Теорема 2. Таблица кольцевой факторизации n-го порядка (n > 2) имеет np#-1 столбцов, числа в которых представимы в виде {np#k ±n q}, {np#k ±n q}, ..., {np#k ±n q}, ..., {np#k ±n q}, где k — номер строки таблицы кольцевой факторизации, k е N; nq = 1; nq, ..., nq, ..., nq — не участвовавшие в получении np# простые числа и их произведения, меньшие np#/2 и записанные по возрастанию; s (8) — количество простых чисел и их произведений на интервале (np; np#/2); r е {0; 1;...; s}.
< Таблица кольцевой факторизации n-го порядка имеет np#-1 (7) столбцов, так как первая строка этой таблицы имеет столько же чисел. Число np# по определению кратно числам 1 p, 2p, ..., np, отсюда на отрезке натурального ряда [1; np#] следует симметричность располо-
1 2 n
жения чисел, равных и кратных числам 1p, 2p, . . . , np, относительно
np#/2 (Vn е N np# . 2). Таким образом, числа первой строки таблицы кольцевой факторизации n-го порядка также имеют симметричное расположение относительно np#/2.
Поскольку при n > 2 количество чисел первой строки таблицы кольцевой факторизации n-го порядка будет четным, эти числа представимы в виде {np#±nq}, {np#±nq},..., {np#±nq},..., {np#±nq}, где nq = 1; nq, ..., nq, ..., nq — не участвовавшие в получении np# простые числа и их произведения, меньшие np#/2 и записанные по возрастанию; s(8) — количество простых чисел и их произведений на интервале (np; np#/2); r е {0; 1;...; s}.
Каждая следующая строка таблицы увеличивает значения чисел в столбцах на пр#, следовательно, числа в ^й строке таблицы кольцевой факторизации п-го порядка представимы в виде {пр#к ±П д}, {пр#к ±п д}, ..., {пр#к ±п д}, ..., {пр#к ±п д}. ►
Определим индексы г, у, к € N. Введем следующие обозначения: {дпр#к} — множество всех простых и составных чисел, не равных и не кратных числам 1р, 2р, ..., пр; {с} — множество всех составных чисел, не кратных числам 1р, 2р, ..., пр; {р«р#г} — множество всех
1 2 п
простых чисел, кроме чисел 1р, 2р, ..., ' р.
В соответствии с теоремой о симметричном представлении кольцевой факторизации второго и более старших порядков, множество {дпр#к} можно разбить на пр#-1 подмножеств. Представим данные подмножества в виде матрицы 2 х (в + 1)(8):
1 ■ ■ ■ 1 ■ ■ ■ 1 q»p#fe
(9)
0 M +1 q I I +rq I I + s q
... |д»р#^ ... |д»р#1
Здесь г € {0; 1;...; в}; Уи > 2, k принимает все значения натурального ряда для каждого элемента матрицы подмножеств (9) {д«р#к} , элементы которой представимы как
= пр#к ± пд;
= пр#у ± пд; (10)
А* = пр#г ± пд,
при этом а, Ь € {0; 1;...; в}; знаки в левой и правой частях в каждом соотношении (10) расставлены соответственно; Уи > 2 при а = Ь для одинаковых знаков второго и третьего соотношений (10); индексы i и у совместно принимают все значения натурального ряда так, что индекс i принимает те значения, которые не принимает индекс у, а индекс у — те значения, которые не принимает индекс i. Таким образом, множество {спр# } также можно разбить на пр#-1 подмножеств в виде матрицы 2 х (в + 1)
c-3qi(c-?qi■■■ ■■■ {c-q
+oO +i4 I +ПН I +?q
... ... \С"р#)
а множество {р«Р# г} — на пр#-1 подмножеств в виде матрицы 2 х
х (в + 1)
-о« 1 Г„-?« 1 Г„-ьМ I
Г ■ ■ ■ Г ■ ■ ■ Ipnp#i
f 1 f" ■ ■ ■ i" ■ ■ ■ 1
Поскольку принадлежащие множеству {спр# } составные числа не делятся на 1р, 2р, ..., пр, в соответствии с соотношением (3) каждое принадлежащее множеству {спр#} составное число спа# может быть представлено в виде:
Уп € N Уа € {0; 1;...; в}; 3 г, к € N Ь, г € {0; 1;...; в};
где р„;#г — простой делитель , при этом рПр#г < д„;#к.
Заключение. Обосновано симметричное представление кольцевой факторизации при отборе составных чисел и приведено доказательство соответствующей теоремы. Полученные оценки показывают, что использование симметричного алгоритма поиска простых чисел по сравнению с несимметричным алгоритмом позволяет ускорить время расчета. Например, для факторизации числа Я8А-768, длившейся около 20 месяцев, симметричный алгоритм потребовал около 20 дней работы используемого не самого мощного вычислительного кластера. Кроме того, предварительные исследования показывают, что использование симметричного алгоритма по сравнению с несимметричным алгоритмом позволяет на разных интервалах натурального ряда в диапазоне до 1012 ускорить время расчета на 3... 7%.
Усовершенствована модель поиска простых чисел, основанная на применении метода кольцевой факторизации и обобщении теоремы о полном множестве простых чисел при отборе составных чисел. Получены важные фундаментальные и прикладные результаты, использование которых позволяет более эффективно решать задачи обеспечения информационной безопасности [2, 3, 8, 9].
ЛИТЕРАТУРА
1. Минаев В.А. Простые числа: новый взгляд на закономерности формирования. М.: Логос, 2011. 80 с.
2. Курушин В.Д., Минаев В.А. Компьютерные преступления и информационная безопасность. Справочник. М.: Новый юрист, 1998. 256 с.
3. Карпычев В.Ю., Минаев В.А. Цена информационной безопасности // Системы безопасности. 2003. № 5. С. 128-130.
4. Высокопроизводительный алгоритм генерации простых чисел в произвольном диапазоне / В.А. Минаев, Н.П. Васильев, В.В. Лукьянов, С.А. Никонов, Д.В. Никеров // Материалы XIV международной научной конференции "Цивилизация знаний: проблемы и смыслы образования". 2013. М.: Изд-во РосНОУ. С. 494-498.
5. Минаев В.А., Никонов С.А., Никеров Д.В. Симметричные формы индексных алгоритмов вычисления простых чисел // Спецтехника и связь. 2014. № 5. С. 40-48.
6. Минаев В.А., Никеров Д.В., Никонов С.А. Аддитивный индексный алгоритм вычисления простых чисел // Спецтехника и связь. 2015. № 1. С. 46-50.
7. Минаев В.А., Никонов С.А., Никеров Д.В. Сравнение быстродействия модифицированного индексного алгоритма с решетом Аткина при поиске простых чисел // Спецтехника и связь. 2015. № 2. С. 38-41.
8. Минаев В.А., Саблин В.Н., Фисун А.П. Теоретические основы информатики и информационная безопасность. М.: Радио и связь. 2000. 468 с.
9. Минаев В.А., Скрыль С.В. Основы информационной безопасности. Воронеж: Изд-во Воронежского института МВД России, 2001. 464 с.
REFERENCES
[1] Minaev V.A. Prostye chisla: novyy vzglyad na zakonomernosti formirovaniya [Prime Numbers: New Insight into the Patterns of Forming]. Moscow, Logos Publ., 2011. 80 p.
[2] Kurushin V.D., Minaev V.A. Komp'yuternye prestupleniya i informatsionnaya bezopasnost'. Spravochnik [Computer Crimes and Information Security. Handbook]. Moscow, Novyy yurist Publ., 1998. 256 p.
[3] Karpychev V.Yu., Minaev V.A. Tsena informatsionnoy bezopasnosti [The Cost of Information Security]. Sistemy bezopasnosti [Security Systems], 2003, no. 5, pp. 128130 (inRuss.).
[4] Minaev V.A., Vasil'ev N.P., Luk'yanov V.V., Nikonov S.A., Nikerov D.V. HighPerformance Algorithm for Generating Prime Numbers in an Arbitrary Range. Mat. XIV mezhdunar. nauch. konf. "Tsivilizatsiya znaniy: problemy i smysly obrazovaniya" [Proc. of XIV International Scientific Conference "Civilization of Knowledge: Problems and Significance of Education"], Moscow, RosNOU Publ., 2013, pp. 494498 (in Russ.).
[5] Minaev V.A., Nikonov S.A., Nikerov D.V. The Symmetric Forms of the Index Algorithms for Computing Prime Numbers. Spetstekhnika i svyaz' [Specialized Machinery and Communication], 2014, no. 5, pp. 40-48 (in Russ.).
[6] Minaev V.A., Nikerov D.V., Nikonov S.A. Additive Index Algorithm for Computing Prime Numbers. Spetstekhnika i svyaz' [Specialized Machinery and Communication], 2015, no. 1, pp. 46-50 (in Russ.).
[7] Minaev V.A., Nikonov S.A., Nikerov D.V. Comparison of Processing Speed of the Modified Index Algorithm and Atkin Sieve When Searching for Primes. Spetstekhnika i svyaz' [Specialized Machinery and Communication], 2015, no.2, pp. 38-41 (in Russ.).
[8] Minaev V.A., Sablin V.N., Fisun A.P. Teoreticheskie osnovy informatiki i informatsionnaya bezopasnost' [Fundamental Theory of Informatics and Information Security]. Moscow, Radio i svyaz' Publ., 2000. 468p.
[9] Minaev V.A., Skryl' S.V. Osnovy informatsionnoy bezopasnosti [Fundamentals of Information Security]. Voronezh, Voronezhskiy institut MVD Rossii Publ., 2001. 464 p.
Статья поступила в редакцию 15.06.2015
Минаев Владимир Александрович — д-р техн. наук, профессор кафедры "Защита информации" МГТУ им. Н.Э. Баумана.
МГТУ им. Н.Э. Баумана, Российская Федерация, 105005, Москва, 2-я Бауманская ул., д. 5.
Minaev V.A. — Dr. Sci. (Eng.), Professor of Information Security department, Bauman Moscow State Technical University.
Bauman Moscow State Technical University, 2-ya Baumanskaya ul. 5, Moscow, 105005 Russian Federation.
Вайц Екатерина Викторовна — старший преподаватель кафедры "Защита информации" МГТУ им. Н.Э. Баумана.
МГТУ им. Н.Э. Баумана, Российская Федерация, 105005, Москва, 2-я Бауманская ул., д. 5.
Vayts E.V. — Senior Lecturer of Information Security department, Bauman Moscow State Technical University.
Bauman Moscow State Technical University, 2-ya Baumanskaya ul. 5, Moscow, 105005 Russian Federation.
Никеров Дмитрий Викторович — аспирант Российского нового университета. Российский новый университет, Российская Федерация, 105005, Москва, ул. Радио, д. 22.
Nikerov D.V. — post-graduate student of Russian New University. Russian New University, ul. Radio 22, Moscow, 105005 Russian Federation.
Никонов Семен Андреевич — аспирант Российского нового университета. Российский новый университет, Российская Федерация, 105005, Москва, ул. Радио, д. 22.
Nikonov S.A. — post-graduate student of Russian New University. Russian New University, ul. Radio 22, Moscow, 105005 Russian Federation.
Просьба ссылаться на эту статью следующим образом:
Минаев В.А., Вайц Е.В., Никеров Д.В., Никонов С.А. Модель формирования простых чисел на основе симметричного представления кольцевой факторизации при отборе составных чисел // Вестник МГТУ им. Н.Э. Баумана. Сер. Приборостроение. 2016. № 1. C. 89-97. DOI: 10.18698/0236-3933-2016-1-89-97
Please cite this article in English as:
Minaev V.A., Vayts E.V., Nikerov D.V., Nikonov S.A. ^е prime formation model based on the symmetric representation of ring factorization in selecting composite numbers. Vestn. Mosk. Gos. Tekh. Univ. im. N.E. Baumana, Priborostr. [Herald of the Bauman Moscow State Tech. Univ., Instrum. Eng.], 2016, no. 1, pp. 89-97. DOI: 10.18698/0236-3933-2016-1-89-97
