[논문 리뷰] Graph Matching with Partially-Correct Seeds

Liren Yu, Jiaming Xu외 1명|arXiv (Cornell University)|2020. 04. 08.

Graph Theory and Algorithms참고 문헌 55인용 수 9

한 줄 요약

이 논문은 기존 방법보다 훨씬 적은 수의 올바른 시드를 필요로 하면서도 부분적으로 잘못된 시드가 있을 경우에도 완벽한 매칭을 달성하는 새로운 2단계 이웃 기반 그래프 매칭 알고리즘을 제안한다. 비순차적 성능 보장을 수립하여, $p$가 일정하거나 $p = n^{-3/4}$일 경우, 완벽한 매칭을 위해 $ olimitsackslashOmega(\sqrt{n\log n})$개의 올바른 시드만 필요하다는 것을 보여주며, 이는 이전 결과에서 요구한 $ olimitsackslashOmega(n)$ 또는 $ olimitsackslashOmega(n^{3/4}\log n)$개의 시드보다 뛰어나다.

ABSTRACT

Graph matching aims to find the latent vertex correspondence between two edge-correlated graphs and has found numerous applications across different fields. In this paper, we study a seeded graph matching problem, which assumes that a set of seeds, i.e., pre-mapped vertex-pairs, is given in advance. While most previous work requires all seeds to be correct, we focus on the setting where the seeds are partially correct. Specifically, consider two correlated graphs whose edges are sampled independently from a parent \ER graph $\mathcal{G}(n,p)$. A mapping between the vertices of the two graphs is provided as seeds, of which an unknown $β$ fraction is correct. We first analyze a simple algorithm that matches vertices based on the number of common seeds in the $1$-hop neighborhoods, and then further propose a new algorithm that uses seeds in the $2$-hop neighborhoods. We establish non-asymptotic performance guarantees of perfect matching for both $1$-hop and $2$-hop algorithms, showing that our new $2$-hop algorithm requires substantially fewer correct seeds than the $1$-hop algorithm when graphs are sparse. Moreover, by combining our new performance guarantees for the $1$-hop and $2$-hop algorithms, we attain the best-known results (in terms of the required fraction of correct seeds) across the entire range of graph sparsity and significantly improve the previous results in \cite{10.14778/2794367.2794371,lubars2018correcting} when $p\ge n^{-5/6}$. For instance, when $p$ is a constant or $p=n^{-3/4}$, we show that only $Ω(\sqrt{n\log n})$ correct seeds suffice for perfect matching, while the previously best-known results demand $Ω(n)$ and $Ω(n^{3/4}\log n)$ correct seeds, respectively. Numerical experiments corroborate our theoretical findings, demonstrating the superiority of our $2$-hop algorithm on a variety of synthetic and real graphs.

연구 동기 및 목표

• 실제 응용에서 흔히 발생하는, 제공된 시드 중 일부만 올바른 경우 그래프 매칭 문제를 해결하기 위해.
• 모든 시드가 올바르다고 가정하는 기존의 시드 기반 그래프 매칭 알고리즘의 한계를 개선하기 위해.
• 특히 희박한 그래프 환경에서 최소한의 올바른 시드로도 높은 매칭 정확도를 유지할 수 있는 방법을 개발하기 위해.
• 부분적으로 올바른 시드 조건 하에서 완벽한 매칭을 위한 비순차적 이론적 성능 보장을 수립하기 위해.

제안 방법

• 1단계 이웃 기반 알고리즘을 제안하여, 시드 집합 내에서 공통된 1단계 이웃 수를 기반으로 정점 간 매칭을 수행한다.
• 두 번째 순서의 이웃 정보를 활용해 매칭 정확도를 향상시키는 새로운 2단계 이웃 알고리즘을 도입한다.
• 2단계 증거 수를 기반으로 유도된 가중치에 대해 탐욕적 최대 가중치 매칭(GMWM) 알고리즘을 적용하여 정점 쌍을 선택한다.
• 집중 불등식과 확률적 경계를 활용하여 올바른 매칭에 대한 고확률 보장을 유도한다.
• 모든 정점 쌍에 걸쳐 오류 사건을 제어하기 위해 유니온 바ounds와 조건부 확률 추론을 적용한다.
• 2단계 알고리즘이 고확률로 완벽한 매칭을 달성할 수 있는 이론적 조건을 수립한다.

실험 결과

연구 질문

• RQ1 제공된 시드 중 일부만 올바를 경우 그래프 매칭을 성공적으로 수행할 수 있는가?
• RQ2 1단계 매칭과 비교해 2단계 이웃 매칭의 성능은 올바른 시드의 수 측면에서 어떻게 다른가?
• RQ3 희박한 에르되시-레니 그래프에서 부분적으로 올바른 시드 조건 하에 완벽한 매칭을 위해 필요한 최소한의 올바른 시드 수는 얼마인가?
• RQ4 부분적으로 올바른 시드 조건 하에서 시드 기반 그래프 매칭에 대한 이론적 성능 보장을 수립할 수 있는가?

주요 결과

• 희박한 그래프에서 2단계 알고리즘은 1단계 알고리즘보다 훨씬 적은 수의 올바른 시드가 필요하며, 특히 $p \geq n^{-5/6}$일 경우 두드러진다.
• 상수 $p$일 경우, 완벽한 매칭을 위해 $ olimitsackslashOmega(\sqrt{n\log n})$개의 올바른 시드로 충분하며, 이는 이전에 요구한 $ olimitsackslashOmega(n)$보다 향상된 결과이다.
• 일 때 $p = n^{-3/4}$, 이 방법은 $ olimitsackslashOmega(\sqrt{n\log n})$개의 올바른 시드가 필요하지만, 이전 작업은 $ olimitsackslashOmega(n^{3/4}\log n)$개의 시드가 필요했다.
• 이론적 분석 결과, 유도된 조건 하에서 2단계 알고리즘이 고확률($1 - n^{-1}$)로 완벽한 매칭을 달성함을 보여준다.
• 합성 및 실제 그래프에 대한 수치 실험을 통해 2단계 알고리즘이 기존 방법보다 뛰어난 성능을 보임을 확인한다.
• 논문은 그래프 희박성의 전 범위에서 요구되는 올바른 시드 비율 측면에서 현재까지 가장 우수한 결과를 확립한다.