[論文レビュー] An Extremal Problem On Potentially $K_{r+1}-H$-graphic Sequences

Chunhui Lai, Lili Hu|arXiv (Cornell University)|Mar 11, 2006

Digital Image Processing Techniques被引用数 4

ひとこと要約

本稿は、r ≥ 3 および十分に大きな n に対して、K_{r+1}−H を部分グラフとして含むグラフィック列を保証する最小次数和である extremal 関数 σ(K_{r+1}−H,n) の正確な値を決定する。H が4頂点の木を含みながら三角形を含まない k ≥ 4 頂点のグラフである場合、および同様の条件下で H = P₂（3頂点のパス）である場合、σ(K_{r+1}−H,n) = (r−1)(2n−r)−2(n−r) が成り立つことを示している。

ABSTRACT

Let $K_k$, $C_k$, $T_k$, and $P_{k}$ denote a complete graph on $k$ vertices, a cycle on $k$ vertices, a tree on $k+1$ vertices, and a path on $k+1$ vertices, respectively. Let $K_{m}-H$ be the graph obtained from $K_{m}$ by removing the edges set $E(H)$ of the graph $H$ ($H$ is a subgraph of $K_{m}$). A sequence $S$ is potentially $K_{m}-H$-graphical if it has a realization containing a $K_{m}-H$ as a subgraph. Let $σ(K_{m}-H, n)$ denote the smallest degree sum such that every $n$-term graphical sequence $S$ with $σ(S)\geq σ(K_{m}-H, n)$ is potentially $K_{m}-H$-graphical. In this paper, we determine the values of $σ(K_{r+1}-H, n)$ for $n\geq 4r+10, r\geq 3, r+1 \geq k \geq 4$ where $H$ is a graph on $k$ vertices which contains a tree on 4 vertices but not contains a cycle on 3 vertices. We also determine the values of $σ(K_{r+1}-P_2, n)$ for $n\geq 4r+8, r\geq 3$. There are a number of graphs on $k$ vertices which containing a tree on 4 vertices but not containing a cycle on 3 vertices (for example, the cycle on $k$ vertices, the tree on $k$ vertices, and the complete 2-partite graph on $k$ vertices, etc).

研究の動機と目的

• extremal 関数 σ(K_{r+1}−H,n) の正確な値を特定すること、これはすべての n 項のグラフィック列が K_{r+1}−H 部分グラフを含むことを保証する最小次数和を表す。
• 既存の潜在的 H-グラフィック列に関する結果を、K_{r+1} から少数の辺を除いた部分グラフ H を含む場合にまで拡張すること、特に H が4頂点の木を含みながら三角形を含まない場合を対象とする。
• Yin-Li 法と次数列解析を用いて、広範な H のクラス（パス P₂ や木 T₃ を含む）に対して extremal 問題を解明すること。
• n ≥ 4r+10 および r ≥ 3 という明確な条件下で、σ(K_{r+1}−H,n) のタイトな境界を確立すること。

提案手法

• extremal グラフィック列閾値を特定するための体系的技法である Yin-Li 法を用い、次数列の構造を分析する。
• 次数 d_k を列 π から「剥がす」ことで得られる残差列 π′_k の概念を適用し、問題のサイズを縮小して実現可能性を分析する。
• 潜在的 K_{r+1}−H-グラフィック性の十分条件を用いる：d_r ≥ r、d_{r+1} ≥ r−2、または d_{2r+2} ≥ r−1 ならば、π は潜在的に K_{r+1}−H-グラフィックである。
• 必要な extremal 閾値と矛盾する仮定の下で σ(π) の上界を導出し、次数分布に関する場合分けを用いて導出する。
• 特に Turán 型の結果を含む extremal グラフ理論の概念を用い、特定の部分グラフを避けるグラフにおける最大辺数を制限する。
• 背理法を用いる：σ(π) が K_{r+1}−H 部分グラフを強制するほど十分に大きいと仮定し、σ(π) が閾値より低い場合に矛盾が生じることを示す。

実験結果

リサーチクエスチョン

• RQ1 k ≥ 4 頂点のグラフ H が4頂点の木を含みながら三角形を含まない場合、σ(K_{r+1}−H,n) の正確な値は何か？
• RQ2 r ≥ 3 および大きな n に対して、σ(K_{r+1}−P₂,n) はどのように振る舞うか？
• RQ3 Yin-Li 法は、単一辺の削除を超える広範な H のクラスに対して、σ(K_{r+1}−H,n) を決定するために拡張可能か？
• RQ4 グラフィック列が K_{r+1} から小さな部分グラフ H を除いたものとして部分グラフを含むことを保証するための次数和の閾値は何か？
• RQ5 n と r がどのような値のとき、σ(K_{r+1}−H,n) = (r−1)(2n−r)−2(n−r) がタイトで達成可能となるか？

主な発見

• r ≥ 3 および n ≥ 4r+10 のとき、H が4頂点以上の木を含みながら三角形を含まない k ≥ 4 頂点のグラフである場合、σ(K_{r+1}−H,n) = (r−1)(2n−r)−2(n−r) が成り立つ。
• r ≥ 3 および n ≥ 4r+8 のとき、σ(K_{r+1}−P₂,n) = (r−1)(2n−r)−2(n−r)+2 が成り立つ。ここで P₂ は3頂点のパスを表す。
• r ≥ 3 および n ≥ 4r+10 のとき、σ(K_{r+1}−T₃,n) = (r−1)(2n−r)−2(n−r) が成り立つ。ここで T₃ は4頂点の木を表す。
• extremal 関数 σ(K_{r+1}−H,n) は、H が4頂点の木を含みながら三角形を含まない限り、H の具体的な構造に依存しない。ただし k ∈ [4,r+1] に制限される。
• 結果はタイトである：閾値より低い次数和の列は、潜在的に K_{r+1}−H-グラフィックでない可能性があり、背理法によって示されている。
• Yin-Li 法は、エッジを1つ削除した完全グラフを超える場合にも成功裏に拡張可能であり、複雑な部分グラフの包含に関する extremal 閾値の正確な計算を可能にしている。