[論文レビュー] On pre-Hamiltonian Cycles in Hamiltonian Digraphs

Samvel Kh. Darbinyan|arXiv (Cornell University)|Apr 30, 2014

graph theory and CDMA systems参考文献 6被引用数 3

ひとこと要約

本稿は、$ n \geq 4 $ の強連結な有向グラフがManoussakisの$ A_0 $条件を満たす場合、長さ$ n-1 $のプレハミルトニアンサイクル（pre-Hamiltonian cycle）を含むか、$ n $ が偶数のときには完全二部有向グラフ$ K^*_{n/2,n/2} $に同型であることを証明している。この結果は、Manoussakisのハミルトニアンサイクル定理を強化し、長さの長いサイクルが必要不可欠な中間的構造として存在することを示しており、極値構成による解析で、度数の境界が最適であることが示されている。

ABSTRACT

Let $D$ be a strongly connected directed graph of order $n\geq 4$. In \cite{[14]} (J. of Graph Theory, Vol.16, No. 5, 51-59, 1992) Y. Manoussakis proved the following theorem: Suppose that $D$ satisfies the following condition for every triple $x,y,z$ of vertices such that $x$ and $y$ are non-adjacent: If there is no arc from $x$ to $z$, then $d(x)+d(y)+d^+(x)+d^-(z)\geq 3n-2$. If there is no arc from $z$ to $x$, then $d(x)+d(y)+d^-(x)+d^+(z)\geq 3n-2$. Then $D$ is Hamiltonian. In this paper we show that: If $D$ satisfies the condition of Manoussakis' theorem, then $D$ contains a pre-Hamiltonian cycle (i.e., a cycle of length $n-1$) or $n$ is even and $D$ is isomorphic to the complete bipartite digraph with partite sets of cardinalities $n/2$ and $n/2$.

研究の動機と目的

• ハミルトニアン性を越えて、Manoussakisの$ A_0 $条件を満たす強連結有向グラフの構造を同定すること。
• このような有向グラフにおいて、プレハミルトニアンサイクル（長さ$ n-1 $のサイクル）の存在を構造的中間的性質として確立すること。
• プレハミルトニアンサイクルが存在しない場合の極値例を同定すること、すなわち$ n $ が偶数で$ D $ が$ K^*_{n/2,n/2} $に同型である場合。
• 度数境界$ 3n-2 $ が$ A_0 $条件において最適であることを、明示的な極値例によって示すこと。

提案手法

• Manoussakisの$ A_0 $定理の証明における鍵となる主張を適応し、$ A_0 $条件を満たす有向グラフにおけるサイクル構造を分析する。
• 特にペア$ (y_1, y_2) $ および$ (x_1, x_2) $ における頂点の隣接関係と近傍構造をもとに、ケース解析を実施し、度数制約を導出する。
• 補題3.2を用いて、頂点がサイクル部分路内で持てる辺の数を制限し、度数条件が満たされない場合に矛盾を導く。
• 強い連結性と非隣接性の仮定を適用し、特定の構成下で$ N^+(y_1) = \{y_2, x_2, x_4, \dots, x_{n-2}\} $ などの近傍の等式を導出する。
• プレハミルトニアンサイクルが存在しないと仮定して長さ$ n-2 $のサイクルを構成し、矛盾を導くことで、有向グラフが二部構造に強制されることを示す。
• 頂点インデックスに対する対称性と反復的推論を用いて、$ x_i x_{i-1} \in D $ かつ非連続な$ i,j $ に対して$ x_i x_j \notin D $ であることを示し、サイズ$ n/2 $の独立集合を導く。

実験結果

リサーチクエスチョン

• RQ1 Manoussakisの$ A_0 $条件を満たす任意の有向グラフはプレハミルトニアンサイクルを含むか？
• RQ2 プレハミルトニアンサイクルが存在しない場合、どのような構造的例外が存在するか？
• RQ3 $ A_0 $条件における度数境界$ 3n-2 $ は最適か？
• RQ4 プレハミルトニアンサイクルの存在は、パンサイクル性やハミルトニアンバイパスの存在を示唆できるか？

主な発見

• 任意の強連結な有向グラフで、$ n \geq 4 $ かつ$ A_0 $条件を満たすものは、プレハミルトニアンサイクルを含むか、$ n $ が偶数のときには$ K^*_{n/2,n/2} $に同型である。
• $ A_0 $条件における境界$ 3n-2 $ が最適であることは、極値例（一つの頂点を共有する二つの完全有向グラフの素性の和、および一つの弧を除いた完全二部有向グラフ）によって示されている。
• もし$ D $ が$ K^*_{n/2,n/2} $に同型でなければ、$ D $ は長さ$ n-1 $のサイクルを含む。これは重要な構造的特徴である。
• 証明により、$ A_0 $条件のもとで、プレハミルトニアンサイクルが存在しない場合、頂点集合は二つのサイズ$ n/2 $の独立集合に分割され、それぞれが$ K^*_{n/2,n/2} $の部品集合を形成することが示された。
• プレハミルトニアンサイクルの存在は、$ D $ が$ K^*_{n/2,n/2} $に同型である場合を除き保証される。これは唯一の極値例である。
• この結果により、$ D $ はハミルトニアンバイパス（一つの弧を逆向きにしたハミルトニアンサイクル）を含むことが示唆されるが、5頂点のトーナメントを除くすべての場合で成立する。