[論文レビュー] Dichotomy for Digraph Homomorphism Problems

Tomás Feder, Jeff Kinne+2 more|arXiv (Cornell University)|Jan 10, 2017

Advanced Graph Theory Research参考文献 34被引用数 21

ひとこと要約

本稿では、HOM(H) が多項式時間で解けるための必要十分条件として、ターゲットの有向グラフ H が弱近傍一様（wNU）多様体を備えることであることを証明することで、有向グラフのホモモーフィズム問題における二分岐を確立した。著者らは、リストベースの還元とバイクライク分解を活用する、新しい組合せ的アルゴリズムを提示し、HOM(H) インスタンスを効率的に解く手法を提供している。これは、Bulatov らと Zhuk の先行の代数的証明とは対照的に、より単純な代替手法である。実験的検証により、多項式時間での動作が確認された。

ABSTRACT

We consider the problem of finding a homomorphism from an input digraph $G$ to a fixed digraph $H$. We show that if $H$ admits a weak-near-unanimity polymorphism $ϕ$ then deciding whether $G$ admits a homomorphism to $H$ (HOM($H$)) is polynomial time solvable? This gives a proof of the dichotomy conjecture (now dichotomy theorem) by Feder and Vardi [29]. Our approach is combinatorial, and it is simpler than the two algorithms found by Bulatov [9] and Zhuk [46] in 2017. We have implemented our algorithm and show some experimental results.

研究の動機と目的

• 固定された有向グラフ H に対して、HOM(H) 問題が P と NP-完全の境界を明確にすることにより、有向グラフのホモモーフィズム問題における二分岐予想を解決すること。
• 固定テンプレート付き制約充足問題（CSP）の Feder-Vardi 二分岐予想を、特に有向グラフに対して、代数的手法を用いずに、組合せ的でアルゴリズム的な証明を提供すること。
• H が wNU 多様体を備える場合に、Bulatov らと Zhuk の先行の代数的アプローチよりも、より単純かつ効率的なアルゴリズムを構築すること。
• 提案されたアルゴリズムを実装し、さまざまな構築されたインスタンスに対して実験的に検証することで、多項式時間の動作を示すこと。

提案手法

• アルゴリズムはリストベースの還元を用いる。入力グラフ G の各頂点に、H 内の可能な画像のリストが割り当てられ、反復的に少数派リスト要素を削除することで問題を単純化する。
• 非少数派ペアに沿って Sym-Diff 操作を適用し、リストの割り当てを disjoint に分割することで、再帰的分解を可能にする。
• バイクライク検出を用いて、複雑なリスト構造を特定・削減する。各バイクライクはパスに変換されるか、少数派削除によって排除される。
• 積グラフ G ×_L H の連結成分を再帰的に処理し、各ステップでリストサイズが減少することを保証することで、再帰の深さを最大で 2|H| に制限する。
• 重要な要素として、リスト要素が他のものに支配されている頂点を削除する RemoveMinority 関数があり、探索空間を縮小する。
• 全体の実行時間は、入力サイズ |G| とリストサイズ k を用いて、O(|G|⁴|H|^{k+4}) で抑えられ、これはペアワイズ処理と多項式時間還元に基づく。

実験結果

リサーチクエスチョン

• RQ1 固定された有向グラフ H に対して、ホモモーフィズム問題 HOM(H) が多項式時間で解けるための構造的条件は何か？
• RQ2 普遍代数の複雑な道具を用いずに、有向グラフのホモモーフィズム問題における二分岐を、組合せ的で非代数的アプローチで証明可能か？
• RQ3 H が弱近傍一様多様体を備える場合に、実用的で効率的な HOM(H) アルゴリズムは存在するか？ また、既存の代数的解法と比べてどのように性能が異なるか？
• RQ4 提案されたアルゴリズムは、構築されたインスタンスに対して実際の動作が多項式時間であると示されるか？ その実験的性能は？

主な発見

• 本稿では、HOM(H) が P に属するための必要十分条件として、H が弱近傍一様多様体を備えることであることを証明し、有向グラフのホモモーフィズム問題における完全な二分岐を確立した。
• 提案されたアルゴリズムの実行時間は O(|G|⁴|H|^{k+4}) であり、k は最大リストサイズである。実験的に、すべてのテストインスタンスで多項式時間で動作することが観察された。
• 再帰的ステップごとにリストサイズが厳密に減少することにより、指数的ブロードアウトを回避し、再帰の深さを最大で 2|H| に制限している。
• Sym-Diff とバイクライク分解の使用により、部分インスタンスが独立して処理され、リストが互いに素であることが保証され、並列処理や再帰的処理が効率的に行える。
• 5-タプル、9-タプル、14-タプルから導出されたインスタンスに対する実験的結果は、wNU 多様体を備える複雑な H に対しても一貫した多項式時間性能を示した。
• 半ラティスブロック Maltsev 多様体やより一般的な wNU 多様体を備える H に対しても、アルゴリズムは正常に動作し、広範な適用可能性を確認した。