[论文解读] Computing and Sampling Restricted Vertex Degree Subgraphs and Hamiltonian Cycles

Scott Sheffield⋆|ArXiv.org|Aug 31, 2000

Markov Chains and Monte Carlo Methods参考文献 25被引用 5

一句话总结

本文提出了一种高度函数框架，用于分析和计算网格图中的哈密顿回路，特别是多格形图和嵌入在n洞环面中的图。通过使用高度函数对具有受限顶点度数的子图进行建模，并利用Z变换探索连通性，作者提出了一种多项式时间算法（对于多格形图为O(|V|²)），用于判断哈密顿性，并基于马尔可夫链实现了哈密顿回路的采样与近似计数。

ABSTRACT

Let $G=(V,E)$ be a bipartite graph embedded in a plane (or $n$-holed torus). Two subgraphs of $G$ differ by a {\it $Z$-transformation} if their symmetric difference consists of the boundary edges of a single face---and if each subgraph contains an alternating set of the edges of that face. For a given $ϕ: V \mapsto \mathbb Z^+$, $S_ϕ$ is the set of subgraphs of $G$ in which each $v\in V$ has degree $ϕ(v)$. Two elements of $S_ϕ$ are said to be adjacent if they differ by a $Z$-transformation. We determine the connected components of $S_ϕ$ and assign a {\it height function} to each of its elements. If $ϕ$ is identically two, and $G$ is a grid graph, $S_ϕ$ contains the partitions of the vertices of $G$ into cycles. We prove that we can always apply a series of $Z$-transformations to decrease the total number of cycles provided there is enough ``slack'' in the corresponding height function. This allows us to determine in polynomial time the minimal number of cycles into which $G$ can be partitioned provided $G$ has a limited number of non-square faces. In particular, we determine the Hamiltonicity of polyomino graphs in $O(|V|^2)$ steps. The algorithm extends to $n$-holed-torus-embedded graphs that have grid-like properties. We also provide Markov chains for sampling and approximately counting the Hamiltonian cycles of $G$.

研究动机与目标

• 使用高度函数和Z变换，对具有受限顶点度数的子图的连通分量进行完全表征。
• 为网格图和多格形图设计一种高效的哈密顿性判定算法。
• 通过基于高度函数转移的马尔可夫链，实现哈密顿回路的采样与近似计数。
• 将平面图的结果推广至具有网格结构的n洞环面嵌入图。
• 探讨高度函数中“松弛”在回路合并与哈密顿回路存在性中的作用。

提出的方法

• 为嵌入在多边形中的图G定义一个高度函数空间(G, δ)，其中共享边上的差值受δ(e)限制。
• 将Sϕ中的子图H（满足degH(v) = ϕ(v)）表示为高度函数，Z变换对应于单个面上的高度变化。
• 使用高度函数之间的l1距离，形式化Sϕ中在Z变换下的邻接关系与连通性。
• 应用“从过去耦合”和Fill算法对高度函数空间进行采样，从而实现哈密顿回路的完美采样。
• 在Sϕ的连通分量上设计搜索算法，寻找具有足够“松弛”的高度函数，以通过Z变换实现回路合并。
• 利用环覆盖与杨表标记之间的对应关系，分析简单情况下的结构特性与收敛速率。

实验结果

研究问题

• RQ1 能否通过高度函数和Z变换完全表征Sϕ（具有固定顶点度数的子图）的连通分量？
• RQ2 在何种条件下，一系列Z变换可将网格图2-因子中的回路数减少至1（即生成哈密顿回路）？
• RQ3 能否通过高度函数松弛分析，在O(|V|²)时间内确定多格形图的哈密顿性？
• RQ4 如何利用基于Z变换的马尔可夫链对网格图中的哈密顿回路进行采样与近似计数？
• RQ5 是否存在更快速的算法（如O(|F| log |F|)或线性时间），基于高度函数刚性来识别哈密顿多格形图？

主要发现

• Sϕ的连通分量完全由高度函数差异表征，Z变换对应于单个面上的单位变化。
• 对于ϕ ≡ 2的网格图，当且仅当存在一个2-因子，其高度函数具有足够“松弛”以通过Z变换实现回路合并时，哈密顿回路存在。
• 该算法在多格形图（即无非正方形面的网格图）上以O(|V|²)时间确定哈密顿性。
• 该方法可扩展至具有网格结构的n洞环面嵌入图，同时保持多项式时间复杂度。
• 基于Z变换的马尔可夫链可实现哈密顿回路的完美采样与近似计数，其收敛速率与高度函数松弛相关。
• 建立了带缺口阿兹特克方块中的哈密顿回路与标准杨表标记之间的对应关系，暗示了更深层的组合结构。