[論文レビュー] Reconfiguration of Digraph Homomorphisms

Benjamin Lévêque, Moritz Mühlenthaler+1 more|arXiv (Cornell University)|May 18, 2022

Advanced Graph Theory Research被引用数 1

ひとこと要約

この論文は、無向グラフのホモモーフィズム再配置のためのWrochnaの位相的アプローチを有向グラフへと拡張し、H が4サイクルの代数的ゴージュが0であるループレスな有向グラフ、または三角形の代数的ゴージュが1である反射的有向グラフを含まない場合に、H-Recoloringの多項式時間アルゴリズムを提示する。この手法は、H の基本群におけるウォーク実現可能性と対称的ウォーク条件に依存しており、グラフ走査と代数的制約を用いて、有効な再色分けシーケンスを効率的に検出可能である。

ABSTRACT

For a fixed graph H, the H-Recoloring problem asks whether, given two homomorphisms from a graph G to H, one homomorphism can be transformed into the other by changing the image of a single vertex in each step and maintaining a homomorphism to H throughout. The most general algorithmic result for H-Recoloring so far has been proposed by Wrochna in 2014, who introduced a topological approach to obtain a polynomial-time algorithm for any undirected loopless square-free graph H. We show that the topological approach can be used to recover essentially all previous algorithmic results for H-Recoloring and that it is applicable also in the more general setting of digraph homomorphisms. In particular, we show that H-Recoloring admits a polynomial-time algorithm i) if H is a loopless digraph that does not contain a 4-cycle of algebraic girth 0 and ii) if H is a reflexive digraph that contains no triangle of algebraic girth 1 and no 4-cycle of algebraic girth 0.

研究の動機と目的

• 無向グラフホモモーフィズム再配置のためのWrochnaのアルゴリズム的枠組みを、有向グラフの文脈へと拡張すること。
• 固定されたテンプレート有向グラフ H に対して、H-Recoloring 問題が多項式時間で解ける十分条件を同定すること。
• トランジティブなトーナメントや反射的サイクルに関する先行結果を、より広いクラスの有向グラフへ一般化すること。
• H におけるウォークの実現可能性を、H の基本群における対称的ウォークを用いて位相的に特徴付けること。

提案手法

• テンプレート有向グラフ H の基本群 π(H) に基づく位相的アプローチを用いて、ウォークの実現可能性を分析する。
• G におけるウォーク Q が H 実現可能であるとは、特に強連結成分上で H の基本群に対称的ウォークを誘導する場合を指す。
• Tarjanのアルゴリズムを用いて G の強連結成分を計算し、有向サイクルに含まれる頂点を特定する。
• ホモモーフィズム不変量を維持しながら、段階的に再色分けシーケンスをシミュレートするための「進めるアルゴリズム」を採用する。
• α(q) から β(q) へのウォークを探索するため幅優先探索を用い、生成されたウォークに対して対称性条件をチェックする。
• ホモモーフィズムを維持しながら頂点の色変更を誘導するため、プッシュまたはプル性質を適用する。

実験結果

リサーチクエスチョン

• RQ1 任意の入力グラフ G に対して、固定された有向グラフ H に対して H-Recoloring 問題が多項式時間で解ける条件は何か？
• RQ2 無向グラフの平方自由な場合に用いられる位相的手法を、特定のサイクル構造を持つ有向グラフへ一般化できるか？
• RQ3 H におけるサイクルの代数的ゴージュが、H-Recoloring の tractability に果たす役割は何か？
• RQ4 H の基本群 π(H) における対称的ウォークを用いて、有向グラフにおける有効な再色分けシーケンスを特徴付ける方法は何か？
• RQ5 存在する場合、プッシュまたはプル性質を満たす再色分けシーケンスを一意に構成する標準的な方法はあるか？

主な発見

• H が4サイクルの代数的ゴージュが0であるループレス有向グラフであれば、H-Recoloring 問題は多項式時間で解ける。
• 反射的有向グラフ H に対しては、H が三角形の代数的ゴージュが1であるものも、4サイクルの代数的ゴージュが0であるものも含まない場合、H-Recoloring は多項式時間で解ける。
• G におけるウォーク Q が H 実現可能であるための必要十分条件は、G のすべての有向サイクルに対して、H 上に誘導されるウォークが π(H) で対称的であることである。
• アルゴリズムは幅優先探索とTarjanのアルゴリズムを用いて、ウォークの実現可能性条件および強連結成分の条件を効率的に探索する。
• α(q) から β(q) へと至る H 実現可能ウォークが一意に存在する場合、進めるアルゴリズムにより多項式時間で再色分けシーケンスが構成可能である。
• α(q₀) から β(q₀) へのすべてのウォークが、有向サイクルに属する頂点の集合 V′ において対称的ウォークを生成する場合、BFS と進めるアルゴリズムを用いて有効な再色分けシーケンスを発見可能である。