[論文レビュー] 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に対して、共有辺をはさんで差がδ(e)以内に制限される高さ関数空間(G, δ)を定義する。
• 各頂点vについてdegH(v) = ϕ(v)を満たす部分グラフH ∈ Sϕを高さ関数として表現し、Z変換は単一の面での高さ変化に対応する。
• 高さ関数間のl1距離を用いて、Z変換下でのSϕ内の隣接性と接続性を形式化する。
• カップリング・フォーム・ザ・パストとフィルのアルゴリズムを適用し、高さ関数空間からの正確なサンプリングを可能にし、ハミルトニアン閉路の完全サンプリングを実現する。
• Sϕの連結成分上での探索アルゴリズムを設計し、Z変換による閉路統合を可能にする十分な「スラック」を有する成分を特定する。
• サイクルカバーとヤングテーブルックスのラベル付けとの対応関係を活用し、単純な場合の構造的性質と収束速度を分析する。

実験結果

リサーチクエスチョン

• RQ1 Sϕ（固定頂点次数を持つ部分グラフ）の連結成分は、高さ関数とZ変換を用いて完全に特徴付けられるか？
• RQ2 グリッドグラフの2因子において、Z変換の系列が閉路数を1つに減らす条件は何か（すなわち、ハミルトニアン閉路が得られるか）？
• RQ3 ポリオミノグラフのハミルトニアン性は、高さ関数のスラック解析を用いてO(|V|²)時間で判定可能か？
• RQ4 Z変換に基づくマルコフ連鎖を用いて、グリッドグラフにおけるハミルトニアン閉路のサンプリングと近似カウントをどのように行えるか？
• RQ5 高さ関数の剛性に基づいて、O(|F| log |F|)または線形時間の高速なアルゴリズムが、ハミルトニアンポリオミノグラフの認識に可能か？

主な発見

• Sϕの連結成分は、高さ関数の差異によって完全に特徴付けられ、Z変換は単一の面における単位変化に対応する。
• ϕ ≡ 2であるグリッドグラフにおいて、ハミルトニアン閉路が存在するための必要十分条件は、Z変換による閉路統合を可能にする十分な「スラック」を有する2因子の高さ関数が存在することである。
• 本アルゴリズムは、ポリオミノグラフ（非正方形の面を含まないグリッドグラフ）においてO(|V|²)時間でハミルトニアン性を決定する。
• 本手法は、グリッド的性質を有するn個の穴あきトーラス上に埋め込まれたグラフへも拡張可能であり、多項式時間の複雑性を維持する。
• Z変換に基づくマルコフ連鎖は、ハミルトニアン閉路の完全サンプリングと近似カウントを可能にし、収束速度は高さ関数のスラックに関連している。
• チッピング・アズテック・ダイヤモンドにおけるハミルトニアン閉路と標準ヤングテーブルックスのラベル付けとの間の対応関係が確立され、より深い組合せ的構造が示唆された。