[論文レビュー] Graph Isomorphism and Circuit Size

Eric Allender, Joshua A. Grochow+3 more|arXiv (Cornell University)|Nov 25, 2015

Complexity and Algorithms in Graphs参考文献 6被引用数 5

ひとこと要約

この論文は、グラフ自己同型（GA）問題を、剛性グラフ同型（Rigid GI）の保証問題に知的な還元を確立している。GAは非自明な自己同型を持たないグラフペア（剛性を持つグラフ）へのクエリのみを用いて解けることを示している。主な貢献は、この還元が保証条件を保ち、強固で効率的であることであり、Rigid GI が保証付きcoRP または保証付きcoUP に属するならば、GA はそれぞれZPP または UP ∩ coUP に属することを示唆している。

ABSTRACT

It is well-known [KST93] that the complexity of the Graph Automorphism problem is characterized by a special case of Graph Isomorphism, where the input graphs satisfy the "promise" of being rigid (that is, having no nontrivial automorphisms). In this brief note, we observe that the reduction of Graph Automorphism to the Rigid Graph Ismorphism problem can be accomplished even using Grollman and Selman's notion of a "smart reduction".

研究の動機と目的

• グラフ自己同型（GA）問題から、剛性グラフ同型（Rigid GI）の保証問題への知的な還元を形式化すること。
• 非剛性グラフへのクエリを回避し、保証条件を保つような還元を示すこと。
• Rigid GI の複雑さクラスに関する仮定が、GA に対して ZPP または UP ∩ coUP といった対応するクラスをもたらすことを示すこと。
• 元の研究が後続の研究に取って代わられても、将来的な複雑さ理論的分析に有用であるように、還元を維持すること。

提案手法

• i ≥ 1 に対して、頂点 1 から i−1 に異なるラベルを、頂点 j と k にそれぞれ赤（r）と青（b）の色付きラベルを付けるように変更したグラフ G_{[j,k]}^{(i-1)} を構築する。
• n−1 から始めて、頂点インデックス i について再帰的な探索戦略を用い、G_{[i,j]}^{(i-1)} と G_{[k,i]}^{(i-1)} が同型である最初の三つ組 (i,j,k) を見つける。
• 頂点 i 以降に一意の色をラベルとして割り当てることで、すべてのクエリ対象となるグラフが剛性を持つことを保証する。これにより、非自明な自己同型は存在しない。
• 剛性条件を満たすペアにのみ Rigid GI の保証オラクルを用いることで、無駄なクエリを避ける知的な還元を実現する。
• このような色付きグラフの同型性が、元のグラフ G における非自明な自己同型の存在を示す事実を活用する。
• 保証付き複雑さクラス（例：保証付きcoRP、保証付きcoUP）と還元を組み合わせ、GA に対する複雑さの帰結を導出する。

実験結果

リサーチクエスチョン

• RQ1 グラフ自己同型は、非剛性グラフへのクエリを避けて、剛性グラフペアへのクエリのみを用いる知的な還元によって、剛性グラフ同型に還元可能か？
• RQ2 Rigid GI が保証付きcoRP または保証付きcoUP に属するならば、どのような複雑さクラスの帰結が生じるか？
• RQ3 GA から Rigid GI への知的な還元の存在が、特定の仮定のもとで GA が ZPP または UP ∩ coUP に属することを示唆するか？
• RQ4 非剛性グラフへのクエリに依存せずに、保証条件を保ったまま、保証ベースの還元を構築可能か？
• RQ5 知的な還元技法は、グラフ理論や複雑さ理論における他の保証問題へも適用可能か？

主な発見

• すべてのクエリが剛性グラフペアに限定される知的な還元が、グラフ自己同型から剛性グラフ同型へ存在し、保証条件を満たしている。
• Rigid GI が保証付きcoRP に属するならば、グラフ自己同型は ZPP に属する。これは、誤差が有界な効率的な確率的アルゴリズムが存在することを示唆する。
• Rigid GI が保証付きcoUP に属するならば、グラフ自己同型は UP ∩ coUP に属する。これは、yes および no のインスタンスに対して一意の受理経路が存在することを示唆する。
• 還元は、頂点インデックスの体系的探索と、剛性を保ちながら自己同型を検出可能な色付きグラフ構築に基づいて構築されている。
• この結果は、GA の複雑さが、特に保証付き複雑さクラスにおいて、Rigid GI の複雑さと密接に結びついていることを示している。
• 証明は、標準的な KST93 還元の変更に基づいており、すべてのクエリが保証集合 Y ∪ N 内に位置することを保証しており、知的な還元として適格である。