Граф группы: различия между версиями

'''Граф группы''' (''[[Group graph]]'') - [[орграф]], при помощи которого представляется конечная  группа.  [[Вершина|Вершины]] [[граф|графа]] соответствуют элементам группы,  а [[дуга|дуги]] --- ее генераторам. Если дуга <math>e</math> (представляющая генератор <math>g</math>) соединяет вершины <math>v</math> и <math>v'</math>, то

где <math>\circ</math> --- групповая операция. [[Полустепень исхода вершины|Полустепень исхода каждой вершины]] графа группы равна числу генераторов группы.

[Алгоритмы],