[論文レビュー] On the pancyclicity of digraphs with large semi-degrees

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

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

ひとこと要約

本稿は、$ p \geq 10 $ 個の頂点を持つ強い連結な有向グラフ（digraph）が、最小次数が $ p-1 $ 以上であり、最小半次数が $ p/2 - 1 $ 以上である限り、3から $ p $ までのすべての長さのサイクルを含む、つまりパンサイクルであることを詳細に証明している。ただし、完全に特徴づけられた特定の極値ケースを除く。この結果は、Ghouila-Houri や Thomassen の定理に基づく、ハミルトニアンおよびパンサイクル有向グラフに関する以前の定理を拡張し、完全なサイクルスペクトルの存在を保証するための次数条件を洗練したものである。

ABSTRACT

Let $D$ be an directed graph on $p\geq 10$ vertices with minimum degree at least $p-1$ and minimum semi-degree at least $ p/2 -1$. We present a detailed proof of the following result [13]: The digraph $D$ is pancyclic, unless some extremal cases (which are characterized).

研究の動機と目的

• 最小次数と半次数が高いための十分条件を提示し、有向グラフがパンサイクルであることを確立すること。
• Ghouila-Houri や Thomassen の定理に関連する次数条件の下でパンサイクル性を示す、以前に概説された証明を拡張・詳細化すること。
• 最小次数が $ p-1 $ で半次数が $ p/2 - 1 $ であるにもかかわらずパンサイクル性が成立しない極値ケースを同定すること。
• 最小次数がほぼ完全で、半次数がバランスの取れた有向グラフにおけるサイクルスペクトルの完全性に関する未解決の問いを解消すること。

提案手法

• 既存のパスとサイクルへの頂点の挿入に注目した、有向グラフ内のサイクルとパスの構造的解析を用いる。
• 次数和の議論と背理法を用い、欠落しているサイクル長が次数の違反を引き起こすことを示す。
• パスの延長（補題2）とサイクルの存在（補題1）に関する補題を用いて、サイクルスペクトルの完全性に必要な条件を導出する。
• サイクルとパスにおける頂点の近傍と弧の分布を分析し、サイクル長が欠落している場合に矛盾を導く。
• サイクル長 $ n $、頂点位置 $ s $、近傍サイズ $ h_1, h_2 $ をもとにしたケース解析を用いて、可能な構成を制限する。
• 組合せ的数え上げと集合論的推論（例：$ A(x \rightarrow y) $、$ O(x) $、$ I(x) $）を用い、次数をバインドし、サイクル集合が不完全な場合に矛盾を導く。

実験結果

リサーチクエスチョン

• RQ1 $ p \geq 10 $ 個の頂点を持つ有向グラフが、どのような次数条件下でパンサイクルであるか。
• RQ2 最小次数が $ p-1 $ で半次数が $ p/2 - 1 $ であるにもかかわらずパンサイクル性が成立しない極値的構成は何か。
• RQ3 長さ3、4、$ p-1 $ のサイクルおよびハミルトニアンサイクルの存在を活用して、完全なパンサイクル性を証明できるか。
• RQ4 近傍構造と弧の分布は、このような有向グラフにおける中間長サイクルの存在をどのように制限するか。
• RQ5 有向グラフが次数条件を満たしているが、ある長さのサイクルが欠落している場合に、どのような構造的性質が生じるか。

主な発見

• $ p \geq 10 $ 個の頂点を持つ有向グラフが最小次数 $ \geq p-1 $ かつ最小半次数 $ \geq p/2 - 1 $ を満たす限り、特定の極値ケースに属さない限りパンサイクルである。
• 極値ケースは完全に特徴づけられており、次数制約がきつくてはいるが、サイクルスペクトルの完全性が成立しない構成に対応する。
• 証明では、長さ $ n \in [3, p] $ のサイクルが欠落している場合、頂点の次数が必要な下限を下回ることになり、矛盾が生じることを示している。
• $ p = 2m $ の場合、同じ条件下で有向グラフはハミルトニアンであり、これはパンサイクル性の証明のためのステップとして用いられている。
• 長さ $ n $ のサイクルが欠落している場合、弧の存在に明確な双対性が生じる：$ xx_i \in D $ であることは、$ x_{i+n-2}x \notin D $ であることと同値である、次数制約のもとで。
• 解析により、$ od(x) = m-1 $、$ id(x_{q+n-1}) = m-1 $、および $ d(x_{q+n-1}) \leq 2m-2 $ が得られ、最小半次数条件に反するため、サイクルの存在が強制される。