Abstract: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)\leq k$ is known as the minimum generating set (MIN-GEN) problem. A group $G$ of order $n$ has generating set of size $\lceil \log_p n \rceil$ 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\in [r]$ the problem of computing $d(\Pi_{i\in[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\leq S_n$, the brute force algorithm runs in time $|G|^{O(n)}$ which can be $2^{\Omega(n^2)}$. We show that if $G\leq 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 $\mathrm{DTIME}(2^n)$ algorithm for computing a minimum generating set of permutation groups all of whose non-abelian chief factors have bounded orders.

On the minimal degree and base size of finite primitive groups

Base sizes for primitive groups with soluble stabilisers

Base sizes of primitive groups of diagonal type

On base sizes for primitive groups of product type

Cardinalities of irredundant bases of finite primitive groups

The maximal size of a minimal generating set

On the Burness-Giudici Conjecture

The base size of the symmetric group acting on subsets

Greedy base sizes for sporadic simple groups

A character theoretic formula for base size

IBIS primitive groups of almost simple type

Base sizes for finite linear groups with solvable stabilisers

On the cardinality of irredundant and minimal bases of finite permutation groups

Primitive permutation groups as products of point stabilizers

Irredundant bases for the symmetric group

Minimal degrees for faithful permutation representations of groups of order where p is an odd prime

On the minimal dimension of a finite simple group (with an appendix by T.C. Burness and R.M. Guralnick)

Minimal operations over permutation groups

Algorithms for the Minimum Generating Set Problem

On a polynomial bound for the orbital diameter of primitive affine groups