[論文レビュー] Chvátal-Erdős condition for 2-factors with at most two components in graphs

Tao Tian, Liming Xiong+1 more|arXiv (Cornell University)|Mar 13, 2026

Advanced Graph Theory Research被引用数 0

ひとこと要約

論文は、次数が少なくとも 3kappa(G)+3 以上で alpha(G) ≤ kappa(G)+1 の連結グラフ G に対し、2因子を2成分以下に抑えることができることを示す。ただし小さな例外的クラスを除く。境界は鋭いことが示されている。

ABSTRACT

It is well-known that Chvátal and Erdős stated that any graph of order at least three whose independence number is no greater than its connectivity is Hamiltonian; that any graph whose independence number is no greater than its connectivity minus one is Hamilton-connected; and that any graph whose independence number is no greater than its connectivity plus one is traceable. Kaneko and Yoshimoto [J. Graph Theory 43 (2003) 269--279] showed that every 4-connected graph of order at least six has a 2-factor with two components if its independence number is no greater than its connectivity. In this paper, we show that any connected graph of order at least three times its connectivity plus three has a 2-factor with at most two components, except for one exceptional class, if its independence number is no greater than its connectivity plus one. Our result is best possible.

研究の動機と目的

• Chvátal-Erdős 型条件を 2因子（成分数が限られる）へ拡張・動機づける。
• グラフが2因子を成分数2以下で持つ十分条件を確立する。
• 結論を満たさない例外的なグラフを特定・特徴づける。
• 境界が鋭いことを、明示的な構成を用いて示す。

提案手法

• alpha(G) ≤ kappa(G)+1 かつ |V(G)| ≥ 3kappa(G)+3 を満たす連結グラフ G が2因子を成分数2以下に持たないと仮定し、矛盾を導く。
• 最長 Cycle を C とし、G−C の構造を独立性・連結性の議論を用いて分析する。
• 既知の Chvátal–Erdős 型結果（定理 1.1）と、H の C における近傍に関するいくつかの補助命題を用いて G を制約する。
• 2成分の 2因子や spanning cycle に至る配置を構築・除外し、矛盾を導く。
• 除外すべきクラス 𝔊 を構成して exceptional を説明する。
• Explicit な極大グラフによる鋭さの証明を示す。

実験結果

リサーチクエスチョン

• RQ1 alpha(G) ≤ kappa(G)+1 は、十分に大きな次数を持つ全ての連結グラフに対して、2因子を成分数2以下に保証するか。
• RQ2 この保証に必要な厳密な次数界はどうなり、鋭い例外ケースはあるか。
• RQ3 結論を破るグラフの構造と例外クラス 𝔊 の特徴は何か。
• RQ4 古典的な Chvátal–Erdős 条件は、成分数を制限した 2因子へ具体的にどのように拡張されるか。

主な発見

• |V(G)| ≥ 3kappa(G)+3 かつ alpha(G) ≤ kappa(G)+1 なら、G は 2因子を成分数2以下に持つ。ただし G が例外クラス 𝔊 に属する場合を除く。
• この結果は次数界と独立性界の両方で鋭い（明示的な極端例で示す）。
• 同じ仮定の下、G はトレース可能であり、最小次数が 2 以上なら 2因子の境界は維持されることを系論（系説）から導ける。
• 例外グラフ G1, G2, G3（集合 𝔊 を形成）は、排除ケースを正確に特徴づける。