[论文解读] 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'$ 的组件。这些结果依赖于一种从 CSP 问题的约化，该问题通过某种特定多态性的不存在性被证明为 NP-完全。

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$ 的结构特性，建立冻结 $H$-色彩存在性的完整二分法。
• 探索重配置复杂性与约束满足问题中多态性存在性之间的联系。
• 研究重配置图 $\mathbf{Hom}(G,H)$ 中组件的直径，其对 $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$，存在图 $G$ 使得其存在冻结 $H$-色彩？
• RQ3 $H$ 的哪些结构特性决定了在某个 $G$ 中冻结 $H$-色彩的存在性？
• RQ4 多态性的存在是否可用于刻画 $H$-重配置中的可解性？
• 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$ 存在冻结色彩的可能性。
• 对于某些 $H$，重配置图 $\mathbf{Hom}(G,H)$ 的直径可能为超多项式，如对 $k \geq 4$ 的 $K_k$ 所示，这表明除非组件直径有多项式有界，否则 $H$-重配置不在 NP 中。