[論文レビュー] Hamiltonian cycles in 3-tough $2K_2$-free graphs

Songling Shan|arXiv (Cornell University)|Jun 27, 2017

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

ひとこと要約

本稿は、3- Tough で 2K₂-フリーな頂点数3以上のグラフがハミルトン閉路を含むことを証明しており、Broersma, Patel, and Pyatkin が確立した以前の25-Toughnessの上限を顕著に改善している。証明は2因子の最小化、頂点のタイプ分類（A型、B型）、および隣接集合の構造的解析を用い、3-Toughnessのもとで矛盾を導出し、このグラフクラスにおけるハミルトニアン性の強いレジリエンス条件を確認している。

ABSTRACT

A graph is called $2K_2$-free if it does not contain two independent edges as an induced subgraph. Broersma, Patel, and Pyatkin showed that every 25-tough $2K_2$-free graph with at least three vertices is hamiltonian. In this paper, we improve the required toughness in this result from 25 to 3.

研究の動機と目的

• 2K₂-フリーなグラフにおけるハミルトニアン性を保証する toughness の閾値を、以前の25-Toughnessの結果を超えて向上させること。
• 3-Toughness が 2K₂-フリーなグラフにおけるハミルトニアン性を十分に満たすかどうかを調査し、Gao と Pasechnik の予想を支持すること。
• 高い toughness における 2K₂-フリーなグラフの構造的制約を、頂点タイプと隣接集合の分析によって解明すること。
• 3-Toughness が、スプリットグラフなどの関連する部分クラスで下位の toughness の境界が失敗する場合でも、ハミルトン閉路を強制することを示すこと。

提案手法

• 3-Toughness における構造的制約を分析するために、サイクル数が最小となる2因子を選択する。
• 他のサイクル上の連続する頂点に隣接するかに基づき、頂点をA型またはB型に分類する。
• 向き付けられたサイクルとエッジの種別（AB-交互、A型、B型）を用いて、隣接関係とサイクルの組み合わせの可能性を追跡する。
• 共吸収可能性と隣接制約に基づき、『悪い』頂点の集合 $U^\infty$ を定義し、矛盾による性質を導出する。
• 主な矛盾は、$S = A \cup V_C(U^\infty)$ とすることで得られ、$ \tau(G) < 2$ となることが示され、3-Toughnessの仮定に反する。
• 独立集合、隣接集合、サイクル連結性に関する構造的主張は、ケース別分析と極値論的議論により証明される。

実験結果

リサーチクエスチョン

• RQ1 3-Toughness は 2K₂-フリーなグラフにおけるハミルトニアン性を保証するか。これは、以前の25-Toughnessの境界を改善する。
• RQ2 Gao と Pasechnik が提起した予想（すべての2-Tough 2K₂-フリーなグラフはハミルトン的である）が、本結果によって支持されたり反証されたりするか。
• RQ3 3/2 がスプリットグラフにおいてタイトであることを踏まえ、2K₂-フリーなグラフにおけるハミルトニアン性を保証する最小の toughness 閾値は何か。
• RQ4 なぜ証明において3-Toughness が必要であり、どの構造的ケースがこの高い境界を必要としているのか。
• RQ5 高い toughness において、隣接集合と頂点タイプ（A/B）は、サイクル分解を防ぐためにどのように相互作用するか。

主な発見

• 3-Tough で頂点数3以上のすべての 2K₂-フリーなグラフはハミルトン的であり、以前の25-Toughnessの境界を顕著に改善している。
• S を構成する際、$ \tau(G) < 2$ となる $S$ に対して $|S|/c(G-S) < 2$ が成り立つと仮定すると、3-Toughnessの仮定に反する矛盾が生じる。
• 『悪い』頂点の集合 $U^\infty$ は、$|V_C(U^\infty)| \leq 2|U^\infty|$ を満たし、隣接集合の拡張が有界であることを保証する。
• $A^+ \cup U^\infty$ は $G$ において独立集合であり、$S = A \cup V_C(U^\infty)$ に対して $G - S$ においてすべての頂点が孤立している。
• $S$ の構成により $ \tau(G) < 2$ が得られ、3-Toughnessの仮定に反するため、ハミルトン閉路の存在が証明される。
• 本結果は、すべての2-Tough 2K₂-フリーなグラフがハミルトン的であるという予想1を支持するが、3-Toughnessの境界がタイトであるかどうかは未解決のままである。