核心概念
グラフに長いパスが存在する場合、そのグラフに長い誘導パスを強制するのに十分な条件を、禁止部分グラフと禁止順序部分グラフの両方の場合について考察する。
要約
疎グラフおよび禁止パターンを持つグラフにおける長い誘導パス
この論文は、グラフに存在する長いパスが、特定の構造、すなわち長い誘導パスを強制するのに十分な条件を調査している。著者は、この問題に対する既存の研究をまとめ、疎グラフと禁止パターンを持つグラフという2つの主要な視点を提供している。
疎グラフ
完全二部グラフは長いパスを持つにもかかわらず長い誘導パスを持たないため、自然な制約として、固定された完全二部グラフKt,tを部分グラフとして禁止することが挙げられる。この場合、グラフGには次数(log log n)1/5−o(1)の誘導パスが存在することが示されている。これは、Galvin、Rival、Sands (1982)の結果を指数関数的に改善したものであり、O((log log n)2)の最近の次数の上限に近づいている。
禁止パターン
この問題への別のアプローチとして、グラフGを(パスP上の位置に従って頂点が順序付けられている)順序付きグラフと見なす方法がある。この観点から、長い誘導パスの存在を強制するために、どの順序付き部分グラフを禁止する必要があるかを検討するのが最も自然である。順序付きマッチングの除外に焦点を当て、より単純な証明で、統一的な方法で、多くの既存の結果を改善または回復している。また、禁止された順序付き部分グラフによってグラフGに長い誘導パスの存在が強制される場合、この誘導パスのサイズは少なくともΩ((log log log n)1/3)であり、パスPに関して増加するように選択できることが示されている。
結果
論文では、以下の重要な結果が示されている。
- Kt,t部分グラフを持たないグラフGが次数nのパスを持つ場合、Gには次数が少なくともc(log log n/ log log log n)1/5の誘導パスが存在する(cは定数)。
- 遺伝的なグラフクラスCについて、fC(n) = Ω((log log n)c)またはfC(n) = O(1)のいずれか一方のみが成り立つ(fC(n)は、次数nのパスを持つグラフG∈Cに存在する誘導パスの最大次数)。
- 禁止された順序付き部分グラフHによってグラフGに長い誘導パスの存在が強制される場合、この誘導パスのサイズは少なくともΩ((log log log n)1/3)であり、パスPに関して増加するように選択できる。
結論
この論文は、疎グラフと禁止パターンを持つグラフにおける長い誘導パスの存在に関する重要な結果を示している。著者は、既存の結果を改善し、この分野における将来の研究のための新たな道を切り開いている。
統計
Kt,t部分グラフを持たないグラフGが次数nのパスを持つ場合、Gには次数が少なくともc(log log n/ log log log n)1/5の誘導パスが存在する。
2縮退グラフには、次数nのパスと次数O((log log n)2)の誘導パスが存在する。
d縮退グラフのクラスをCとすると、fC(n) ⩾log log n/ log(d + 1)となる。
パス幅が最大でpのグラフのクラスをCとすると、fC(n) = Ω(n1/p)となる。
ツリー幅が最大でtのグラフのクラスをCとすると、fC(n) = (log n)Ω(1/t)となる。
外平面グラフのクラスをCとすると、fC(n) = Ω(log n)となる。
平面グラフのクラス(またはより一般的には、固定された曲面に埋め込むことができるグラフのクラス)をCとすると、fC(n) = Ω((log n)1/2)となる。
Ktマイナーを含まないグラフのクラスをCとすると、fC(n) = (log n)Ω(1/t2)となる。
禁止された順序付き部分グラフHによってグラフGに長い誘導パスの存在が強制される場合、この誘導パスのサイズは少なくともΩ((log log log n)1/3)である。
引用
「Kt,t部分グラフを持たないグラフGが次数nのパスを持つ場合、Gには次数が少なくともc(log log n/ log log log n)1/5の誘導パスが存在する。」
「遺伝的なグラフクラスCについて、fC(n) = Ω((log log n)c)またはfC(n) = O(1)のいずれか一方のみが成り立つ。」