Exact Matching of Random Graphs with Constant Correlation

This paper deals with the problem of graph matching or network alignment for Erdős–Rényi graphs, which can be viewed as a noisy average-case version of the graph isomorphism problem. Let G and G' be G ( n , p ) Erdős–Rényi graphs marginally, identified with their adjacency matrices. Assume that G and G' are correlated such that 𝔼[G_ij G'_ij] = p(1-α ) . For a permutation π representing a latent matching between the vertices of G and G' , denote by G^π the graph obtained from permuting the vertices of G by π . Observing G^π and G' , we aim to recover the matching π . In this work, we show that for every ε∈ (0,1] , there is n_0>0 depending on ε and absolute constants α _0, R > 0 with the following property. Let n ≥ n_0 , (1+ε ) log n ≤ np ≤ n^1/R loglog n , and 0< α < min (α _0,ε /4) . There is a polynomial-time algorithm F such that ℙ{F(G^π ,G')=π}=1-o(1) . This is the first polynomial-time algorithm that recovers the exact matching between vertices of correlated Erdős–Rényi graphs with constant correlation with high probability. The algorithm is based on comparison of partition trees associated with the graph vertices.