CC BY
20
УДК 519.6
Вестник СибГАУ Том 17, № 3. С. 575-578
ПЕРСПЕКТИВНЫЕ ТОПОЛОГИИ МНОГОПРОЦЕССОРНЫХ ВЫЧИСЛИТЕЛЬНЫХ СИСТЕМ, ОСНОВАННЫЕ НА ГРАФАХ КЭЛИ, ЗАДАННЫХ ГРУППАМИ ПЕРИОДА 4
А. А. Кузнецов1*, А. С. Кузнецова2
1 Сибирский государственный аэрокосмический университет имени академика М. Ф. Решетнева Российская Федерация, 660037, г. Красноярск, просп. им. газ. «Красноярский рабочий», 31 2Красноярский государственный аграрный университет Российская Федерация, 660049, г. Красноярск, просп. Мира, 90 Е-mail: [email protected]
Определение графа Кэли было дано известным английским математиком Артуром Кэли в XIX веке для представления алгебраической группы, заданной фиксированным множеством порождающих элементов. В настоящее время графы Кэли нашли широкое применение как в математике, так и в прикладных задачах. В частности, указанные графы используются для представления компьютерных сетей, в том числе для моделирования топологий многопроцессорных вычислительных систем (МВС) - суперкомпьютеров. С тех пор данное направление активно развивается. Это связано с тем, что графы Кэли имеют много привлекательных свойств, из которых выделим их регулярность, вершинную транзитивность, малые диаметр и степень при достаточно большом количестве вершин в графе. Например, такие базовые топологии сети, как кольцо, гиперкуб и тор, являются графами Кэли. Одной из широко применяемых топологий МВС является k-мерный гиперкуб. Данный граф задается k-порожденной бернсайдовой группой периода 2, которую обозначают B(k,2). Группа B(k,2) имеет простую структуру и равна прямому произведению k экземпляров циклической группы порядка 2. Обобщением гиперкуба является n-мерный тор, который порождается прямым произведением n экземпляров циклических подгрупп, порядки которых могут не совпадать. Проведены исследования по определению структуры графов Кэли групп B(k,4) - бернсайдовых k-порожденных групп периода 4 (а также их фактор-групп), для сравнения с гиперкубами и торами соответствующих размерностей. Анализ выявил, что графы B(k,4) обладают лучшими характеристиками в сравнении c гиперкубами и торами, поэтому заслуживают внимания при проектировании перспективных топологий МВС.
Ключевые слова: граф Кэли, многопроцессорная вычислительная система
Sibirskii Gosudarstvennyi Aerokosmicheskii Universitet imeni Akademika M. F. Reshetneva. Vestnik Vol. 17, No. 3, P. 575-578
PERSPECTIVE TOPOLOGIES OF MULTIPROCESSOR COMPUTING SYSTEMS BASED ON THE CAYLEY GRAPHS OF GROUPS OF PERIOD 4
А. A. Kuznetsov1*, A. S. Kuznetsova2
:Reshetnev Siberian State Aerospace University 31, Krasnoyarskiy Rabochiy Av., Krasnoyarsk, 660037, Russian Federation 2Krasnoyarsk State Agrarian University 90, Mira Av., Krasnoyarsk, 660049, Russian Federation *Е-mail: [email protected]
The definition of the Cayley graph was given to the famous English mathematician Arthur Cayley in the XIX century to represent algebraic group defined by a fixed set of generating elements. At present, Cayley graphs are widely used both in mathematics and in applications. In particular, these graphs are used to represent computer networks, including the modeling of topologies of multiprocessor computer systems (ЫСБ) - supercomputers. Since this direction is actively developed. This is due to the fact that Cayley graphs have many attractive properties such as regularity, vertex transitive, small diameter and degree at a sufficiently large number of vertices in the graph. For example, such a basic network topology as the "ring", "hypercube" and "torus" are the Cayley graphs. One of the commonly used topologies MCS is a k-dimensional hypercube. This graph is given by k-generated Burnside groups of period 2, which is denoted B(k,2). The group B(k,2) has a simple structure and is equal to the direct product of k copies of the cyclic group of order 2. A generalization of the hypercube is a n-dimensional torus, which is generated by the direct product of n copies of the cyclic groups whose orders may be different. In this work, We researched the structure of the Cayley graphs of group B(k,4) - Burnside k-generated groups of period 4 (and some their quotients). Then we compared these graphs with the corresponding toruses and hypercubes. The analysis is shown that the graphs B(k,4) have better properties in comparison with hypercubes and toruses. Therefore, they deserve attention in the design of advanced topologies of MCS.
Keywords: the Cayley graph, a multiprocessor computing system.
Введение. Определение графа Кэли было дано известным английским математиком Артуром Кэли в XIX веке для представления алгебраической группы, заданной фиксированным множеством порождающих элементов.
В последние десятилетия теория графов Кэли развивается как отдельная большая ветвь теории графов. Графы Кэли находят применение как в математике, так и за ее пределами. Заметим, что известная задача по определению так называемого числа Бога кубика Рубика 3 х 3 , т. е. минимального количества поворотов граней кубика, за которое его можно «собрать» из любого начального положения, сводится к исследованию соответствующего графа Кэли.
Неожиданное применение графы Кэли нашли в информационных технологиях после пионерской работы 1986 г. С. Эйкерса и Б. Кришнамурти [1], которые впервые предложили применять указанные графы для представления компьютерных сетей, в том числе для моделирования топологий многопроцессорных вычислительных систем (МВС) - суперкомпьютеров. С тех пор данное направление активно развивается [2-11]. Это связано с тем, что графы Кэли имеют много привлекательных свойств, из которых выделим их регулярность, вершинную транзитивность, малые диаметр и степень при достаточно большом количестве вершин в графе. Например, такие базовые топологии сети, как кольцо, гиперкуб и тор, являются графами Кэли.
Вычисление диаметра графа Кэли большой конечной группы является хотя и разрешимой, но весьма сложной проблемой. Это связано с тем, что в общем случае задача по определению минимального слова в группе, как показали С. Ивен и О. Голдрейх в 1981 г. [12], является ЖР-трудной. Так, при вычислении в 2010 г. упомянутого выше числа Бога, которое равно диаметру соответствующего графа Кэли, Т. Роки-ки, Г. Коцемба, М. Дэвидсон и Д. Детридж доказали, что любая конфигурация кубика Рубика может быть решена не более чем в 20 ходов. Для установления данного факта потребовалось около 35 «процессоро-лет» распределенных вычислений. Поэтому для эффективного решения задач на графах Кэли, имеющих большое количество вершин, необходимо применять МВС.
Как было сказано, одной из широко применяемых топологий МВС является к-мерный гиперкуб. Данный граф задается ^-порожденной бернсайдовой группой периода 2, которую обозначают £(£,2). Группа Б(к,2) имеет простую структуру и равна прямому произведению к экземпляров циклической группы порядка 2.
Обобщением гиперкуба является «-мерный тор, который порождается прямым произведением п экземпляров циклических подгрупп, порядки которых могут не совпадать.
В настоящей работе проведены исследования по определению структуры графов Кэли групп £(£,4) -бернсайдовых к-порожденных групп периода 4 (а также их фактор-групп), для сравнения с гиперкубами и торами соответствующих размерностей.
Строение групп £(£,4) известно [13], однако характеристики графов Кэли указанных групп до на-
стоящего времени изучены не были. Отметим также, что в работе [14] были исследованы графы Кэли групп B(k,3), т. е. групп периода 3, а также проведен сравнительный анализ данных графов с гиперкубами.
Определение. Пусть X - порождающее множество группы G, т. е. G = {X}. Графом Кэли Г = Cay(GX =
= (V,E) называют ориентированный граф, обладающий следующими свойствами:
- множество вершин V(T) соответствуют элементам группы G;
- множество ребер Е(Г) состоит из всех упорядоченных пар (g, xg), где g е G и x е X .
В дальнейшем будем считать порождающее множество X симметричным и свободным от единичного элемента группы, т. е. x е X ^ x_1 е X и e g X . Поскольку X является свободным от единичного элемента, то граф Г не содержит петель. Симметричность порождающего множества означает, что граф будет неориентированным и без кратных ребер, т. е. если в графе имеется ребро из g в xg, то оно совпадает с ребром из xg в x_1 (xg ) = g .
Таким образом,
Г = Cay(G, X ) = (V, Е),
где V = G и Е = {{g,xg}|g е G,x е X}.
Количество вершин | V | равно порядку группы G. Граф Кэли является регулярным, и его степень s, т. е. количество ребер, выходящее из каждой вершины, равно числу порождающих элементов группы: s = | X |. Диаметр графа Кэли D (средний диметр d),
т. е. максимальное (среднее) кратчайшее расстояние от произвольной фиксированной вершины до других вершин графа, равен максимальной (средней) длине минимальных слов группы, записанных через порождающие элементы [15].
Ниже представлен алгоритм для исследования графов Кэли конечных групп [15].
Алгоритм A-I:
Вход: конечная группа G = (X, ^ , где X = {х1, х2, ..., хт} - порождающее множество G.
Выход: диаметр D(T), средний диаметр d (Г) графа Кэли Г = Cay(G, X), а также функция роста группы F(r) группы G, где 0 < r < D(r).
1. s = 0, K0 = {e} - шар группы G, T = K0.
m
2. s = s +1 , Ks = Ks 1 , U = U x- о T .
i=1
3. T = 0 , i = 1.
4. Если ui g Ks, то Ks = Ks u{Mi} и T = T u{ui} .
|i < lui, то i = i +1, переход в пункт 4;
5. Если ■!
I i = U , то переход в пункт 6.
ÍT ^0, то переход в пункт 2;
6. Если \
[T = 0, то переход в пункт 7.
7. D(r) = s -1, F (r ) = |Kr| - |Kr_j| для 1 < r < s - 1 и F(0) = 1, d (Г ) = I1 F (r )• r .
|Ks-1| r=0
8. Выход.
Характеристики графов Кэли групп В(к,4) и некоторых их фактор-групп
IVI s D d
24 4 4 2
25 4 4 2,5
26 4 6 3,4
2' 4 8 4,1
28 4 8 5,2
|V| s D d
29 4 10 5,9
29 6 6 4,2
210 6 8 4,9
211 6 10 5,6
212 6 10 6,3
IVI s D d
2 6 10 6,8
214 6 11 7,4
214 8 8 6,0
215 8 10 6,6
216 8 12 7,3
IV s D d
2 8 12 7,9
218 8 12 8,5
219 8 12 8,8
220 8 14 9,3
220 10 10 7,9
Теорема [15]. Алгоритм A-I корректен, т. е. для любой конечной группы он за конечное число шагов находит характеристики соответствующего графа Кэли.
Исследование графов Кэли групп B(k,4). В таблице приведены указанные характеристики для графов Кэли групп B(k,4) и некоторых их факторов при 2 < k < 5, полученные при помощи компьютерных вычислений по алгоритму A-I. Порождающие множества были взяты симметричными, поскольку в этом случае графы будут неориентированными. Именно неориентированные графы, как правило, используют при проектировании топологий МВС.
При рассмотрении графа в качестве топологии МВС берут во внимание следующие характеристики графа: количество вершин, степень (для регулярного графа), диаметр и средний диаметр.
Теперь сравним полученные характеристики графов Кэли групп B(k,4) c соответствующими характеристиками гиперкубов и торов.
Будем считать, что топология Ti предпочтительнее Г2, если | V |=| V21, но s1 < s2, D1 < D2 и d1 < d2, при этом по крайней мере одно неравенство должно быть строгим.
Граф k-мерного гиперкуба имеет 2k вершин, его
k й k степень и диаметр равны k, средний диаметр равен j .
Легко заметить, что графы B(k,4) обладают более предпочтительными характеристиками при сравнении с гиперкубами.
Также нетрудно увидеть, что графы B(k,4) будут иметь лучшие значения указанных параметров в сравнении с n-мерными торами. Напомним, что топология n-мерный тор является графом Кэли, который порождается прямым произведением n экземпляров циклических подгрупп
х Z
Р2
(Z
Рп'
Данный граф имеет следующие характеристики: " " Í1, если pi = 2,
I V |=ЦРг, 5 = Lai, ГДе ai = 1- ^ U I2, еслиРг > 2;
г=1
D = £ Di, где Di =
i=1
-j-, если pt четное, Рг -1
если р1 нечетное;
d = S di, где di =
г=1
если Рг четное,
+-L ^
V Рг У
если Рг нечетное.
Заключение. Анализ выявил, что графы B(k,4) обладают лучшими характеристиками в сравнении c гиперкубами и торами соответствующих размерностей, поэтому заслуживают внимания при проектировании перспективных топологий МВС.
Также представляется актуальной задача по исследованию графов Кэли конечных бернсайдовых групп других периодов.
Благодарности. Работа поддержана грантом Президента РФ (проект МД-3952.2015.9).
Acknowledgments. This work was supported by a grant from the President of the Russian Federation (MD-3952.2015.9 Project).
Библиографические ссылки
1. Akers S., Krishnamurthy B. A group theoretic model for symmetric interconnection networks // Proceedings of the Intern. Conf. on Parallel Processing. 1986. Pp. 216-223.
2. Schibell S., Stafford R. Processor interconnection networks and Cayley graphs // Discrete Applied Mathematics. 1992. Vol. 40. P. 337-357.
3. Cooperman G., Finkelstein L. New methods for using Cayley graphs in interconnection networks // Discrete Applied Mathematics. 1992. Vol. 37. P. 95-118.
4. Lakshmivarahan S., Jho J., Dhall S. Symmetry in interconnection networks based on Cayley graphs of permutation groups: A survey // Parallel Computing. 1993. Vol. 19. P. 361-407.
5. Heydemann M. Cayley graphs and interconnection networks, in Graph symmetry: algebraic methods and applications / Ed.: Hahnand Sabidussi. Dordrecht : Kluwer Academic Publishers, 1997. P. 167-226.
6. Xu J. Topological Structure and Analysis of Interconnection Networks. Dordrecht : Kluwer Academic Publishers, 2001. 352 p.
7. Parhami B. Swapped interconnection networks: Topological, performance, and robustness attributes // Journal of Parallel and Distributed Computing. 2005. Vol. 65. P. 1443-1452.
8. Computing the diameter of 17-pancake graphs using a PC cluster / S. Asai [et al.] // LNSC. 2006. Vol. 4128. P. 1114-1124.
9. Chen B., Xiao W., Parhami B. Internode distance and optimal routing in a class of alternating group networks // IEEE Transactionson Computers. 2006. Vol. 55. P. 1645-1648.
10. Wang L., Tang K. The Cayley Graph implementation in TinyOS for dense wireless sensor networks // Proc. of the 6th Wireless Telecommunications Symposium. 2007.
11. Efficient Routing in Data Center with Underlying Cayley Graph / M. Camelo [et al.] // Proceedings of the
2
5 th Workshop on Complex Networks CompleNet. 2014. P. 189-197.
12. Even S., Goldreich O. The Minimum Length Generator Sequence is NP-Hard // Journal of Algorithms. 1981. Vol. 2. P. 311-313.
13. Vaughan-Lee M. The restricted Burnside problem. Oxford : Clarendon Press, 1990. 209 p.
14. Кузнецов А. А. Графы Кэли бернсайдовых групп периода 3 // Сибирские электронные математические известия. 2015. Т. 12. С. 248-254.
15. Кузнецов А. А., Кузнецова А. С. Параллельный алгоритм для исследования графов Кэли групп подстановок // Вестник СибГАУ. 2014. № 1 (53). С. 34-39.
References
1. Akers S., Krishnamurthy B. A group theoretic model for symmetric interconnection networks. Proceedings of the International Conference on Parallel Processing, 1986, P. 216-223.
2. Schibell S., Stafford R. Processor interconnection networks and Cayley graphs. Discrete Applied Mathematics, 1992, Vol. 40, P. 337-357.
3. Cooperman G., Finkelstein L. New methods for using Cayley graphs in interconnection networks. Discrete Applied Mathematics, 1992, Vol. 37, P. 95-118.
4. Lakshmivarahan S., Jho J., Dhall S. Symmetry in interconnection networks based on Cayley graphs of permutation groups: A survey. Parallel Computing, 1993, Vol. 19, P. 361-407.
5. Heydemann M. Cayley graphs and interconnection networks, in Graph symmetry: algebraic methods and applications (Editors: Hahnand Sabidussi). Dordrecht: Kluwer Academic Publishers, 1997, P. 167-226.
6. Xu J. Topological Structure and Analysis of Interconnection Networks. Dordrecht: Kluwer Academic Publishers, 2001, 352 p.
7. Parhami B. Swapped interconnection networks: Topological, performance, and robustness attributes. Journal of Parallel and Distributed Computing, 2005, Vol. 65, P. 1443-1452.
8. Asai S., Kounoike, Shinano Y., Kaneko K. Computing the diameter of 17-pancake graphs using a PC cluster. LNSC, 2006, Vol. 4128, P. 1114-1124.
9. Chen B., Xiao W., Parhami B. Internode distance and optimal routing in a class of alternating group networks. IEEE Transactionson Computers, 2006, Vol. 55, P. 1645-1648.
10. Wang L., Tang K. The Cayley Graph implementation in TinyOS for dense wireless sensor networks. Proc. of the 6th Wireless Telecommunications Symposium, 2007.
11. Camelo M., Papadimitriou D., Fabrega L., Vila P. Efficient Routing in Data Center with Underlying Cayley Graph. Proceedings of the 5th Workshop on Complex Networks CompleNet, 2014, P. 189-197.
12. Even S., Goldreich O. The Minimum Length Generator Sequence is NP-Hard. Journal of Algorithms, 1981, Vol. 2, P. 311-313.
13. Vaughan-Lee M. The restricted Burnside problem. Oxford: Clarendon Press, 1990, 209 p.
14. Kuznetsov A. A. Relation between growth functions in symmetric groups and tasks of combinatorial optimization. Siberian Electronic Mathematical Reports, 2015, Vol. 12, P. 248-254.
15. Kuznetsov A. A., Kuznetsova A. S. A parallel algorithm for study of the Cayley graphs of permutation groups. VestnikSibGAU, 2014, № 1 (53), P. 34-39.
© Кузнецов А. А., Кузнецова А. С., 2016
