[論文レビュー] A sufficient condition for the hamiltonian property of digraphs with large semi-degrees

Samvel Kh. Darbinyan|arXiv (Cornell University)|Nov 8, 2011

Advanced Graph Theory Research参考文献 7被引用数 10

ひとこと要約

本稿は、有向グラフがハミルトン的であるための十分条件を確立している：$ p \geq 5 $ 頂点を持つ強有向グラフで、最小次数が $ p-1 $ 以上、最小半次数が $ p/2 - 1 $ 以上である場合、$ p = 2n $ のとき、特定の極値的状況を除きハミルトン的である。証明は次数条件と構造的解析を用い、長さ 3、4、$ p-1 $ のサイクルの存在を示し、経路拡張およびサイクル帰納法の技法によりハミルトン閉路を構成する。

ABSTRACT

Let $D$ be a digraph on $p\geq 5$ vertices with minimum degree at least $p-1$ and with minimum semi-degree at least $p/2-1$. For $D$ (unless some extremal cases) we present a detailed proof of the following results [12]: (i) $D$ contains cycles of length 3, 4 and $p-1$; (ii) if $p=2n$, then $D$ is hamiltonian.

研究の動機と目的

• 最小次数および半次数制約に基づいて、有向グラフがハミルトン的であるための十分条件を確立すること。
• 与えられた次数条件を満たす有向グラフにおいて、長さ 3、4、$ p-1 $ のサイクルが存在することを証明すること。
• 次数境界を満たしてもハミルトン性が成立しない可能性がある極値的状況を特定すること。
• 半次数および最小次数の閾値を精緻化することで、既知のハミルトン的およびパンシクル有向グラフに関する結果を拡張すること。
• 高い半次数および次数条件下でのハミルトニシティに関する以前に概説された結果の詳細な証明を提供すること。

提案手法

• 最大経路への頂点の挿入を可能にするため、補題 2 を用いて経路拡張およびサイクル構成を行う。
• 補題 1 を応用し、サイクルに対して高い次数を持つ頂点が、すべての短いサイクルの存在を示す。
• 特に $ S(x,y) $、$ E(x,y) $、$ I(x) $、$ O(y) $ に注目した、出隣接集合および入隣接集合に基づく頂点集合の構造的解析。
• 弧の方向性と半次数の境界に基づくケース別分析：$ od(y) \geq n $ または $ id(x) \geq n $ の場合を区別し、逆有向グラフを用いて対称ケースを処理する。
• 極値的構成（$ H(n,n) $、$ H(n,n-1,1) $、$ C^*_6(1) $）を用いて、ハミルトン的でない極値的状況を特定・除外する。
• 背理法を用いて、4-サイクルを生成する構成を排除し、ハミルトン閉路構成を可能にする構造的制約を強制する。

実験結果

リサーチクエスチョン

• RQ1 頂点数が $ p \geq 5 $ の有向グラフが、どのような次数条件下でハミルトン的であることが保証されるか？
• RQ2 最小次数が $ p-1 $、半次数が $ p/2 - 1 $ である有向グラフにおいて、長さ 3、4、$ p-1 $ のサイクルが保証されるか？
• RQ3 次数条件を満たしてもハミルトン的でない極値的有向グラフはどれか？
• RQ4 $ I(x) $、$ O(y) $、$ S(x,y) $ のような近接集合の構造的制約が、ハミルトン閉路の存在にどのように影響するか？
• RQ5 有向グラフが強く接続されていなくても、高い最小半次数および高い最小次数からハミルトニシティを導出できるか？

主な発見

• 頂点数 $ p \geq 5 $ の任意の有向グラフ $ D $ において、最小次数が $ p-1 $ 以上、最小半次数が $ p/2 - 1 $ 以上であれば、極値的状況を除き、長さ 3、4、$ p-1 $ のサイクルが存在する。
• $ p = 2n $ のとき、$ H(n,n) $、$ H(n,n-1,1) $、$ C^*_6(1) $ といった特定の極値的構成を避ける限り、$ D $ はハミルトン的である。
• ハミルトニシティが失敗する極値的状況は完全に特徴付けられている：$ D \in H(n,n) \cup H(n,n-1,1) \cup \{[(K_n \cup K_n) + K_1]^*, H(2n), H'(2n)\} $、または $ p = 2n+1 $ のとき $ D $ が $ (K_n + \overline{K}_{n+1})^* $ の部分有向グラフである場合。
• $ p = 2n \geq 6 $ のとき、ある弧 $ xy $ に対して $ yx \notin D $ かつ $ od(y) \geq n $ であれば、$ I(x) = O(y) = S(x,y) $ が成り立ち、これによりサイクル拡張および経路挿入が可能になる。
• 4-サイクルが存在しない場合、厳密な構造的制約が生じる：$ |E(x,y)| = 1 $、$ |S(x,y)| = 1 $、かつ $ n = 3 $ となり、$ C^*_6(1) $ が重要な極値的ケースとして特定される。
• すべての非対称な弧 $ xy $ に対して $ od(y) < n $ かつ $ id(x) < n $ である場合、ハミルトン的でない唯一のケースは $ D \equiv C^*_6(1) $ である。これは追加の弧を有する対称的6サイクルである。