DeepAI AI Chat
Log In Sign Up

Algorithms for the Minimum Generating Set Problem

by   Bireswar Das, et al.
IIT Gandhinagar

For a finite group G, the size of a minimum generating set of G is denoted by d(G). Given a finite group G and an integer k, deciding if d(G)≤ k is known as the minimum generating set (MIN-GEN) problem. A group G of order n has generating set of size ⌈log_p n ⌉ where p is the smallest prime dividing n=|G|. This fact is used to design an n^log_p n+O(1)-time algorithm for the group isomorphism problem of groups specified by their Cayley tables (attributed to Tarjan by Miller, 1978). The same fact can be used to give an n^log_p n+O(1)-time algorithm for the MIN-GEN problem. We show that the MIN-GEN problem can be solved in time n^(1/4)log_p n+O(1) for general groups given by their Cayley tables. This runtime incidentally matches with the runtime of the best known algorithm for the group isomorphism problem. We show that if a group G, given by its Cayley table, is the product of simple groups then a minimum generating set of G can be computed in time polynomial in |G|. Given groups G_i along with d(G_i) for i∈ [r] the problem of computing d(Π_i∈[r] G_i) is nontrivial. As a consequence of our result for products of simple groups we show that this problem also can be solved in polynomial time for Cayley table representation. For the MIN-GEN problem for permutation groups, to the best of our knowledge, no significantly better algorithm than the brute force algorithm is known. For an input group G≤ S_n, the brute force algorithm runs in time |G|^O(n) which can be 2^Ω(n^2). We show that if G≤ S_n is a primitive permutation group then the MIN-GEN problem can be solved in time quasi-polynomial in n. We also design a DTIME(2^n) algorithm for computing a minimum generating set of permutation groups all of whose non-abelian chief factors have bounded orders.


page 1

page 2

page 3

page 4


Complexity of Spherical Equations in Finite Groups

In this paper we investigate computational properties of the Diophantine...

Recognizing the Commuting Graph of a Finite Group

In this paper we study the realizability question for commuting graphs o...

Subgroups of minimal index in polynomial time

Let G be a finite group and let H be a proper subgroup of G of minimal i...

Hypergraph Isomorphism for Groups with Restricted Composition Factors

We consider the isomorphism problem for hypergraphs taking as input two ...

Fast permutation-word multiplication and the simultaneous conjugacy problem

Given a finite sequence a_1, a_2,..., a_d of d permutations in the symme...

Normalizers and permutational isomorphisms in simply-exponential time

We show that normalizers and permutational isomorphisms of permutation g...

Towards Efficient Normalizers of Primitive Groups

We present the ideas behind an algorithm to compute normalizers of primi...