Some further development on the eigensystem approach for graph isomorphism detection

Many science and engineering problems can be represented by a network, a generalization of which is a graph. Examples of the problems that can be represented by a graph include: cyclic sequential circuit, organic molecule structures, mechanical structures, etc. The most fundamental issue with these problems (e.g., designing a molecule structure) is the identification of structure, which further reduces to be the identification of graph. The problem of the identification of graph is called graph isomorphism. The graph isomorphism problem is an NP problem according to the computational complexity theory. Numerous methods and algorithms have been proposed to solve this problem. Elsewhere we presented an approach called the eigensystem approach. This approach is based on a combination of eigenvalue and eigenvector which are further associated with the adjacency matrix. The eigensystem approach has been shown to be very effective but requires that a graph must contain at least one distinct eigenvalue. The adjacency matrix is not shown sufficiently to meet this requirement. In this paper, we propose a new matrix called adjusted adjacency matrix that meets this requirement. We show that the eigensystem approach based on the adjusted adjacency matrix is not only effective but also more efficient than that based on the adjacency matrix.

[1]  Valerie Isham,et al.  Non‐Negative Matrices and Markov Chains , 1983 .

[2]  Luitpold Babel Isomorphism of chordal (6, 3) graphs , 2005, Computing.

[3]  Byung Man Kwak,et al.  An Algorithm of Topological Ordering for Unique Representation of Graphs , 1992 .

[4]  P. He,et al.  A new method for detection of graph isomorphism based on the quadratic form , 2003 .

[5]  T. S. Mruthyunjaya,et al.  In quest of a reliable and efficient computational test for detection of isomorphism in kinematic chains , 1987 .

[6]  Uwe Schning GRAPH ISOMORPHISM IS IN THE LOW HIERARCHY , 2022 .

[7]  C. S. Tang,et al.  The Degree Code—A New Mechanism Identifier , 1993 .

[8]  T. S. Mruthyunjaya A computerized methodology for structural synthesis of kinematic chains: Part 1— Formulation , 1984 .

[9]  T. S. Mruthyunjaya,et al.  Structural Analysis of Kinematic Chains and Mechanisms Based on Matrix Representation , 1979 .

[10]  Ferdinand Freudenstein,et al.  Some Applications of Graph Theory to the Structural Analysis of Mechanisms , 1967 .

[11]  Hong-Sen Yan,et al.  Linkage Characteristic Polynomials: Definitions, Coefficients by Inspection , 1980 .

[12]  Eigenvalue and Eigenvector Information of Graphs and Their Validity in Detection of Graph Isomorphism , 2002 .

[13]  George I. Davida,et al.  Optimum Featurs and Graph Isomorphism , 1974, IEEE Trans. Syst. Man Cybern..

[14]  M. Lewin On nonnegative matrices , 1971 .

[15]  Bolian Liu,et al.  Matrices in Combinatorics and Graph Theory , 2000, Network Theory and Applications.

[16]  Hans L. Bodlaender,et al.  Polynomial Algorithms for Graph Isomorphism and Chromatic Index on Partial k-Trees , 1988, J. Algorithms.

[17]  Q. Li,et al.  On a New Approach to Mechanism Topology Identification , 1999 .

[18]  Frank Harary,et al.  Cospectral Graphs and Digraphs , 1971 .

[19]  L. Collatz,et al.  Spektren endlicher grafen , 1957 .

[20]  M. Kanehisa,et al.  A heuristic graph comparison algorithm and its application to detect functionally related enzyme clusters. , 2000, Nucleic acids research.

[21]  Derek G. Corneil,et al.  The graph isomorphism disease , 1977, J. Graph Theory.

[22]  Ferdinand Freudenstein,et al.  An Application of Dual Graphs to the Automatic Generation of the Kinematic Structures of Mechanisms , 1986 .

[23]  Milan Randić,et al.  On the recognition of identical graphs representing molecular topology , 1974 .

[24]  Hans L. Boblaender Polynomial algorithms for graph isomorphism and chromatic index on partial k -trees , 1990 .

[25]  J. Uicker,et al.  A method for the identification and recognition of equivalence of kinematic chains , 1975 .

[26]  V. Agrawal,et al.  Canonical numbering of kinematic chains and isomorphism problem: min code , 1987 .