[論文レビュー] Digraph related constructions and the complexity of digraph homomorphism problems

Marcel Jackson, Tomasz Kowalski+1 more|arXiv (Cornell University)|Apr 17, 2013

Advanced Graph Theory Research参考文献 36被引用数 7

ひとこと要約

本稿は、基本的な二重辺構成が二重辺ホモモーフィズム問題の複雑さに与える影響と、制約充足問題における多様体の役割を調査する。完全な対称的閉包を持つ有向グラフについて、代数的CSP二分岐予想を証明し、有向グラフに総和のソースとシンクが両方存在する場合、部分群と局所的整合性アルゴリズムが同等の解法条件に収束することを示す。また、第一階論理還元において、厳密な幅と少数の部分群の性質が不安定であることも示している。

ABSTRACT

The role of polymorphisms in determining the complexity of constraint satisfaction problems is well established. In this context we study the stability of CSP complexity and polymorphism properties under some basic graph theoretic constructions. As applications we prove the algebraic CSP dichotomy conjecture holds for digraphs whose symmetric closure is a complete graph, and observe a collapse in the applicability of algorithms for CSPs over directed graphs with both a total source and a total sink: the corresponding CSP is solvable by the subpowers algorithm if and only if it is solvable by a local consistency check algorithm. Moreover, we find that the property of strict width and solvability by few subpowers are unstable under first order reductions.

研究の動機と目的

• 基本的なグラフ理論的演算が有向グラフCSPの複雑さに与える影響を分析すること。
• 第一階論理還元の下で、多様体に基づく複雑さ分類が安定しているかどうかを調査すること。
• 対称的閉包が完全なグラフである有向グラフについて、代数的CSP二分岐予想の妥当性を確立すること。
• 総和のソースとシンクを備えた有向グラフにおいて、部分群と局所的整合性アルゴリズムとの関係を検討すること。
• 厳密な幅や少数の部分群による解法といった性質が、第一階論理還元において保持されるかどうかを特定すること。

提案手法

• 対称的閉包や第一階論理還元などの有向グラフ構成における多様体不変量の分析。
• 多様体とその閉包性質に注目したCSPの代数的アプローチの適用。
• 特に総和のソースとシンクを特徴とする有向グラフの構造的性質を用いて、アルゴリズム的同等性を導出する。
• 総和のソースと総和のシンクを両方備えた有向グラフにおいて、部分群アルゴリズムによる解法と局所的整合性チェックアルゴリズムによる解法が同等であることを確立する。
• 第一階論理還元を用いて、厳密な幅や少数の部分群といった複雑さの性質が安定しているかどうかを検証する。
• 多様体に基づく分類を用いて、完全な対称的閉包を持つ有向グラフについてCSPの二分岐を証明する。

実験結果

リサーチクエスチョン

• RQ1 対称的閉包が完全なグラフである有向グラフについて、代数的CSP二分岐予想は成立するか？
• RQ2 有向グラフにおいて、部分群アルゴリズムと局所的整合性チェックアルゴリズムがどのような条件下で同等になるか？
• RQ3 厳密な幅と少数の部分群による解法の性質は、第一階論理還元の下で安定しているか？
• RQ4 基本的な有向グラフ構成は、多様体構造とCSPの複雑さにどのように影響を与えるか？
• RQ5 どのような有向グラフの構造的特徴が、部分群と局所的整合性手法の間でアルゴリズム的パワーの収束を引き起こすか？

主な発見

• 対称的閉包が完全なグラフである有向グラフについて、代数的CSP二分岐予想が成立する。
• 総和のソースと総和のシンクを両方備えた有向グラフにおいて、部分群アルゴリズムによる解法は、局所的整合性チェックアルゴリズムによる解法と同等である。
• 厳密な幅の性質は第一階論理還元の下で保持されないため、複雑さ分類枠組みにおける不安定性を示している。
• 少数の部分群による解法の性質も第一階論理還元の下で不安定であり、この複雑さ基準の頑健性に疑問を呈している。
• 結果として、総和のソースと総和のシンクを両方備えた有向グラフでは、2つの異なるアルゴリズム的手法が同等になるという、アルゴリズム的パワーの収束が示された。