[論文レビュー] A Size Bound for Hamilton Cycles

Zh. G. Nikoghosyan|arXiv (Cornell University)|Jul 12, 2011

Limits and Structures in Graph Theory被引用数 4

ひとこと要約

本稿は、最小次数 δ を持つグラフがハミルトニアンであることが保証されるような辺の数（サイズ q）の鋭い上界を確立している：q ≤ δ² + δ − 1 ならば、グラフはハミルトニアンである。この結果は最適であり、q ≤ δ² + δ に緩めると、K₁ + 2Kδ のような非ハミルトニアンなグラフが存在する。

ABSTRACT

Every graph of size $q$ (the number of edges) and minimum degree $δ$ is hamiltonian if $q\leδ^2+δ-1$. The result is sharp.

研究の動機と目的

• グラフのサイズ（q）と最小次数（δ）に基づいた、順序 n に依存しないハミルトニアン性の十分条件を確立すること。
• 古典的な結果（Dirac や Erdős–Gallai のもの）を改善し、ハミルトニアンであることを保証する辺の数の上限を、q と δ のみの関係で提供すること。
• δ² + δ − 1 の境界がタイトであることを示すために、δ² + δ 条件を満たす非ハミルトニアンなグラフを構成すること。
• サイズと最小次数の相関に注目することで、既存の十分条件を統合・拡張すること。

提案手法

• q ≤ δ² + δ − 1 を満たす非ハミルトニアンなグラフの存在を仮定し、場合分けによる矛盾を導出する。
• q ≥ δn/2 の不等式を用いて、n を δ で評価し、偶数 n では δ ≥ n/2、奇数 n では δ ≥ (n−1)/2 が得られる。
• Dirac の定理（δ ≥ n/2 ⇒ ハミルトニアン）を適用して、偶数 n の場合を除外する。
• 奇数 n の場合、連結性 κ ≥ 2 と κ ≤ 1 を別々に検討し、2連結グラフに対して Chie の定理（1980年）を適用する。
• カット頂点を持つグラフの構造を分析し、H₁ と H₂ の各成分における近傍条件を検討する。
• それぞれのケースで辺数の下界（例：δ(δ+1) または δ² + δ）を導出し、仮定の q ≤ δ² + δ − 1 に矛盾する。

実験結果

リサーチクエスチョン

• RQ1 最小次数 δ を持つグラフがハミルトニアンであることが保証される限り、辺の数は最大でどれほどになるか？
• RQ2 グラフの順序 n に依存せず、δ のみの関数としてのサイズ q の上限が、ハミルトニアン性を保証できるか？
• RQ3 q ≤ δ² + δ − 1 の境界は最適か？ より緩めた場合でもハミルトニアン性の保証を失わずに行えるか？
• RQ4 この境界下で、グラフがハミルトニアンでなくなる原因となる構造的性質（例：連結性、カット頂点）は何か？

主な発見

• 最小次数 δ を持つ任意のグラフについて、q ≤ δ² + δ − 1 ならばハミルトニアンである。
• 境界 δ² + δ − 1 は鋭い：K₁ + 2Kδ は正確に δ² + δ 条件を満たし、非ハミルトニアンである。
• 偶数 n の場合、δ ≥ n/2 が成り立ち、Dirac の定理によりハミルトニアン性が保証される。これは境界下で満たされる。
• 奇数 n の場合、境界は δ ≥ (n−1)/2 を強制し、2連結と非2連結のケースを別々に分析することで証明が進行する。
• 2連結の場合、唯一の潜在的反例は G = Gδ + K̄δ+1 であり、これは少なくとも δ(δ+1) 条件の辺数を持ち、境界に反する。
• カット頂点がある場合、成分のサイズが増大する（δ(δ+1) 条件の辺数に至る）か、頂点の次数が 2δ を超えるかのいずれかが生じ、両者とも辺数の上限に矛盾する。