A polynomial-time algorithm for simple undirected graph isomorphism

被引:6
|
作者
He, Jing [1 ,2 ,13 ]
Chen, Jinjun [2 ]
Huang, Guangyan [3 ]
Cao, Jie [1 ]
Zhang, Zhiwang [1 ]
Zheng, Hui [2 ]
Zhang, Peng [2 ]
Zarei, Roozbeh [2 ]
Sansoto, Ferry [2 ]
Wang, Ruchuan [4 ]
Ji, Yimu [4 ]
Fan, Weibei [4 ]
Xie, Zhijun [5 ]
Wang, Xiancheng [6 ]
Guo, Mengjiao [2 ]
Chi, Chi-Hung [7 ]
de Souza, Paulo A. [7 ]
Zhang, Jiekui [8 ]
Li, Youtao [8 ]
Chen, Xiaojun [9 ]
Shi, Yong [10 ]
Green, David [11 ]
Kersi, Taraporewalla [12 ]
Van Zundert, Andre [12 ]
机构
[1] Nanjing Univ Finance & Econ, Inst Informat Technol, Nanjing, Jiangsu, Peoples R China
[2] Swinburne Univ Technol, Swinburne Data Sci Res Inst, Melbourne, Vic, Australia
[3] Deakin Univ, Sch Informat Technol, Melbourne, Vic, Australia
[4] Nanjing Univ Posts & Telecommun, Jiangsu High Technol Res Key Lab Wireless Sensor, Nanjing, Jiangsu, Peoples R China
[5] Ningbo Univ, Dept Informat Sci & Engn, Ningbo, Zhejiang, Peoples R China
[6] Zhejiang Univ, Ningbo Inst Technol, Ningbo, Zhejiang, Peoples R China
[7] CSIRO, Hobart, Tas, Australia
[8] JingQi Smart Healthcare Pty Ltd, Hefei, Anhui, Peoples R China
[9] Hong Kong Polytech Univ, Dept Appl Math, Hong Kong, Peoples R China
[10] Chinese Acad Sci, Res Ctr Fictitious Econ & Data Sci, Beijing, Peoples R China
[11] Monash Univ, Fac Informat Technol, Melbourne, Vic, Australia
[12] Royal Brisbane & Womens Hosp, Herston, Qld, Australia
[13] John St, Hawthorn, Vic 3122, Australia
来源
基金
国家重点研发计划; 澳大利亚研究理事会;
关键词
equivalence between permutation and bijection; graph isomorphism; polynomial-time solution; reflexivity and duality; simple undirected graph; vertex; edge adjacency matrix;
D O I
10.1002/cpe.5484
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
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.
引用
收藏
页数:24
相关论文
共 50 条
  • [31] A Simple Polynomial-Time Randomized Distributed Algorithm for Connected Row Convex Constraints
    Kumar, T. K. Satish
    Duc Thien Nguyen
    Yeoh, William
    Koenig, Sven
    PROCEEDINGS OF THE TWENTY-EIGHTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2014, : 2308 - 2314
  • [32] POLYNOMIAL-TIME LEARNABILITY OF SIMPLE DETERMINISTIC LANGUAGES
    ISHIZAKA, H
    MACHINE LEARNING, 1990, 5 (02) : 151 - 164
  • [33] A bounded-error quantum polynomial-time algorithm for two graph bisection problems
    Younes, Ahmed
    QUANTUM INFORMATION PROCESSING, 2015, 14 (09) : 3161 - 3177
  • [34] A bounded-error quantum polynomial-time algorithm for two graph bisection problems
    Ahmed Younes
    Quantum Information Processing, 2015, 14 : 3161 - 3177
  • [35] Thin graph classes and polynomial-time approximation schemes
    Dvorak, Zdenek
    SODA'18: PROCEEDINGS OF THE TWENTY-NINTH ANNUAL ACM-SIAM SYMPOSIUM ON DISCRETE ALGORITHMS, 2018, : 1685 - 1701
  • [36] A polynomial-time approximation to a minimum dominating set in a graph
    Mira, Frank angel Hernandez
    Inza, Ernesto Parra
    Almira, Jose Maria Sigarreta
    Vakhania, Nodari
    THEORETICAL COMPUTER SCIENCE, 2022, 930 : 142 - 156
  • [37] Graph operations on parity games and polynomial-time algorithms
    Dittmann, Christoph
    Kreutzer, Stephan
    Tomescu, Alexandru I.
    THEORETICAL COMPUTER SCIENCE, 2016, 614 : 97 - 108
  • [38] Polynomial-Time Axioms of Choice and Polynomial-Time Cardinality
    Joshua A. Grochow
    Theory of Computing Systems, 2023, 67 : 627 - 669
  • [39] Polynomial-Time Algorithm for Sorting by Generalized Translocations
    Yin, Xiao
    Zhu, Daming
    THEORY AND APPLICATIONS OF MODELS OF COMPUTATION, 2009, 5532 : 440 - 449
  • [40] A polynomial-time algorithm for global value numbering
    Gulwani, S
    Necula, GC
    STATIC ANALYSIS, PROCEEDINGS, 2004, 3148 : 212 - 227