тей, нахождение наибольшей клики, вычисление хроматического числа, определение наибольшего независимого множества вершин графа, поиск наименьшего пополнения графа до хордального, распознавание класса совершенных графов и др. Большинство из этих задач являются NP-трудными.
В работе атомарное представление графа применено к двум оптимизационным задачам: вычислению кратчайших путей для всех пар вершин взвешенного графа (AllPairs Shortest-Path, APSP) и нахождению наибольшей клики графа (Maximum-Clique-Problem, MCP). Первая задача полиномиально разрешимая, а вторая NP-трудная. Совместное использование алгоритма Флойда — Уоршолла [7] и атомарного представления входного n-вершинного графа позволяет находить точное решение задачи APSP за время O(nk3). Применение алгоритма Уилфа [7] к каждому атому и связывание решений, полученных для всех атомов входного графа, приводит к точному решению задачи MCP за время O(n • 1,39k). Заметим, что в обоих случаях время нахождения решения линейно зависит от п. Кроме того, чем меньше значение k, т. е. чем более разреженным является входной граф, тем быстрее работает алгоритм.
Таким образом, предложенный декомпозиционный подход даёт возможность создавать алгоритмы, способные за реальное время обрабатывать разреженные графы большой размерности.
ЛИТЕРАТУРА
1. Gardiner E., Willett P., and Artymiuk P. Graph-theoretic techniques for macromolecular docking // J. Chem. Inf. Comput. 2000. No. 40. P. 273-279.
2. Broder A., Kumar R., Maghoul F., et al. Graph structure in the Web // Comput. Networks. 2000. V. 33. P. 309-320.
3. Boginski V., Butenko S., and Pardalos P. M. Mining market data: A network approach // Comput. & Operat. Res. 2006. No. 33. P. 3171-3184.
4. Колчин В. Ф. Случайные графы. М.: Физматлит, 2004.
5. Быкова В. В. О разложении гиперграфа кликовыми минимальными сепараторами // Журнал Сибирского федерального университета. Математика и физика. 2012. №1(5). С. 36-45.
6. Быкова В. В. FPT-алгоритмы на графах ограниченной древовидной ширины // Прикладная дискретная математика. 2012. №2(16). С. 65-78.
7. Емеличев В. А., Мельников О. И., Сарванов В.И., Тышкевич Р. И. Лекции по теории графов. М.: Книжный дом «ЛИБРОКОМ», 2012.
УДК 519.1
ФОРМАЛИЗАЦИЯ КОМБИНАТОРНЫХ ЧИСЕЛ В ТЕРМИНАХ ЦЕЛОЧИСЛЕННЫХ РЕШЕНИЙ СИСТЕМ ЛИНЕЙНЫХ ДИОФАНТОВЫХ УРАВНЕНИЙ
В. В. Гоцуленко
Рассмотрены некоторые обобщения числа размещений с повторениями при различных типах ограничений. Подсчёт данных комбинаторных чисел приводит к определению числа целых неотрицательных решений систем линейных диофан-товых уравнений при соответствующих дополнительных ограничениях. Получены производящие функции и интегральные формулы для вычисления введённых
комбинаторных чисел и рассмотрены различные задачи, которые решаются с их применением.
Ключевые слова: комбинаторные числа, системы линейных диофантовых уравнений, производящие функции.
В работе вводятся в рассмотрение комбинаторные числа размещений с повторениями при различных дополнительных ограничениях [1]. Формулировка достаточно общей комбинаторной задачи, приводящей к размещениям с повторениями при рассматриваемых ограничениях, может быть следующей [2]. Предположим, что имеется N различных ящиков, в каждом из которых находится достаточно большое (например, бесконечное) число конфет д различных видов. Конфеты упакованы по коробкам. Известно, что в г-м ящике (г = 1,... , N) конфеты ]-го вида (_?' = 1,... , д) упакованы в коробки вместительностью по г] а (в = 1, . . . , П]) штук, где П] —число объёмов коробок г-го ящика, в которых находятся конфеты ]-го вида. Путь также имеется Я детей, которым необходимо дать конфеты из этих N ящиков. При этом к-му ребёнку (к = 1,... , Я) необходимо дать ровно конфет ]-го вида. Необходимо, чтобы суммарное число конфет всех коробок, взятых из г-го ящика для к-го ребёнка, было равно ргк, где ргк — фиксированные целые неотрицательные числа. Также требуется, чтобы суммарное число всех конфет ]-го вида, розданных всем детям из г-го ящика, было равно наперёд заданному целому неотрицательному числу (!]. Любое допустимое распределение конфет д видов Я детям из N различных ящиков будем называть обобщённым д-размещением из N по Я при жёстких ограничениях.
Если безразлично, сколько конфет каждого вида необходимо раздать детям из каждого ящика, то допустимое распределение конфет д видов Я детям из N различных ящиков будем называть обобщённым д-размещением из N по Я при мягких ограничениях. В последнем случае будем предполагать, что для к-го ребёнка (к = 1,... , Я) задано число конфет ш^, которые необходимо ему дать из всех N ящиков. Также предполагается заранее заданным рг — суммарное число конфет, которое разрешается взять из г-го ящика (г = 1,... , N).
Как в первом, так и во втором случаях на выборку конфет из ящиков возможны различные ограничения. Рассмотрим следующие три типа ограничений:
A) Конфеты во всех ящиках находятся не в коробках, а россыпью (т. е. г] 8 = 1 для всех г, ^, в) и из каждого ящика разрешается брать любое допустимое число конфет.
B) Из каждого ящика разрешается брать не более одной допустимой коробки конфет каждого вида.
C) Разрешается брать любое число допустимых коробок конфет каждого вида из любого ящика.
Обозначим через Х] число конфет ]-го вида, взятых из г-го ящика к-му ребёнку. Тогда при жёстких ограничениях приходим к следующей системе линейных диофан-товых уравнений (г = 1,... , N ] = 1,... , д, к = 1,... , Я):
N
Я
(1)
і= 1
3 = 1
к= 1
При мягких ограничениях получается система уравнений
N я я Я
Е Ё Щк = тк; Ё Е хгік = Рг, і = 1,..., N к = 1,..., Д. і=1 і= 1 і= 1 к= 1
В случае «В» областью допустимых значений для (1) и (2) являются множества
9
N X П, ■
г)
хцк € {г]з : 1 ^ в ^ Щ]} и {0}, г = 1,..., N 7 = 1,..., д, к = 1,..., Я. (3)
Введём в рассмотрение множества целых чисел (г = 1,..., N 7 = 1,... , д)
1ч = ({г).}
Л) = Л) (р. {г'Л;= {г € Ц{г]Л;: г « Р} , Р € N.
Тогда для задачи «С» множествами допустимых решений для (1) и (2) являются
Хг)к € Ьг) (тш {ш)к ^гкЛ)} , {г)ЛХхП- ) , г 7 = 1,...,g, к =1,...,Я. (4
Г П?
^ Е а«гц з : а5 € N и {0}, в = 1,..., п
и=1
Таким образом, вычисление введённых комбинаторных чисел сводится к определению числа целых неотрицательных решений систем уравнений (1) или (2) без ограничений, а также при ограничениях (3) или (4). Установлено, что число всех целых неотрицательных решений системы уравнений (1) равно коэффициенту при ^ *22 ... в разложении по возрастающим показателям степеней *1 *22 ... следующей производящей функции (а = 1,... , К, в = 1,... , М):
м
Ф (*1, *2, . . . ,*К) = П (1 “ П *«
а=1
К
ав
в=1
(г) = (Г1, Г2) , г 1 = 1 +
-1
г — 1 П2
где М = ^Я, К = ^ + дЯ + NЯ, г1
(5)
, г 2 = 1 + П2
П2
г = 1,
, П1П2,
ф (в) = (г,7,к) ,ф1 (в) = г,ф2 (в) = 7,ф3 (в) = к,ф21 (в) = (?',к) ,ф22 (в) = (г,к)
ф23 (в) = (г,.7) ,г = 1 +
"1 [в —11
_д . я
в — 1 Я
к = 1 + Я
в — 1 Я
1, если 1 ^ а ^ дЯ, ия,д (а) = ф21 (в) ,
1, если дЯ +1 ^ а ^ дЯ + NЯ, д (а — дЯ) = ф22 (в),
1, если дЯ + NЯ +1 ^ а ^ дЯ + NЯ + ^, 9 (а — дЯ — NЯ) = ф23 (в)
0 в остальных случаях;
Ьл
ш)к, если 1 ^ а ^ дЯ, и9,д (а) = (7, к), ргк, если дЯ +1 ^ а ^ дЯ + NЯ, и^,к (а — дЯ) = (г, к) ,
, если дЯ + NЯ +1 ^ а ^ дЯ + NЯ + Nд, (а — дЯ — NЯ) = (г,7).
Установлено также, что число всех целочисленных решений системы уравнений (1) при условии (3) равно коэффициенту при *1*2 ... в разложении по возрастающим показателям степеней *1*22 ... следующей производящей функции:
м / п,1(в),,2(в) К а в г
Ф(*1,*2,...,*к)=П(1 + Е П *«а
в=1 V к=1 а=1
в Г^2(в)
в Фг(в),к
(6)
Аналогично, производящей функцией для определения числа целых неотрицательных решений системы уравнений (1) при ограничениях (4) является функция
мК
Ф (*1 ,*2, . . . ,*К) = П
в=1
геД,
Ф23(в)
Е
д,(в) >{г^}
я
N Хп,
п
а=1
а в Г
(7)
V
7
Полагая в (5)-(7) К = Я + N, М = ЯN,
1, если 1 ^ а ^ Я, ф3 (в) = а,
^ 1, если Я +1 ^ а ^ Я + N ф1 (в) = а — Я,
0 в остальных случаях;
шг, если 1 ^ а ^ Я, а = г, рк, если Я +1 ^ а ^ Я + N а — Я = к,
Ьа
получим производящие функции для числа целых неотрицательных решений системы (2) без ограничений, а также соответственно при ограничениях (3) и (4).
ЛИТЕРАТУРА
1. Яблонский С. В. Введение в дискретную математику. М.: Наука, 1986. 384 с.
2. Гоцуленко В. В. Формула для числа сочетаний с повторениями при ограничениях и её применение // Прикладная дискретная математика. 2013. №2(20). С. 71-77.
УДК 519.6
АЛГОРИТМ ГЕНЕРАЦИИ ПАРЫ ПРОСТЫХ ЧИСЕЛ СПЕЦИАЛЬНОГО ВИДА
К. Д. Жуков, А. С. Рыбаков
Рассматривается алгоритм генерации пары простых чисел p и q, таких, что числа g = — (p — 1, q — 1) и h = —{pq — 1) также простые. Такие простые числа впервые 2 2g
рассмотрены в 2006 г. М. Дж. Хинеком в связи с предложенной им модификацией криптосистемы RSA, устойчивой к атакам на малые секретные экспоненты. Приводятся экспериментальные данные о времени работы алгоритма.
Ключевые слова: простые специального вида, Common Prime RSA.
В 2006 г. М. Дж. Хинек предложил вариант криптосистемы RSA, устойчивой к атакам на малую секретную экспоненту, которая была названа Common Prime RSA. Простые сомножители P и q модуля Common Prime RSA выбираются такими, чтобы числа
g = 1(p — 1,q — ^ h =2g (pq — 1) (1)
были также простыми, причём число g должно быть достаточно большим.
Система Common Prime RSA не получила распространения. Этот факт связан с малым количеством публикаций по её анализу. Большинство атак на данную разновидность RSA были также предложены М. Дж. Хинеком (см., например, [2]). Не способствует распространению и отсутствие острой необходимости использовать малые секретные экспоненты; другим сдерживающим фактором использования Common Prime RSA является долгая генерация ключей.
Простейшая версия алгоритма генерации простых сомножителей модуля криптосистемы Common Prime RSA, предложенная в [1], описана ниже.