[论文解读] New approach to the $k$-independence number of a graph

Yair Caro, Adriana Hansberg|RECERCAT (Consorci de Serveis Universitaris de Catalunya)|Aug 23, 2012

Advanced Graph Theory Research参考文献 22被引用 4

一句话总结

本文提出了一种图 $G$ 的 $k$-独立数 $\alpha_k(G)$ 的新下界，该图有 $n$ 个顶点且平均度为 $d$，证明了 $\alpha_k(G) \geq \frac{k+1}{\lceil d\rceil + k + 1}n$。该方法通过优化顶点删除策略，改进了经典的 Caro-Tuza 下界，并消除了渐近乘法间隙，从而解决了极值图论中长期存在的一个猜想。

ABSTRACT

Let $G = (V,E)$ be a graph and $k \ge 0$ an integer. A $k$-independent set $S \subseteq V$ is a set of vertices such that the maximum degree in the graph induced by $S$ is at most $k$. With $α_k(G)$ we denote the maximum cardinality of a $k$-independent set of $G$. We prove that, for a graph $G$ on $n$ vertices and average degree $d$, $α_k(G) \ge \frac{k+1}{\lceil d ceil + k + 1} n$, improving the hitherto best general lower bound due to Caro and Tuza [Improved lower bounds on k-independence, J. Graph Theory 15 (1991), 99-107].

研究动机与目标

• 解决图的 $\alpha_k(G)$ 的已知下界与理论最优值之间渐近乘法间隙的长期开放问题，适用于平均度为 $d$ 的图。
• 通过实现更紧致的下界，改进经典的 Caro-Tuza 下界 $\alpha_k(G) \geq \frac{k+2}{2(d+1)}n$。
• 通过证明 $\alpha_k(G) \geq \frac{k+1}{\lceil d\rceil + k + 1}n$，解决一个广为人知的猜想，即最佳可能下界应渐近为 $\frac{k+1}{d+1}n$。
• 刻画极值比 $f(k,d) = \inf \left\{ \frac{\alpha_k(G)}{n(G)} : d(G) \leq d \right\}$，并为该函数推导出下界和上界。

提出的方法

• 定义一个函数 $f_k(x)$，用于捕捉度为 $x$ 的顶点对 $k$-独立集大小的贡献，该函数具有分段凸性和递减性。
• 使用一种贪心的顶点删除过程，通过在当前诱导子图中迭代删除最大度顶点，以控制删除数量并保持剩余结构的可控性。
• 应用类似 Lovász 局部引理的论证方法，证明删除后剩余的集合是一个 $k$-独立集，利用函数 $f_k$ 来界定剩余集合的大小。
• 通过不等式 $\alpha_k(G) \geq \sum_{v \in V} f_k(\deg(v))$ 建立新的下界，随后在平均度 $d$ 上进行优化，得到 $\alpha_k(G) \geq \frac{k+1}{\lceil d\rceil + k + 1}n$。
• 构造极值图（如 $K_{d+1}$-团的并、高 girth 的 $r$-正则图）以测试并界定新不等式的紧致性。
• 引入并分析函数 $f(k,d,\Delta)$，以研究最大度 $\Delta$ 对 $k$-独立比的影响，从而实现对 $f(k,d)$ 的更精细边界。

实验结果

研究问题

• RQ1 能否消除已知下界与 $\alpha_k(G)$ 理论最优值之间的渐近乘法间隙？
• RQ2 对于所有 $k$ 和 $d$，不等式 $\alpha_k(G) \geq \frac{k+1}{\lceil d\rceil + k + 1}n$ 是否是紧的，且是否解决了广为人知的猜想？
• RQ3 函数 $f(k,d) = \inf \left\{ \frac{\alpha_k(G)}{n(G)} : d(G) \leq d \right\}$ 的精确值是什么？其在小 $k$ 和 $d$ 时的行为如何？
• RQ4 上界与新下界相比如何，特别是在高 girth 正则图或团并图等极值构造中？
• RQ5 包含最大度约束的函数 $f(k,d,\Delta)$ 是否能比无约束版本提供更紧的 $f(k,d)$ 边界？

主要发现

• 本文建立了新的下界 $\alpha_k(G) \geq \frac{k+1}{\lceil d(G)\rceil + k + 1}n$，消除了先前下界中存在 $2\frac{k+1}{k+2}$ 的渐近乘法间隙。
• 当 $k=1$ 时，精确计算出 $f(1,d) = \frac{2}{d+2}$，表明该下界在此情况下是紧的。
• 证明了下界 $\alpha_k(G) \geq \frac{k+1}{\lceil d\rceil + k + 1}n$ 在某种意义下是精确的，即其与理论极限 $\frac{k+1}{d+1}n$ 仅相差平均度的上取整。
• 通过极值构造如 $G = (K_{d+1} - E(K_{k+1})) \cup kK_{1,k+1}$，得到 $f(k,2) \leq \frac{(k+1)^2}{k^2 + 3k + 3}$，为小 $d$ 提供了紧的上界。
• 对于 $k \geq 2$，利用高 girth 的 $r$-正则图，推导出 $f(k,d) \leq \frac{k+2}{d + c(d/2)^{1/(k+2)} + 1}$，表明 $d$ 上存在次多项式衰减。
• 本文证实，新下界解决了广为人知的猜想，即 $\alpha_k(G) \geq \frac{k+1}{d+1}n$ 是渐近最优的，通过在平均度上取上取整的方式予以证明。