A polynomial‐time algorithm for simple undirected graph isomorphism

The graph isomorphism problem is to determine two finite graphs that are isomorphic which is not known with a polynomial‐time solution. This paper solves the simple undirected graph isomorphism problem with an algorithmic approach as NP=P and proposes a polynomial‐time solution to check if two simple undirected graphs are isomorphic or not. Three new representation methods of a graph as vertex/edge adjacency matrix and triple tuple are proposed. A duality of edge and vertex and a reflexivity between vertex adjacency matrix and edge adjacency matrix were first introduced to present the core idea. Beyond this, the mathematical approval is based on an equivalence between permutation and bijection. Because only addition and multiplication operations satisfy the commutative law, we propose a permutation theorem to check fast whether one of two sets of arrays is a permutation of another or not. The permutation theorem was mathematically approved by Integer Factorization Theory, Pythagorean Triples Theorem, and Fundamental Theorem of Arithmetic. For each of two n‐ary arrays, the linear and squared sums of elements were respectively calculated to produce the results.

[1]  Dániel Marx,et al.  Structure Theorem and Isomorphism Test for Graphs with Excluded Topological Subgraphs , 2015, SIAM J. Comput..

[2]  N. Jonoska,et al.  Three dimensional DNA structures in computing. , 1999, Bio Systems.

[3]  Horst Bunke,et al.  Recent Advances in Graph Matching , 1997, Int. J. Pattern Recognit. Artif. Intell..

[4]  Mina Mazraeh Farahani,et al.  A genetic and iterative local search algorithm for solving subgraph isomorphism problem , 2015, 2015 International Conference on Industrial Engineering and Operations Management (IEOM).

[5]  Charles J. Colbourn,et al.  Linear Time Automorphism Algorithms for Trees, Interval Graphs, and Planar Graphs , 1981, SIAM J. Comput..

[6]  Antonio Fernández,et al.  Fast Algorithm for Graph Isomorphism Testing , 2009, SEA.

[7]  László Babai,et al.  Graph isomorphism in quasipolynomial time [extended abstract] , 2016, STOC.

[8]  Q. Li,et al.  Some further development on the eigensystem approach for graph isomorphism detection , 2005, J. Frankl. Inst..

[9]  Eugene M. Luks,et al.  Isomorphism of graphs of bounded valence can be tested in polynomial time , 1980, 21st Annual Symposium on Foundations of Computer Science (sfcs 1980).

[10]  Antonio Fernández,et al.  Conauto-2.0: Fast Isomorphism Testing and Automorphism Group Computation , 2011, ArXiv.

[11]  Eam Khwang Teoh,et al.  Pattern recognition by homomorphic graph matching using Hopfield neural networks , 1995, Image Vis. Comput..

[12]  Douglas C. Schmidt,et al.  A Fast Backtracking Algorithm to Test Directed Graphs for Isomorphism Using Distance Matrices , 1976, J. ACM.

[13]  John E. Hopcroft,et al.  Linear time algorithm for isomorphism of planar graphs (Preliminary Report) , 1974, STOC '74.

[14]  Mohammed J. Zaki,et al.  Arabesque: a system for distributed graph mining , 2015, SOSP.

[15]  Peng-Yung Woo,et al.  A New Algorithm for Isomorphism Determination of Undirected Graphs-Circuit Simulation Method , 2011, Circuits Syst. Signal Process..

[16]  Xu Jin,et al.  Algorithm of graph isomorphism with three dimensional DNA graph structures , 2005 .