Skip to main content
QUICK REVIEW

[论文解读] Exact Matching of Random Graphs with Constant Correlation

Cheng Mao, Mark Rudelson|arXiv (Cornell University)|Oct 11, 2021
Caching and Content Delivery参考文献 28被引用 4
一句话总结

该论文提出了首个多项式时间算法,可在常数相关性下精确恢复两个相关 Erdős–Rényi 随机图之间的潜在顶点匹配,采用基于顶点邻域签名的递归划分方案。该方法在平均度随 n 对数增长的稀疏图条件下,实现了高概率的精确恢复。

ABSTRACT

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 $\mathbb{E}[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 $\varepsilon \in (0,1]$, there is $n_0>0$ depending on $\varepsilon$ and absolute constants $α_0, R > 0$ with the following property. Let $n \ge n_0$, $(1+\varepsilon) \log n \le np \le n^{\frac{1}{R \log \log n}}$, and $0 < α< \min(α_0,\varepsilon/4)$. There is a polynomial-time algorithm $F$ such that $\mathbb{P}\{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.

研究动机与目标

  • 开发一种针对具有常数相关性的相关 Erdős–Rényi 图之间的精确图匹配的多项式时间算法。
  • 弥合噪声图匹配问题中信息论阈值与可高效计算的恢复条件之间的差距。
  • 在平均度 np 随 n 对数增长的稀疏图情形下,建立高概率的精确恢复。
  • 提出一种基于签名的新型划分方法,利用邻域重叠统计量区分正确与错误的顶点对。

提出的方法

  • 该算法基于顶点邻域构建划分树,并通过递归细化识别候选匹配。
  • 通过 G^π 与 G′ 中邻域的重叠定义顶点签名,利用稀疏化技术降低噪声影响。
  • 采用递归过程,通过签名重叠阈值测试候选映射,迭代改进初始匹配。
  • 该方法依赖大数集中不等式,证明正确顶点对的签名重叠显著高于错误顶点对。
  • 采用多级细化过程,每一步将错误匹配的顶点数减半,确保收敛至真实排列。
  • 通过随机图中邻域基数与重叠分布的概率分析,推导出理论保证。

实验结果

研究问题

  • RQ1当相关性为常数时,是否能在多项式时间内实现两个相关 Erdős–Rényi 图之间潜在匹配的精确恢复?
  • RQ2在常数相关性情形下,平均度 np 满足何种条件可实现高概率的精确恢复?
  • RQ3如何利用顶点邻域结构区分相关图中正确与错误的顶点对?
  • RQ4是否存在一种递归算法框架,可逐步细化初始匹配以实现精确恢复?

主要发现

  • 该算法对所有 n ≥ n₀,以概率 1 - o(1) 实现精确匹配,其中 n₀ 依赖于 ε 和绝对常数。
  • 当 (1+ε)log n ≤ np ≤ n^(1/(R log log n)) 且 0 < α < min(α₀, ε/4) 时,可实现精确恢复,其中 α 为噪声水平。
  • 该方法保证每轮递归中错误匹配顶点数减半,经 O(log n) 次迭代后实现精确恢复。
  • 正确顶点对的签名重叠至少为 ε²pn/512,而错误顶点对的重叠在高概率下低于 ε²pn/512。
  • 该算法是首个在常数相关性下实现多项式时间精确恢复的算法,其结果超越了以往仅限于趋于零相关性的研究。

更好的研究,从现在开始

从阅读论文到最终审阅,大幅缩短您的研究时间。

无需绑定信用卡

本解读由 AI 生成,并经人工编辑审核。