[论文解读] On bounds for some graph invariants

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

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

一句话总结

本文根據穩定數 α(G) 和點覆蓋數 τ(G) 建立了 k-連通圖中邊數的緊緻下界，解決了 ORE 提出的開放問題。此外，本文證明了不等式 α(G) ≤ τ(G)(1 + δ(G))，其中 δ(G) = α(G) − σᵥ(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-連通情形），並完整分類達到邊界之最優圖形。
• 引入 δ(G) = α(G) − σᵥ(G) 作為圖之 Stanley-Reisner 環遠離 Cohen-Macaulay 性質之偏差度量。
• 利用最大獨立集與點覆蓋之結構性質，證明關鍵不等式 α(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)（邊 clique 覆蓋數）與 σᵥ(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)|。