[論文レビュー] Graph Homomorphism Reconfiguration and Frozen $H$-Colourings

Richard C. Brewster, Jae-baek Lee+3 more|arXiv (Cornell University)|Dec 1, 2017

Advanced Graph Theory Research参考文献 23被引用数 4

ひとこと要約

本稿では、$H$ が奇数のホイールであるとき、$H$-色分けの再構成問題がPSPACE完全であることを確立し、凍結 $H$-色分けの存在に関する完全な二分法を提示する—すなわち、グラフ $G$ が凍結 $H$-色分けをもつのは、$H$ が $H'$ の成分でない非熱的成分を含むときである。結果は、特定の多様体の非存在によって示されたNP完全性を示すCSP問題への還元に依拠している。

ABSTRACT

For a fixed graph $H$, the reconfiguration problem for $H$-colourings (i.e. homomorphisms to $H$) asks: given a graph $G$ and two $H$-colourings $φ$ and $ψ$ of $G$, does there exist a sequence $f_0,\dots,f_m$ of $H$-colourings such that $f_0=φ$, $f_m=ψ$ and $f_i(u)f_{i+1}(v)\in E(H)$ for every $0\leq i

研究の動機と目的

• 固定されたグラフ $H$ に対する同型写像の $H$-再構成問題の計算複雑性を特定すること、特に $H$ が奇数ホイールである場合に注目すること。
• 再構成可能な他の異なる $H$-色分けに再構成できない、凍結 $H$-色分けの存在を特徴づけること。
• $H$ の構造的性質に基づいて、凍結 $H$-色分けの存在に関する完全な二分法を確立すること。
• 再構成の複雑性と制約充足問題における多様体の存在との関係を調査すること。
• $\mathbf{Hom}(G,H)$ の再構成グラフにおける成分の直径を調査し、再構成問題のNP完全性に及ぼす影響を検討すること。

提案手法

• 特定の多様体の非存在によって示されたNP完全性を示す制約充足問題（CSP）への還元。
• 再構成ダイナミクスをモデル化するための補助的グラフ $H'$ と $J$ の構築、特に非二部グラフ構造を持つ成分に注目する。
• 射影写像と局所的全射性を用いて、$H$-色分けにおける近傍の像を分析すること。
• 補題3.7の適用により、各頂点の近傍の像が区別集合 $\mathcal{D}$ に含まれる場合、色分けが凍結していることを示す。
• 補題3.4と補題3.21(b) を活用し、$H'$ の成分とそれらの $\tilde{J}$ における上への持ち上げが構造的制約を保つことを保証する。
• 背理法による証明により、$H$ が $H'$ に属さない $K_2$ 成分を含む場合、凍結色分けの存在を除外する。これは、$\tilde{J}$ の成分が非二部グラフであることを利用している。

実験結果

リサーチクエスチョン

• RQ1 $H$ が奇数ホイールであるとき、$H$-再構成問題はPSPACE完全か？
• RQ2 どのグラフ $H$ に対して、凍結 $H$-色分けをもつグラフ $G$ が存在するか？
• RQ3 $H$ のどの構造的性質が、ある $G$ において凍結 $H$-色分けが存在可能かどうかを決定するか？
• RQ4 多様体の存在を用いて、$H$-再構成における tractability を特徴づけられるか？
• RQ5 すべての $H$ に対して、$\mathbf{Hom}(G,H)$ の成分の直径は $|V(G)|$ に対して多項式的に増加するか？

主な発見

• $H$ が奇数ホイールであるとき、$H$-再構成問題はPSPACE完全である。
• グラフ $G$ が凍結 $H$-色分けをもつのは、$H$ が $H'$ の成分でない非熱的成分を含むときである。ここで $H'$ は $H$ からすべての熱的成分を除いたグラフである。
• 凍結 $H$-色分けの存在は、$H$ の構造的特徴づけに基づき、多項式時間で決定可能である。
• 基礎となるCSPのNP完全性の証明は、特定の多様体の非存在に依拠しており、普遍代数学的技法を用いて難易度を確立している。
• $\tilde{J}$ の成分は非二部グラフであるため、$H$ が $H'$ に属さない $K_2$ 成分を含む場合、特定の $H$-色分けの存在が排除され、そのような $H$ は凍結色分けをもたないことが示される。
• 再構成グラフ $\mathbf{Hom}(G,H)$ は、$K_k$（$k \geq 4$）に対して既知の結果により、一部の $H$ に対して超多項式的直径をもつ可能性がある。これは、$H$-再構成が成分の直径が多項式的に有界でない限りNPに属さないことを示唆している。