CC BY
8
2018 Вычислительные методы в дискретной математике №42
ВЫЧИСЛИТЕЛЬНЫЕ МЕТОДЫ В ДИСКРЕТНОЙ МАТЕМАТИКЕ
УДК 512.54
РЕСУРСНО-ЭФФЕКТИВНЫЙ АЛГОРИТМ ДЛЯ ИССЛЕДОВАНИЯ РОСТА В КОНЕЧНЫХ ДВУПОРОЖДЁННЫХ ГРУППАХ
ПЕРИОДА 51
А. А. Кузнецов*, А. С. Кузнецова**
* Сибирский государственный университет науки и технологий имени академика
М.Ф. Решетнева, г. Красноярск, Россия ** Красноярский государственный аграрный университет, г. Красноярск, Россия
Пусть B0(2, 5) = {0,1,0,2} —наибольшая конечная двупорождённая бернсайдова группа периода 5, порядок которой равен 534. Для каждого элемента данной группы существует уникальное коммутаторное представление вида а^1 ■ о■ ■ ... ■ aOf4, где ai G Z5, i = 1,2,..., 34. Здесь а1 и а2 — порождающие элементы B0(2, 5); а3,...,а34 — коммутаторы, которые вычисляются рекурсивно через а1 и а2. Определим фактор-группу группы B0(2,5) следующего вида: Bk = = B0(2, 5)/{ak+1,..., а34}. Очевидно, что |Bk| = 5k. В работе представлен ресурсно-эффективный алгоритм для исследования роста в конечных группах. Цель — минимизировать пространственную сложность алгоритма, сохранив при этом вычислительную сложность на приемлемом уровне. При помощи нового алгоритма вычислены функции роста группы B18 для минимального A2 = {01,02} и симметричного A4 = {ai, а-1, 02, а-1} порождающих множеств, а для группы B19 —только для A4. На основе полученных данных сформулирована гипотеза о значениях диаметров графов Кэли группы Bo(2, 5) для указанных порождающих множеств.
Ключевые слова: функция роста, группа Бернсайда, граф Кэли. DOI 10.17223/20710410/42/7
A RESOURCE-EFFICIENT ALGORITHM FOR STUDY THE GROWTH IN FINITE TWO-GENERATOR GROUPS OF EXPONENT 5
A. A. Kuznetsov*, A. S. Kuznetsova**
* Reshetnev Siberian State University of Science and Technology, Krasnoyarsk, Russia
** Krasnoyarsk State Agrarian University, Krasnoyarsk, Russia
E-mail: alex_kuznetsov80@mail.ru
For studying the growth in finite groups, we present a resource-efficient algorithm which is a modification of our early algorithm. The purpose of the modification is to
Исследование выполнено при финансовой поддержке РФФИ, Правительства Красноярского края, Красноярского краевого фонда поддержки научной и научно-технической деятельности в рамках научного проекта № 17-47-240318.
minimize the space complexity of the algorithm and to save its time complexity at an acceptable level. The main idea of the modified algorithm is to take in the given group G a suitable subgroup N such that |N| ^ |G|, to calculate growth functions for all cosets gN independently of each other, to summarize these functions and to obtain the growth function for the group G. By using this algorithm, we calculate the growth functions for the group Big with two generators a1 and a2 and for the groups Big, B19 with four generators a1, a-1, a2 and a-1, where Bk = B0(2, 5)/(ak+1,..., a34) is a quotient of the group Bo(2, 5) = (a1,a2) which is the largest two-generator Burn-side group of exponent 5 (its order is 534), a1 and a2 are generators of B0 (2, 5) and a3,..., a34 are the commutators of B0(2, 5), so each element in B0(2, 5) can be represented as a^1 ■a'^2 ■.. .-aOf4, a £ Z5, i = 1,2,..., 34. Based on these data, we formulate a hypothesis about the diameters of Cayley graphs of the group B0(2, 5) with generating sets A2 = {a1,a2} and A4 = {a1, a-1, a2, a-1}, namely, Da2(B0(2, 5)) w 105 and Da4(B0(2, 5)) w 69.
Keywords: Burnside group, the Cayley graph, the growth function.
Введение
Настоящая работа продолжает исследования, начатые в [1], и посвящена разработке ресурсно-эффективного алгоритма для исследования роста в конечных группах, в частности в двупорождённых группах периода 5. В [1] упор сделан на создании алгоритмов минимальной вычислительной сложности, что позволило получить ряд новых результатов о росте в указанных группах. Однако при работе с группой, состоящей из 518 w 4 ■ 1012 элементов, возникла принципиальная проблема — нехватка объёма памяти, несмотря на то, что для вычислений было задействовано значительное количество ресурсов: 1,2 Тбайт оперативной и 10 Тбайт дисковой памяти. По этой причине была поставлена цель — существенно снизить пространственную сложность алгоритма, сохранив при этом вычислительную сложность на приемлемом уровне.
Напомним основные определения, используемые в [1]. Пусть G = (X). Шаром Ks радиуса s группы G будем называть множество всех её элементов, которые могут быть представлены в алфавите X в виде несократимых групповых слов длины не больше s. Соответственно все элементы одинаковой длины i образуют сферу Pi радиуса i. Единица группы e является пустым словом, длина которого равна нулю. Согласно данным определениям,
Ks(G,X)= U Pi(G,X).
i=0
Для каждого целого неотрицательного i можно определить (сферическую) функцию роста группы Fi, которая равна числу элементов в сфере Pi:
Fi(G,X ) = |Pi(G,X )|.
Если из контекста ясно, о какой группе G = (X) идёт речь, то для краткости вместо Ki(G,X), Pi(G,X) и Fi(G,X) будем писать Ki, Pi и Fi, соответственно.
Обратим внимание, что при вычислении функции роста группы мы одновременно
выясняем характеристики ассоциированного с группой графа Кэли, например, такие,
как диаметр и средний диаметр [2]. Пусть Fs0 > 0, но FS0+1 = 0, тогда s0 является
диаметром графа Кэли группы G в алфавите порождающих X, который будем обо__1 S0
значать DX(G). Соответственно средний диаметр DX(G) равен —— s ■ Fs.
| G| s=0
К сожалению, вычисление функции роста большой конечной группы является хотя и разрешимой, но весьма сложной проблемой. Это связано с тем, что в общем случае задача по определению минимального слова элемента группы, как показали С. Ивен и О. Голдрейх [3], является NP-трудной. Поэтому для эффективного решения указанной задачи необходимо создание параллельных алгоритмов, адаптированных к использованию на многопроцессорных вычислительных системах.
Далее представлены алгоритмы, на основе которых при помощи компьютерных вычислений получены новые результаты о росте в конечных бернсайдовых двупорож-дённых группах периода 5.
1. Алгоритм 1
Пусть X — конечное порождающее множество произвольной конечной группы G. Базовый алгоритм 1, который вычисляет шар Ks(G,X) фиксированного радиуса s, представляет собой ограниченную версию алгоритма A-I из [1].
Алгоритм 1. Ks = Ball(G,X, s)
Вход: X — порождающее множество группы С, радиус в Выход: шар К3 группы С радиуса в
1: К3 := У Р^ где Pi := 0 — сферы радиуса г
г=0
2: Ро := {е}
3: Для всех г = 1, 2,..., в 4: Для всех х € X и р € 5: д := х ■ р 6: Если д € К, то 7: добавить д в Pi С К3
8: Если Р = 0, то 9: переход в п. 10 10: Вернуть К3
Лемма 1. Алгоритм 1 корректен, т.е. он за конечное число шагов вычисляет шар К3 фиксированного радиуса в произвольной конечной группы С, заданной порождающим множеством X.
Доказательство. По построению алгоритм 1 выражает каждый элемент группы С в виде группового слова наименьшей длины в алфавите X. После каждого прохода от п. 3 до п. 7 множество К3 представляет собой шар радиуса г группы С относительно X. Конечность С гарантирует остановку при некотором г ^ в. ■
Для оценки пространственной и вычислительной сложности алгоритмов воспользуемся асимптотическим анализом [4]. Введём следующие обозначения:
— ТДС, X, в) —вычислительная сложность (г — номер алгоритма);
— М>(С, X, в) — пространственная сложность;
— 0(/(С, X, в)) —верхняя асимптотическая оценка сложности;
— в(/(С, X, в)) —одновременно верхняя и нижняя оценка сложности.
Здесь и далее нас будет интересовать случай IX| ^ |С|. Лемма 2. Т1 € ©(|К,|2) и М1 € в(|Кв|).
Доказательство. Алгоритм 1 является ограниченной по радиусу в версией алгоритма А-1 из [1], поэтому, согласно [1], € в(|К5|2).
Для того чтобы получить асимптотическую оценку пространственной сложности, следует брать во внимание только множество К5. Поскольку |К8| < М1 < 2|К8|, то М1 € в(|Кв|).и
2. Алгоритм 2
В случае достаточно большой конечной группы О в базовом алгоритме 1 для хранения одного элемента группы необходимо по крайней мере несколько байт. Это означает, что при наличии одного Тбайта памяти мы сможем построить шар группы, состоящий не более чем из 1012 элементов. Однако если удастся найти подходящую фактор-группу Q группы О, то можно значительно увеличить первоначально допустимый предел вычислений.
Пусть ^ — гомоморфизм О на группу Q и N — ядро т.е. Q = О/Ж. По аналогии с группой, для каждого смежного класса дЖ определим сферу Р(д), шар К8(д) и функцию роста Рг(д):
Р(д) = {9 : 9 € Р и <^(9) = д}, Кв(д) = 0 Р(д), Р(д) = |Р(д)|.
¿=0
Если Q — сравнительно большая группа, то множество К25(д) будет значительно меньше, чем К25(О). Данный факт взят за основу построения алгоритма 2, который, получив на входе шар К группы О радиуса в, фактор-группу Q = О/Ж и некоторый элемент д € Q, возвращает функцию роста Р(д) для шара К25(д) смежного класса дЖ радиуса 2в.
Алгоритм 2. Р(д) = QuotientGrowthFunction(Ks, Q, д)
Вход: Шар К = у Рг группы О радиуса в, фактор-группа Q = О/Ж, д € Q Выход: Функция роста Р(д) шара смежного класса дЖ С О радиуса 2в 1: Р(д) := (0,... , 0) — нулевой вектор размерности 2в + 1 2: Для всех т € Q и г = 0,1,..., в 3: Р(т) := {9 | 9 € Р и ^(9) = т} 4: Р(д) :=|Р(д)|
5: Кв(д) := Рг(д)
г=0
6: Для всех г = в + 1, в + 2,..., 2в 7: Кг(д) := Кг-1(д) 8: Для всех V € Q
9: и := д о V-1
10: Для всех 91 € Р_Ди) и 92 € Р,^)
И: 9 := 91 ■ 92
12: Если 9 € Кг(д), то
13: добавить 9 в Кг(д)
14: ад := ад + 1
15: Если |Кг(д)| = |, то
16: переход в п. 17
17: Вернуть Р(д)
Лемма 3. Алгоритм 2 корректен, т. е. он, получив на входе шар К8 конечной группы О радиуса 5, фактор-группу Q = С/А и некоторый элемент д Е ф, за конечное число шагов вычислит функцию роста Р(д) для шара К28(д) смежного класса дА радиуса 2в.
Доказательство. Алгоритм 2 получает на входе шар К8 = у Р^ ив результате
¿=0
шагов 2-5 преобразует его к виду К8 = У У РДд), а также вычисляет К8(д) = и РДд)
¿=0 ¿=0
и ^¿(д) для 0 ^ г ^ 5.
Отличительной особенностью алгоритма 2 является то, что при г > 5 не строятся шары К всей группы. Вместо этого вычисляются шары КДд) смежного класса дА (пп. 6-17 алгоритма).
Заметим, что при г > 5 мы не сможем по аналогии с алгоритмом 1 вычислить РДд) путём умножения элементов порождающего множества на Р^-:1(д). Вместо этого будем получать элементы д Е РДд) путём выбора таких Е ф, что и о у = д, на основе которых вычислим д = д1 • д2, где д1 Е Рг-8(м) и д2 Е Р8(у).
По построению алгоритм 2 представляет каждый элемент К (д) в виде слова минимальной длины. Конечность К8 гарантирует построение К28 (д) через конечное число шагов. Кроме того, если возникает ситуация, при которой |КДд)| = |А|, то это означает, что шар смежного класса дА вычислен. В результате построения шара К28(д) получим искомую функцию роста Р(д). ■
Лемма 4. Т2 Е 0(|А| • |К5|2) и М2 Е в(|Кв| + |ф| + |А|).
Доказательство. Вычислительная сложность пп. 1-5 алгоритма 2 линейно зависит от |К8|. Наиболее трудоёмкий участок — пп. 6-16. Очевидно, что число элементов д, которые необходимо вычислить, не превышает |К8|2. Для проверки д Е К28(д) необходимо не более |А| элементарных операций, поэтому Т2 Е 0(|А| • |К8|2).
Для анализа пространственной сложности необходимо принять во внимание только множества К8, ф и К28(д), откуда получим М2 Е в(|К81 + |ф| + |А|). ■
При реализации алгоритма 2 возникает естественный вопрос: какой порядок |ф|ор, должен быть у группы ф, чтобы М2 приняла наименьшее значение? Ответ на поставленный вопрос дает следующая
Лемма 5. ш1п(М2) Е в(швх(|Кв|, |С|1/2)), где |ф|ор1 = |О|1/2.
Доказательство. Пусть /(ф) = |К8| + |ф| + |А|. Так как |А| = |С|/|ф|, то /(ф) = = |К8| + |ф| + |С|/|ф|. Нетрудно показать, что /(ф) принимает минимальное значение при |ф| = |О|1/2. Согласно лемме 4, ш1п(М2) Е в(|Кв| + 2|С|1/2) = в(швх(|Кв|, |С|1/2)).
Лемма доказана. ■
Замечание 1. Если мы располагаем быстрым способом нумерации элементов К28(д), например как в [1], то К28(д) можно представить в виде булева вектора размерности |А|, в котором на г-м месте стоит единица, если элемент с указанным номером лежит в К28(д), и ноль в противном случае. Теперь для хранения элемента достаточно одного бита. Кроме того, по номеру элемента легко осуществить проверку: встречался ли ранее данный элемент группы? Сложность этой операции 0(1). В этом случае, взяв во внимание лемму 4, получим Т2 Е 0(|К8|2).
3. Алгоритм 3
Объединив алгоритмы 1 и 2, получим алгоритм 3, который вычисляет функцию роста Р(О) шара К25 фиксированного радиуса 2в произвольной конечной группы О, заданной порождающим множеством X.
Алгоритм 3. Р(О) = GrowthFunction(G, X, Q, в)
Вход: X - порождающее множество группы О, фактор-группа Q = О/Ж, радиус в Выход: Функция роста Р(О) шара К2в радиуса 2в 1: Р(О) := (0, . . . , 0) - нулевой вектор размерности 2в + 1 2: К := Ва11(О, X, в) 3: Для всех д € Q
4: Р(д) := QuotientGrowthFunction(Ks, Q, д)
5: Р(О) := Р(О) + Р(д) 6: Вернуть Р(О)
Теорема 1. Алгоритм 3 корректен, т.е. он за конечное число шагов вычисляет функцию роста F(G) шара K2s фиксированного радиуса 2s произвольной конечной группы G, заданной порождающим множеством X. Кроме того, верны следующие оценки вычислительной и пространственной сложности данного алгоритма:
1) Тз е O(|G| ■ |Ks|2);
2) Мз е 0(|K| + |Q| + |N|);
3) ш1п(Мз) е 0(max(|Ks|, |G|1/2)), где |Q|opt = |G|1/2.
Доказательство. Следует из лемм 1-5 и формулы K2s = (J K2s(q). ■
qeQ
Замечание 2. Эксперименты в различных группах по алгоритму 3 показали, что для вычисления функции роста всей группы G достаточно подобрать радиус s таким, чтобы выполнялось |Ks| ~
|G|2/3. При этом |Q| ~ |G|1/2 и, следовательно, Тз е O(|G|7/3) и Мз е 0(|G|2/3). Для сравнения: То е 0(|G|2) и Mq е 0(|G|)-оценки сложности алгоритма A-I из [1]. Для больших групп получим Мз ^ М0.
Если выполнено условие замечания 1, то Тз е O(|Q| ■ |Ks|2) = O(|G|11/6). Для модифицированного алгоритма A-I показано [1], что TQ е 0(|G|).
Замечание 3. Для снижения вычислительной сложности алгоритма 3 воспользуемся остроумным трюком, предложенным Ч. Симсом [5].
Пусть A — группа автоморфизмов G = (X), элементы которой оставляют неизменной длину любого группового слова G. В частности, это автоморфизмы, которые фиксируют порождающее множество X. Кроме того, если x-1 е X для любого x е X, то автоморфизм, преобразующий элементы g е G в обратные, сохраняет длину g. Предположим, что ядро N инвариантно под действием A. Это означает, что A также действует на Q. Выбрав в каждой A-орбите группы Q по одному представителю, получим множество Q0. Для всех q е Q0 определим размер орбиты Z(q). Теперь достаточно вычислить шары K2s(q) только для q е Q0. В результате пп. 3-5 алгоритма 3 примут следующий вид: 3: Для всех q е Q0 // парараллельно 4: F(q) := QuotientGrowthFunction(Ks, Q, q) 5: F(G) := F(G) + l(q) ■ F(q)
Отметим, что цикл по переменной q легко распараллеливается, что позволяет значительно ускорить вычисления.
4. Компьютерные вычисления в двупорождённых группах периода 5
Пусть Bo(2, 5) = (а^а2) —максимальная конечная двупорождённая бернсайдова группа периода 5, порядок которой равен 534 [6]. Используя систему компьютерной алгебры GAP, несложно получить рс-представление (Power Commutator presentation) данной группы [8, 7]. В этом случае каждый элемент g Е B0(2, 5) может быть однозначно записан в следующем виде:
g = а?1 ■ «а2 ■ ... ■ аа434, а Е Z5, г =1, 2,..., 34.
Здесь а1 и а2 —порождающие элементы B0(2, 5); а3,...,а34 — коммутаторы, которые вычисляются рекурсивно через а1 и а2 [6].
Обозначим через Bk фактор-группу B0 (2, 5) следующего вида:
Bk = Bo(2,5)/(afc+i,... ,аз4). Очевидно, что |Bk| = 5k и для всех g Е Bk
g = аа1 ■ аа2 ■... ■ aakk.
Пусть A2 = {а1,а2} и A4 = {а1, а-1, а2, а-1} —минимальное и симметричное порождающие множества групп Bk соответственно.
Вычислить функцию роста B0(2,5) относительно порождающего множества A2 или A4 в настоящее время едва ли возможно, поскольку количество её элементов очень велико:
534 = 582076609134674072265625 w 5 ■ 1023.
Отметим, что на данный момент при помощи компьютерных вычислений удалось получить функции роста групп Bk, порядок которых не превышает 517 [1].
Как уже было сказано, попытка применения алгоритма A-I из [1] для исследования роста группы B18, состоящей из 518 w 4 ■ 1012 элементов, потерпела неудачу: возникла принципиальная проблема — нехватка объёма памяти. В связи с этим была осуществлена попытка применить алгоритм 3, который, согласно замечанию 2, имеет значительно меньшую пространственную сложность.
Алгоритм 3 был реализован на языке С+—+. Для снижения вычислительной сложности (см. замечание 1) элементы смежных классов qN нумеровались аналогичным с [1] способом. Учитывая замечание 3, при помощи GAP для каждого случая найдены A, Q, Q0 и Z(q). Для эффективного умножения элементов применялись полиномы Холла [9]. В качестве инструмента распараллеливания использована библиотека OpenMP. Для вычислений был задействован компьютер, имеющий два 16-ядерных процессора и 64 Гбайта оперативной памяти, на котором установлена операционная система Linux. Трансляция программ осуществлялась встроенным в систему компилятором gcc.
На рис. 1-3 представлены графики функций роста групп B18 = (A2), B18 = (A4) и B1g = (A4). Для наглядности на каждом рисунке проведена аппроксимирующая гауссова кривая. В таблице указаны диаметры D и средние диаметры D соответствующих графов Кэли, параметры алгоритма, время вычислений, а также объём используемой оперативной памяти.
Рис. 1. График функции роста группы Bis = (A2)
Рис. 2. График функции роста группы B18 = (A4)
Рис. 3. График функции роста группы B19 = (A4)
Группа D D Параметры алгоритма Время Память
Big = (A4) 36 29 |A| = 16, |Q| = 58, |Qo| = 25311 62 ч 8 Гбайт
B18 = (A2) 55 44 |A| = 2, |Q| = 58, |Qo| = 195375 20 сут 11 Гбайт
B19 = (A4) 38 31 |A| = 8, |Q| = 510, |Q01 = 1226797 44 сут 25 Гбайт
На рис.4 и 5 приведены графики известных диаметров графов Кэли Da2(Bk) и Da4 (Bk), а также их линейные аппроксимирующие функции, на основе которых можно сделать следующее предположение.
Гипотеза 1. DA2(B0(2,5)) w 105 и DA4(B0(2, 5)) w 69.
120 100 80 Q 60 40 20
0 5 10 15 20 25 30 35
к
Рис. 4. График DA2 (Bk)
70 60 50 40
О
30 20 10
0 5 10 15 20 25 30 35
к
Рис. 5. График Da4 (Bk) ЛИТЕРАТУРА
1. Кузнецов А. А. Об одном алгоритме вычисления функций роста в конечных двупорождён-ных группах периода 5 // Прикладная дискретная математика. 2016. №3(33). C. 116-125.
2. Кузнецов А. А., Кузнецова А. С. Параллельный алгоритм для исследования графов Кэли групп подстановок // Вестник СибГАУ. 2014. №1. C. 34-39.
3. Even S. and Goldreich O. The Minimum Length Generator Sequence is NP-Hard // J. Algorithms. 1981. No. 2. P. 311-313.
4. Skiena S. The Algorithm Design Manual. London: Springer Science+Business Media, 2008. 730 p.
5. Sims C. Fast multiplication and growth in groups // Proc. 1998 Intern. Symp. Symbolic Algebraic Computation. 1998. P. 165-170.
6. Havas G., Wall G., and Wamsley J. The two generator restricted Burnside group of exponent five // Bull. Austral. Math. Soc. 1974. No. 10. P. 459-470.
7. Sims C. Computation with Finitely Presented Groups. Cambridge: Cambridge University Press, 1994. 628 p.
8. HoltD., EickB., and O'Brien E. Handbook of Computational Group Theory. Boca Raton: Chapman & Hall/CRC Press, 2005. 514 p.
9. Кузнецов А. А. Кузнецова А. С. Быстрое умножение элементов в конечных двупорождён-ных группах периода пять // Прикладная дискретная математика. 2013. № 1. C. 110-116.
REFERENCES
1. Kuznetsov A. A. Ob odnom algoritme vychisleniya funkcij rosta v konechnyh dvuporozhdyonnyh gruppah perioda 5 [An algorithm for computation of the growth functions in finite two-generated groups of exponent 5]. Prikladnaya Diskretnaya Matematika, 2016, no. 3(33), pp. 116-125. (in Russian)
2. Kuznetsov A. A. and Kuznetsova A. S. Parallel'nyy algoritm dlya issledovaniya grafov Keli grupp podstanovok [A parallel algorithm for study of the Cayley graphs of permutetion groups]. Vestnik SibSAU, 2014, no. 1, pp. 34-39. (in Russian)
3. Even S. and Goldreich O. The Minimum Length Generator Sequence is NP-Hard. J. Algorithms, 1981, no. 2, pp. 311-313.
4. Skiena S. The Algorithm Design Manual. London, Springer Science+Business Media, 2008. 730 p.
5. Sims C. Fast multiplication and growth in groups. Proc. 1998 Intern. Symp. Symbolic Algebraic Computation, 1998, pp. 165-170.
6. Havas G., Wall G., and Wamsley J. The two generator restricted Burnside group of exponent five. Bull. Austral. Math. Soc., 1974, no. 10, pp. 459-470.
7. Sims C. Computation with Finitely Presented Groups. Cambridge, Cambridge University Press, 1994. 628 p.
8. HoltD., EickB., and O'Brien E. Handbook of Computational Group Theory. Boca Raton, Chapman & Hall/CRC Press, 2005. 514 p.
9. Kuznetsov A. A. and Kuznetsova A. S. Bystroe umnozhenie elementov v konechnykh dvuporozhdennykh gruppakh perioda pyat' [Fast multiplication in finite two-generated groups of exponent five]. Prikladnaya Diskretnaya Matematika, 2013, no. 1, pp. 110-116. (in Russian)
