[论文解读] Sharp bounds for the number of maximal independent sets in trees of fixed diameter

Alexander Borisovich Dainiak|ArXiv.org|Dec 29, 2008

Graph theory and applications参考文献 3被引用 4

一句话总结

本论文为具有固定顶点数和直径的树中最大独立集的数量建立了紧确的下界和上界。它刻画了达到这些界限的极值树，表明最小树的形式为 $B_{d,p,q}$，而最大树则通过基于斐波那契类似序列 $ psis_n$ 的特定递归结构构建，精确公式取决于奇偶性与直径约束。

ABSTRACT

We obtain sharp lower and upper bounds for the number of maximal (under inclusion) independent sets in trees with fixed number of vertices and diameter. All extremal trees are described up to isomorphism.

研究动机与目标

• 确定具有给定顶点数和固定直径的树中最大独立集的最小和最大数量。
• 刻画达到这些界限的极值树的结构（同构意义下）。
• 通过将先前关于树中独立集的研究结果推广至在直径约束下的最大独立集，实现一般化。
• 解决先前文献中提出的关于固定直径树中最大独立集下界的开放问题。
• 根据 $n-d$ 的奇偶性及特定直径值，提供最大独立集数量的精确公式。

提出的方法

• 定义 $B_{d,p,q}$ 为具有长度为 $d-1$ 的中心路径，且在其端点处分别连接大小为 $p$ 和 $q$ 的两个星形结构的树，证明 $i_M(B_{d,p,q}) = \psi_{d+1}$。
• 使用递推关系 $\psi_n = \psi_{n-2} + \psi_{n-3}$，初始值 $\psi_0 = \psi_1 = 1$，$\psi_2 = 2$，计算路径中最大独立集的数量。
• 通过反证法证明 $B_{d,p,q}$ 树的最小性：若一棵树偏离此形式，则其最大独立集数量必多于路径。
• 通过移除叶子并重新附着的论证方法，证明 $(n,d)$-最大树中不存在与两个或更多叶子相邻的顶点。
• 定义分段函数 $M(n,d)$，给出最大独立集数量的精确表达式，其形式取决于 $n-d$ 的奇偶性与直径 $d$。
• 通过归纳法与树结构的分类讨论（例如路径、星形结构，以及图 6a–6e、9d、9e 中的特定构型），验证非极值树满足 $i_M(T) < M(n,d)$。

实验结果

研究问题

• RQ1 在具有 $n$ 个顶点和直径 $d$ 的树中，最大独立集的最小数量是多少？
• RQ2 在具有 $n$ 个顶点和直径 $d$ 的树中，最大独立集的最大数量是多少？
• RQ3 实现最大独立集最小和最大数量的树具有何种结构特性？
• RQ4 最大独立集的数量如何随 $n-d$ 的奇偶性与 $d$ 的取值而变化？
• RQ5 对于固定的 $n$ 和 $d$，能否完全刻画实现最大独立集数量的极值树（同构意义下）？

主要发现

• 在直径为 $d$ 且具有 $n$ 个顶点的树中，最大独立集的最小数量为 $\psi_{d+1}$，且唯一由同构于 $B_{d,p,q}$ 的树实现。
• 最大独立集数量由分段函数 $M(n,d)$ 给出，其形式取决于 $n-d$ 的奇偶性与特定的 $d$ 值。
• 当 $d \geq 4$ 时，$(n,d)$-最大树中不存在与两个或更多叶子相邻的顶点，这一结构约束源于极值性。
• 当 $d \geq 4$ 且 $n-d$ 为偶数时，函数 $M(n,d)$ 满足 $M(n,d) \leq M(n,d+1)$，且等号成立当且仅当 $d=4$。
• 当 $d \geq 10$ 时，实现 $M(n,d)$ 的极值树具有中心路径与特定星形结构的附加方式，若其结构偏离定义形式，则其最大独立集数量严格小于 $M(n,d)$。
• 证明过程采用归纳法与树构型的分类讨论，表明任何偏离极值形式的树都会导致最大独立集数量严格减少，并给出了 $M(n,d) - i_M(T)$ 的显式下界。