[论文解读] Bounds for graph invariants

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

Advanced Graph Theory Research参考文献 8被引用 16

一句话总结

本文建立了图 G 的稳定性数 α(G) 的新上界，以覆盖数 τ(G) 和 σv-覆盖数 σv(G) 表示，证明了 α(G) ≤ τ(G)[1 + α(G) − σv(G)]。此外，基于 α(G)、τ(G) 和连通分量数 c(G)，推导出图中边数的下界，并引入一个组合函数 Γ(a,t) 以量化在给定约束下的最小边数。

ABSTRACT

Let G be a graph without isolated vertices and let α(G) be its stability number and τ(G) its covering number. The σ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) ≤ τ(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 a and t be two natural numbers and let a ∑ () zi Γ(a, t) = min | z1 + · · · + za = a + t and zi ≥ 0 ∀ i = 1,...,a. 2 i=1 Then if G is any graph, we have: 1

研究动机与目标

• 通过 σv-覆盖数和覆盖数 τ(G) 建立稳定性数 α(G) 的理论上界。
• 研究图不变量（特别是 α(G)、τ(G) 和连通分量数 c(G)）与图中最小边数之间的关系。
• 引入并分析函数 Γ(a,t)，作为在给定 α(G) 和 τ(G) 约束下计算图中边数下界的工具。

提出的方法

• 推导出涉及 α(G)、τ(G) 和 σv(G) 的不等式：α(G) ≤ τ(G)[1 + α(G) − σv(G)]，利用极大独立集和顶点覆盖的性质。
• 将 σv-覆盖数 σv(G) 定义为最大的 m，使得每个顶点都属于某个大小至少为 m 的极大独立集。
• 定义一个组合函数 Γ(a,t) = min ∑(zi²)/2，其中 zi 为非负整数且 ∑zi = a + t，用于计算边数的下界。
• 应用极值图论技术，在 α(G)、τ(G) 和 c(G) 的约束下最小化边数，将 Γ(a,t) 作为关键组成部分。
• 通过案例分析和整数分拆的优化，建立边数下界。
• 结合独立集理论与图分解方法，将边界推广至任意 c(G) 的图。

实验结果

研究问题

• RQ1 以 τ(G) 和 σv(G) 表示时，稳定性数 α(G) 的最紧可能上界是什么？
• RQ2 σv-覆盖数 σv(G) 如何影响 α(G) 与 τ(G) 之间的关系？
• RQ3 在给定 α(G)、τ(G) 和连通分量数 c(G) 的情况下，图 G 的最小边数是多少？
• RQ4 如何利用函数 Γ(a,t) 在指定约束下计算图中边数的下界？
• RQ5 所推导的边界是否可推广至所有不含孤立顶点的图？其紧致性条件是什么？

主要发现

• 本文证明了 α(G) ≤ τ(G)[1 + α(G) − σv(G)]，建立了稳定性数、覆盖数和 σv-覆盖数之间新的理论约束。
• σv-覆盖数 σv(G) 定义为最大的 m，使得每个顶点都包含在某个大小至少为 m 的极大独立集中，提供了对独立集中顶点分布的精细化度量。
• 通过函数 Γ(a,t) 推导出图中边数的下界，该函数在非负整数 zi 满足 ∑zi = a + t 的条件下最小化 ∑(zi²)/2。
• 当 τ(G) ≥ α(G) 时，图 G 的最小边数至少为 Γ(α(G), τ(G) − α(G))，前提是图中无孤立顶点。
• 当图被分解为与最小化 Γ(a,t) 的整数分拆相匹配的连通分量时，该边界在特定的 α(G)、τ(G) 和 c(G) 配置下达到紧致性。
• 结果可推广至所有不含孤立顶点的图，边数边界取决于 α(G)、τ(G) 和连通分量数 c(G)。