[論文レビュー] On bounds for some graph invariants

Isidoro Gitler, Carlos E. Valencia|arXiv (Cornell University)|Oct 18, 2005

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

ひとこと要約

本稿は、Oreが提起した未解決問題を解消し、安定数 α(G) と頂点被覆数 τ(G) を用いた k-連結グラフにおける辺数のタイトな下界を確立する。さらに、δ(G) = α(G) − σᵥ(G) とおくとき、α(G) ≤ τ(G)(1 + δ(G)) という不等式を証明し、グラフの Stanley-Reisner 環が Cohen-Macaulay でない度合いを測る新たな指標を提示する。

ABSTRACT

Let $G$ be a graph without isolated vertices and let $α(G)$ be its stability number and $τ(G)$ its covering number. The {\it $α_{v}$-cover} number of a graph, denoted by $α_{v}(G)$, is the maximum natural number $m$ such that every vertex of $G$ belongs to a maximal independent set with at least $m$ vertices. In the first part of this paper we prove that $α(G)\leq τ(G)[1+α(G)-α_{v}(G)]$. We also discuss some conjectures analogous to this theorem. In the second part we give a lower bound for the number of edges of a graph $G$ as a function of the stability number $α(G)$, the covering number $τ(G)$ and the number of connected components $c(G)$ of $G$. Namely, let $α$ and $τ$ be two natural numbers and let $$ Γ(α,τ)= \min{\sum_{i=1}^α\bin{z_i}{2} | z_1+...+z_α= α+τ{and} z_i \geq 0 \forall i=1,..., α}. $$ Then if $G$ is any graph, we have: $$ |E(G)| \geq α(G)-c(G)+ Γ(α(G), τ(G)). $$

研究の動機と目的

• Oreが提起した、与えられた安定数 α(G) と被覆数 τ(G) を持つ k-連結グラフにおける辺数の最小値に関する未解決問題を解消すること。
• α(G) と τ(G) の関数として、k-連結グラフにおける辺数のタイトな下界を確立し、Turán型の結果を一般化すること。
• α(G)、τ(G)、および δ(G) = α(G) − σᵥ(G) の関係を調査すること。ここで σᵥ(G) はすべての頂点を含む最大独立集合の最大サイズである。
• これらのグラフ不変量が Stanley-Reisner 環および Cohen-Macaulay 性質に与える代数的意味を探索すること。
• B-グラフおよびハイパーグラフに関する予想を提示・検討すること。特に、ωₑ(G) と σᵥ(G) が頂点数に与える影響を考察すること。

提案手法

• k-連結グラフにおける辺数の下界を導出：q(G) ≥ α(G) − c(G) + Γ(α(G), τ(G)) ここで Γ は α(G) + τ(G) = rα(G) + s を根拠とする組合せ的関数である。
• q-最小および {q,2}-最小グラフ（2-連結の場合）を同定し、最適グラフの完全分類を提供する。
• Stanley-Reisner 環の Cohen-Macaulay 性からの逸脱度を測る指標として δ(G) = α(G) − σᵥ(G) を導入する。
• 最大独立集合および頂点被覆の構造的性質を用いて、鍵となる不等式 α(G) ≤ τ(G)(1 + δ(G)) を証明する。
• 安定集合と頂点被覆の双対性（α(G) + τ(G) = |V(G)|）を用い、補完的グラフ構造間の不変量を関連付ける。
• B-グラフおよび r-一様ハイパーグラフに関する予想を提示・分析し、ωₑ(G)σᵥ(G) ≤ |V(G)| を示し、グラフおよびハイパーグラフ構成を用いて一般化された境界を導出する。

実験結果

リサーチクエスチョン

• RQ1 与えられた安定数 α(G) と被覆数 τ(G) を持つ k-連結グラフにおける辺数の最小値は何か？
• RQ2 パラメータ δ(G) = α(G) − σᵥ(G) は、最大独立集合および頂点被覆の構造とどのように関係するか？
• RQ3 不等式 α(G) ≤ τ(G)(1 + δ(G)) はハイパーグラフや他のグラフクラスへ拡張可能か？
• RQ4 B-グラフにおいて、ωₑ(G)（エッジクリーク被覆数）と σᵥ(G) の関係は何か？また、ωₑ(G)σᵥ(G) ≤ |V(G)| は成り立つか？
• RQ5 すべての最大安定集合の共通部分集合 α_core およびすべての最小頂点被覆の共通部分集合 τ_core は、α(G) および τ(G) とどのように関係するか？

主な発見

• 本稿は、k-連結グラフにおける辺数のタイトな下界を提供する：q(G) ≥ α(G) − c(G) + Γ(α(G), τ(G)) であり、Oreの書籍に掲げられた未解決問題を解決する。
• 2-連結グラフの場合、この下界に到達する辺最小グラフの完全分類がなされ、このようなグラフは {q,2}-最小と特徴づけられる。
• 主な不等式 α(G) ≤ τ(G)(1 + δ(G)) が証明され、ここで δ(G) = α(G) − σᵥ(G) である。これはグラフ不変量に新たな構造的制約を提示する。
• コロナリーとして、α(G) − |α_core| ≤ τ(G) − |τ_core| が導出され、コア集合が安定数および被覆数とどのように関係するかを示す。
• 予想 3.10 が提示される：B-グラフ（σᵥ(G) = α(G) の場合）においては、ωₑ(G)σᵥ(G) ≤ |V(G)| が成り立つ。これは既知の境界を一般化し、2α(G) ≤ |V(G)| を示唆する。
• 非B-グラフでは、反例として ωₑ(G)σᵥ(G) = 9 > 8 = |V(G)| となる例が提示され、この予想が誤りであることが示される。