[论文解读] The Weisfeiler-Lehman Method and Graph Isomorphism Testing

B. L. Douglas|arXiv (Cornell University)|Jan 27, 2011

Complexity and Algorithms in Graphs参考文献 29被引用 40

一句话总结

本文通過引入一種擴展的遞歸 $k$-維 Weisfeiler-Lehman 方法，重新評估了圖同構測試中的 Weisfeiler-Lehman (WL) 方法，該方法在基圖 $G$ 可由遞歸 $k$-維 WL 方法表徵時，成功表徵了已知的 $k$-等價反例圖——如 CFI($G$) 和 X($G$)。主要貢獻在於，此擴展方法尚未出現已知反例，表明在某些結構假設下，WL 框架仍有可能用於解決圖同構問題。

ABSTRACT

Properties of the `$k$-equivalent' graph families constructed in Cai, Fürer and Immerman, and Evdokimov and Ponomarenko are analysed relative the the recursive $k$-dim WL method. An extension to the recursive $k$-dim WL method is presented that is shown to efficiently characterise all such types of `counterexample' graphs, under certain assumptions. These assumptions are shown to hold in all known cases.

研究动机与目标

• 在先前研究表明 WL 方法不足以解決圖同構問題後，重新審視其作為圖同構問題解決方案的潛力。
• 分析 $k$-維 WL 方法在區分 Cai、Fürer 和 Immerman 所構造的 $k$-等價圖，以及 Evdokimov 和 Ponomarenko 所構造的 $k$-等價圖時的局限性。
• 開發一種擴展的遞歸 $k$-維 WL 方法，通過整合適用於複合圖的分解過程，克服這些局限性。
• 識別出使擴展方法仍有效的結構約束，並評估這些約束是否過於嚴苛，或是否自然地被已知反例所滿足。
• 調查是否存在新型 $k$-等價圖可逃避免譜方法的檢測，若存在，這類圖將是理解 WL 方法極限的重大突破。

提出的方法

• 本文引入一種擴展的遞歸 $k$-維 Weisfeiler-Lehman 方法，整合了第七章的分解過程，以將頂點集細化至其軌道。
• 證明若基圖 $G$ 可由遞歸 $k$-維 WL 方法表徵，則所導出的圖 CFI($G$) 和 X($G$) 也可由遞歸 $(k+1)$-維 WL 方法表徵。
• 該方法依賴於第 7.4 節的假設，這些假設已被證明對所有已知 $k$-等價圖族及其微小變體均成立。
• 該方法並非透過直接生成證書來區分圖，而是透過將頂點集細化至其自同構軌道，這在無證書情況下等價於解決同構問題。
• 該分解方法具有非平凡性，因其適用於整個 $k$-等價圖族，而非僅單獨的反例。
• 該方法透過證明尚未發現對擴展 WL 方法的已知反例，且構造新反例將需要具有先前未知特性的圖，從而得到驗證。

实验结果

研究问题

• RQ1 當基圖 $G$ 可由相同方法表徵時，遞歸 $k$-維 Weisfeiler-Lehman 方法能否表徵 CFI($G$) 和 X($G$) 圖？
• RQ2 $k$-等價圖的哪些結構特性使其能被擴展的 WL 方法表徵？
• RQ3 在第 7.4 節假設下，是否存在任何已知的 $k$-等價圖會抵抗由擴展遞歸 $k$-維 WL 方法的表徵？
• RQ4 是否存在非 $k$-等價圖，使得 $k$-維 WL 方法無法將其細化至其軌道？若存在，它們具有何種性質？
• RQ5 第 7.4 節的假設在何種情況下會失效？能否構造出此類圖以作為對擴展 WL 方法的新反例？

主要发现

• 當基圖 $G$ 可由遞歸 $k$-維 WL 方法表徵時，遞歸 $(k+1)$-維 WL 方法能成功表徵 CFI($G$) 和 X($G$) 圖。
• 第七章的分解方法使擴展的 $k$-維 WL 方法在第 7.4 節假設下，能將所有已知 $k$-等價圖細化至其軌道。
• 尚未發現對擴展遞歸 $k$-維 WL 方法的已知反例，表明其可能是解決圖同構問題的可行路徑。
• 構造對擴展方法的新反例將需要找到具有先前未知特性的圖，這些特性在任何已知 $k$-等價家族中均不存在。
• 第 7.4 節的假設被所有已知 $k$-等價圖及其微小變體所滿足，表明這些約束並不過於嚴苛。
• 細化至軌道與生成證書之間的區別被證明至關重要——一者失敗則另一者亦失敗，但擴展方法在已知情況下同時解決了這兩者。