[論文レビュー] Graph Matching with Partially-Correct Seeds

Liren Yu, Jiaming Xu+1 more|arXiv (Cornell University)|Apr 8, 2020

Graph Theory and Algorithms参考文献 55被引用数 9

ひとこと要約

本稿では、従来の手法よりもはるかに少ない正しいシードを用いても完全一致を達成する、新しい2ホップ近傍に基づくグラフマッチングアルゴリズムを提案する。シードが部分的に誤りであっても、その性能を維持する。非漸近的性能保証を確立し、$p$ が定数または $p = n^{-3/4}$ の場合、完全一致には $ olimits\Omega(\sqrt{n\log n})$ 個の正しいシードで十分であることを示している。これは、従来の手法が $ olimits\Omega(n)$ または $ olimits\Omega(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ホップ近傍アルゴリズムを導入する。
• 2ホップ証拠数から得られる重みに基づき、グリーディー最大重みマッチング（GMWM）アルゴリズムを用いて頂点ペアを選択する。
• 集中不等式と確率的バウンドを用いて、正しいマッチングの高確率保証を導出する。
• すべての頂点ペアにおける誤り事象を制御するため、和集合の不等式と条件付き確率の議論を適用する。
• 2ホップアルゴリズムが高確率で完全一致を達成する理論的条件を確立する。

実験結果

リサーチクエスチョン

• RQ1 提供されたシードの一部しか正しくない場合に、グラフマッチングを成功裏に実行できるか？
• RQ2 部分的シード正しさの下で、2ホップ近傍マッチングの性能は1ホップマッチングと比べて、必要な正しいシード数の観点でどのように異なるか？
• RQ3 スパースなErdős-Rényiグラフにおいて、部分的シード正しさの下で完全一致に必要な最小正しいシード数は何か？
• RQ4 部分的シード正しさの下で、シード付きグラフマッチングの理論的性能保証を確立できるか？

主な発見

• スパースグラフにおいて、2ホップアルゴリズムは1ホップアルゴリズムよりもはるかに少ない正しいシードを必要とする。特に $p \geq n^{-5/6}$ の場合に顕著である。
• 定数 $p$ の場合、完全一致には $ olimits\Omega(\sqrt{n\log n})$ 個の正しいシードで十分であり、これは従来の $ olimits\Omega(n)$ の要件を改善している。
• $p = n^{-3/4}$ の場合、本手法では $ olimits\Omega(\sqrt{n\log n})$ 個の正しいシードで十分であるが、従来の手法では $ olimits\Omega(n^{3/4}\log n)$ 必要であった。
• 理論的解析により、導出された条件下で2ホップアルゴリズムが高確率（$1 - n^{-1}$）で完全一致を達成することが示された。
• 合成グラフおよび実データグラフに対する数値実験により、2ホップアルゴリズムが既存手法を上回ることを確認した。
• 本稿は、グラフスパarsityの全範囲にわたり、必要な正しいシードの割合において、これまでで最も優れた結果を確立した。