Abstract:The isomorphism problem for graphs (GI) and the isomorphism problem for groups (GrISO) have been studied extensively by researchers. The current best algorithms for both these problems run in quasipolynomial time. In this paper, we study the isomorphism problem of graphs that are defined in terms of groups, namely power graphs, directed power graphs, and enhanced power graphs. It is not enough to check the isomorphism of the underlying groups to solve the isomorphism problem of such graphs as the power graphs (or the directed power graphs or the enhanced power graphs) of two nonisomorphic groups can be isomorphic. Nevertheless, it is interesting to ask if the underlying group structure can be exploited to design better isomorphism algorithms for these graphs. We design polynomial time algorithms for the isomorphism problems for the power graphs, the directed power graphs and the enhanced power graphs arising from finite nilpotent groups. In contrast, no polynomial time algorithm is known for the group isomorphism problem, even for nilpotent groups of class 2. We note that our algorithm does not require the underlying groups of the input graphs to be given. The isomorphism problems of power graphs and enhanced power graphs are solved by first computing the directed power graphs from the input graphs. The problem of efficiently computing the directed power graph from the power graph or the enhanced power graph is due to Cameron [IJGT'22]. Therefore, we give a solution to Cameron's question.

Digraphs of power maps over finite nilpotent groups

On Finite groups whose power graphs are line graphs

On the functional graph of the power map over finite groups

Power map permutations and symmetric differences in finite groups

On the Power Graphs of Certain Finite Groups

Group nilpotency from a graph point of view

Line graph characterization of power graphs of finite nilpotent groups

Infinite groups with isomorphic power graph and commuting graph

On the Nilpotent Graph of a finite Group

Some Properties of Proper Power Graphs in Finite Abelian Groups

Characteristic Polynomial of Power Graphs on Direct Product of Any Two Finite Cyclic Groups

The Isomorphism Problem of Power Graphs and a Question of Cameron

The complement of enhanced power graph of a finite group

Characterizing finite groups whose enhanced power graphs have universal vertices

Super graphs on groups, II

An exact enumeration of vertex connectivity of the enhanced power graphs of finite nilpotent groups

Critical classes of power graphs and reconstruction of directed power graphs

On Oriented Diameter of Power Graphs

On Distance Laplacian Spectra of Certain Finite Groups

Powers in finite orthogonal and symplectic groups: A generating function approach