[論文レビュー] Nonempty intersection of longest paths in $2K_2$-free graphs

Gili Golan, Songling Shan|arXiv (Cornell University)|Nov 18, 2016

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

ひとこと要約

この論文は、空でない2K₂-freeグラフにおいて、最大次数の頂点がすべての最長パス上に存在することを証明しており、その結果、すべての最長パスが少なくとも1つの共通頂点を共有することを示している。証明は、2K₂-freeグラフの構造的性質——特に最長パスの支配性と辺接続制約——を活用し、最大次数の頂点が最長パス上にない場合、隣接頂点の次数が増加することで矛盾が生じることを示している。これにより、すべての最長パスが非空な共通頂点を共有することが保証される。

ABSTRACT

In 1966, Gallai asked whether all longest paths in a connected graph share a common vertex. Counterexamples indicate that this is not true in general. However, Gallai's question is positive for certain well-known classes of connected graphs, such as split graphs, interval graphs, circular arc graphs, outerplanar graphs, and series-parallel graphs. A graph is $2K_2$-free if it does not contain two independent edges as an induced subgraph. In this paper, we show that in nonempty $2K_2$-free graphs, every vertex of maximum degree is common to all longest paths. Our result implies that all longest paths in a nonempty $2K_2$-free graph have a nonempty intersection. In particular, it gives a new proof for the result on split graphs, as split graphs are $2K_2$-free.

研究の動機と目的

• 特定のグラフクラスにおいて、ギャルライの長年の予想であるすべての最長パスの共通交差について解決すること。
• 空でない2K₂-freeグラフにおいて、すべての最長パスが少なくとも1つの共通頂点を共有することを確立すること。
• 支配性と辺連結性の性質を用いて、2K₂-freeグラフにおける最長パスの構造的特徴を同定すること。
• スプリットグラフ（2K₂-freeグラフの部分クラス）における最長パスの交差性に関する新しい統一的証明を提供すること。
• 従来のcacti、区間グラフ、系列並列グラフなどのクラスを超えて、ギャルライの予想を満たすグラフクラスを拡張すること。

提案手法

• 2K₂-free性質を用いて、最長パスが支配的（つまり、その削除によって残りの辺が存在しない）でない場合、より長いパスを構成できることを示し、2K₂-freeグラフにおいてすべての最長パスが支配的であることを証明する。
• 構造的補題を用いて、最長パス上にない頂点が、パスの両端点の両方または連続する2頂点の両方に隣接することはできないことを示す。
• 補題2.2の隣接制約に基づき、最長パスP上にない最大次数の頂点xに隣接する頂点からなる独立集合Sを定義する。
• パスPをSとT = V(P) ∓ Sに分割し、補題2.3を適用して、SとTの間のすべての辺と交差するようなT内の頂点yの存在を示す。
• このようなyが最大次数Δ(G)を超える次数を持つことから矛盾を導き、xが最大次数であるという仮定に反することを示す。
• 鳩の巣原理を用いて、|V(P)| ≥ 2k+2 ならば、E(S,T)にk+1個の独立な辺が存在することを示し、これによりyが少なくともk+1個の隣接頂点を持つことになる。

実験結果

リサーチクエスチョン

• RQ1 2K₂-freeグラフにおけるすべての最長パスは、少なくとも1つの共通頂点を共有するか？
• RQ2 空でない2K₂-freeグラフにおける最大次数の頂点は、すべての最長パス上に存在するか？
• RQ3 スプリットグラフにおける最長パスの交差性は、2K₂-freeグラフのようなより広いクラスのグラフを用いて再証明可能か？
• RQ4 2K₂-freeグラフにおけるどのような構造的制約が、最長パスが支配的であることや、隣接構成の制限をもたらすか？
• RQ5 最大次数の頂点が最長パス上にない場合、その結果としてΔ(G)を超える次数を持つ頂点が生じるか？

主な発見

• 任意の空でない2K₂-freeグラフにおいて、最大次数の頂点はすべての最長パス上に存在し、これにより最長パスの非空な共通交差が保証される。
• 空でない2K₂-freeグラフにおいて、すべての最長パスは少なくとも1つの共通頂点を共有しており、このクラスにおいてギャルライの予想が正当化された。
• 証明により、2K₂-freeグラフにおける最長パスは支配的であることが示された。つまり、その削除によって残りの辺が存在しない。
• 最長パス上の頂点の隣接集合の構造は制限されている：パス上にない頂点は、パスの両端点の両方または連続する2頂点の両方に隣接することはできない。
• 最大次数の頂点xが最長パスP上にない場合、T = V(P) ∓ Sに属するxの隣接頂点yは、少なくともk+1の次数を持つことになり、Δ(G) = kという仮定に反する。
• この結果により、スプリットグラフにおける最長パスの交差性についての新しい証明が得られた。なぜならスプリットグラフは2K₂-freeグラフの部分クラスであるからである。