[논문 리뷰] Computing and Sampling Restricted Vertex Degree Subgraphs and Hamiltonian Cycles

Scott Sheffield⋆|ArXiv.org|2000. 08. 31.

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-구멍이 있는 토러스에 삽입된 그래프로 일반화한다.
• 높이 함수에서의 '슬랙'(slack)이 순환 통합과 해밀턴 순환 존재성에 대한 기준으로서 수행하는 역할을 탐색한다.

제안 방법

• G의 면에 다각형이 삽입된 그래프 G에 대해 높이 함수 공간 (G, δ)를 정의하며, 공유된 변을 따라 차이가 δ(e) 이내로 제한된다.
• degH(v) = ϕ(v)를 만족하는 부분그래프 H ∈ Sϕ를 높이 함수로 표현하고, Z-변환은 단일 면에서의 높이 변화에 대응한다.
• 높이 함수 간의 l1-거리로 Sϕ 내에서의 인접성과 연결성을 수식화한다.
• Coupling from the Past와 Fill의 알고리즘을 적용하여 높이 함수 공간에서 샘플링을 수행함으로써 해밀턴 순환의 정확한 샘플링을 가능하게 한다.
• Sϕ의 연결 성분을 탐색하는 검색 알고리즘을 설계하여, Z-변환을 통한 순환 통합이 가능한 충분한 '슬랙'을 갖춘 성분을 찾는다.
• 사이클 커버와 양의 표준 표기법(labeling) 간의 대응을 활용하여 단순한 경우에서의 구조적 성질과 수렴 속도를 분석한다.

실험 결과

연구 질문

• 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-변환 기반 마르코프 체인은 해밀턴 순환의 정확한 샘플링과 근사 카운팅을 가능하게 하며, 수렴 속도는 높이 함수 슬랙과 관련이 있다.
• 칩된 아자테크 다이아몬드에서의 해밀턴 순환과 표준 양의 표준 표기법(labeling) 간의 대응 관계를 확립하여 더 깊은 조합적 구조를 시사한다.