[论文解读] Pebble games with algebraic rules

Anuj Dawar, Bjarki Holm|arXiv (Cornell University)|May 4, 2012

Advanced Algebra and Logic参考文献 11被引用 1

一句话总结

本文引入了可逆映射博弈（invertible-map game），一种具有代数规则的新型 Pebble 博弈，为图同构提供了一类多项式时间近似解，其表达能力严格强于 Weisfeiler-Lehman 方法。该研究刻画了扩展了矩阵秩算子的有限变量逻辑中的等价性，并证明其等价关系可在多项式时间内判定，为区分非同构图提供了一种超越现有方法的新工具。

ABSTRACT

We define a general framework of partition games for formulating two-player pebble games over finite structures. We show that one particular such game, which we call the invertible-map game, yields a family of polynomial-time approximations of graph isomorphism that is strictly stronger than the well-known Weisfeiler-Lehman method. The general framework we introduce includes as special cases the pebble games for finite-variable logics with and without counting. It also includes a matrix-equivalence game, introduced here, which characterises equivalence in the finite-variable fragments of matrix-rank logic. We show that the equivalence defined by the invertible-map game is a refinement of the equivalence defined by each of these games for finite-variable logics.

研究动机与目标

• 开发一类具有代数规则的新型 Pebble 博弈，用于刻画有限变量逻辑中的逻辑等价性。
• 提供一种超越 Weisfeiler-Lehman 方法表达能力的多项式时间可判定的图同构近似方法。
• 建立基于博弈的等价性与 IFPR（含秩算子的膨胀不动点逻辑）中可定义性之间的联系。
• 探索从具有良好行为的博弈中提取新逻辑的可能性，特别是可逆映射博弈。

提出的方法

• 构建一个划分博弈的一般框架，其中 Duplicator 必须维持满足特定代数条件的划分。
• 通过将矩阵等价条件替换为矩阵元组的同步相似性，引入可逆映射博弈。
• 利用 Chistov 等人的结果，证明由可逆映射博弈定义的等价关系 ≈k_m,Ω 可在多项式时间内判定。
• 将该博弈应用于刻画矩阵秩逻辑及 IFPR 的子逻辑中的逻辑等价性。
• 设计一种算法（IMk_m,Ω），通过检查 k 元组上的等价类来利用博弈测试图同构。
• 证明可逆映射博弈在细化矩阵等价博弈的基础上，进一步细化了 Weisfeiler-Lehman 方法。

实验结果

研究问题

• RQ1 能否定义一种基于代数规则的新 Pebble 博弈，以获得强于 Weisfeiler-Lehman 方法的多项式时间图同构近似？
• RQ2 可逆映射博弈所定义的等价关系是否严格强于 Weisfeiler-Lehman 方法的等价关系？
• RQ3 可逆映射博弈能否用于证明 IFPR 或相关逻辑中的不可定义性结果？
• RQ4 从矩阵等价博弈到可逆映射博弈的细化是否严格？抑或在某些参数设置下两者一致？
• RQ5 能否从可逆映射博弈中提取一种新逻辑，以捕捉在 IFPR 中不可定义的 PTIME 性质？

主要发现

• 可逆映射博弈定义了一类等价关系 ≈k_m,Ω，其在区分非同构图方面严格强于 Weisfeiler-Lehman 方法。
• 等价关系 ≈k_m,Ω 可在多项式时间内判定，其证明基于 Chistov 等人关于同步相似性的结果。
• 存在非同构图（如 CFI 图），可在固定层级（例如 IM3_{p},1）被可逆映射博弈区分，但无法被任何固定维度的 Weisfeiler-Lehman 方法区分。
• 可逆映射博弈细化了矩阵等价博弈，即若 Duplicator 在前者中拥有必胜策略，则其在后者中亦拥有必胜策略。
• 该博弈为图同构提供了一种超越 Weisfeiler-Lehman 层次的新分层结构，为在有限模型论中刻画 PTIME 提供了潜在路径。
• 该框架允许基于代数条件定义新的划分博弈，为新逻辑与同构性测试开辟了新途径。