[論文レビュー] Pebble games with algebraic rules

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

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

ひとこと要約

本稿では、代数的ルールを備えた新しいペブルゲームである可逆写像ゲームを導入し、グラフ同型性の多項式時間近似の族を提供する。これは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.

研究の動機と目的

• 有限変数論理における論理的同値性を特徴付けるための、代数的ルールを備えた新しいペブルゲームのクラスを開発すること。
• Weisfeiler-Lehman法を上回る表現力を有する、多項式時間で決定可能なグラフ同型性の近似を提供すること。
• ゲームベースの同値性とIFPR（行列ランク作用素を備えたインフレーション固定点論理）における定義可能性との間の関係を確立すること。
• 良好に振る舞うゲーム、特に可逆写像ゲームから新たな論理を抽出する可能性を検討すること。

提案手法

• Duplicatorが特定の代数的条件を満たす分割を維持しなければならないような、分割ゲームの一般枠組みを定式化する。
• 行列同値条件を行列タプルの同時相似性に置き換えることで、可逆写像ゲームを導入する。
• Chistovらの結果を用いて、可逆写像ゲームによって定義される同値関係 ≈k_m,Ω が多項式時間で決定可能であることを示す。
• ゲームを、行列ランク論理およびIFPRの断片における論理的同値性の特徴付けに適用する。
• k-タプル上の同値類をチェックすることで、グラフ同型性をテストするアルゴリズム（IMk_m,Ω）を設計する。
• 可逆写像ゲームが、行列同値ゲームおよびWeisfeiler-Lehman法の両方を厳密に精錬することを確立する。

実験結果

リサーチクエスチョン

• RQ1 代数的ルールを備えた新しいペブルゲームを定義することで、Weisfeiler-Lehman法よりも強い多項式時間のグラフ同型性近似を得られるか？
• RQ2 可逆写像ゲームによって定義される同値関係は、Weisfeiler-Lehman法のそれよりも厳密に強いか？
• RQ3 可逆写像ゲームを用いて、IFPRまたは関連論理における非定義可能性結果を証明できるか？
• RQ4 行列同値ゲームから可逆写像ゲームへの精錬は厳密か、それとも特定のパrameter設定下で一致するか？
• RQ5 可逆写像ゲームから、IFPRで定義可能でない多項式時間性質を捉える新たな論理を抽出できるか？

主な発見

• 可逆写像ゲームは、非同型グラフを区別する能力においてWeisfeiler-Lehman法よりも厳密に強い同値関係の族 ≈k_m,Ω を定義する。
• Chistov らの同時相似性の結果に基づくアルゴリズムにより、同値関係 ≈k_m,Ω が多項式時間で決定可能であることが示された。
• CFI グラフなどの非同型グラフは、固定されたレベル（例：IM3_{p},1）で可逆写像ゲームによって区別可能だが、Weisfeiler-Lehman法のいかなる固定次元でも区別できない。
• 可逆写像ゲームは行列同値ゲームを精錬しており、Duplicatorが前者で勝つ戦略を持つならば、後者でも勝つ戦略を持つ。
• ゲームはWeisfeiler-Lehman階層を超えるグラフ同型性の新たな階層を提供し、有限モデル理論におけるPTIMEの特徴付けへの可能性を示唆する。
• この枠組みにより、代数的条件に基づく新たな分割ゲームを定義でき、新たな論理および同型性テストの道が開かれる。