[论文解读] Independent sets in certain classes of (almost) regular graphs

Alexander Burstein, Sergey Kitaev+1 more|ArXiv.org|Oct 23, 2003

Advanced Graph Theory Research参考文献 5被引用 5

一句话总结

本文研究了四类（几乎）正则图——$G_{\theta}^n$、$R_{\theta}^n$、$K_{\theta}^n$ 和 $P_{\theta}^n$——中的独立集，使用转移矩阵法推导出显式生成函数。文中建立了 $P_4^n$ 中独立集与 ${1,2,\dots,2n+1\u007D$ 的某些子序列之间的直接双射，其中每个奇数都有偶数邻居，并为 $p_\theta(n)$（即 $P_\theta^n$ 中独立集的数量）提供了闭式生成函数 $\sum_{n\geq 0} p_\theta(n)x^n = \frac{1+2x}{1-(\theta-1)x-2x^2}$。主要贡献在于为一类源自环图和完全图线图的正则图类中的独立集提供了组合解释及精确生成函数。

ABSTRACT

We enumerate the independent sets of several classes of regular and almost regular graphs and compute the corresponding generating functions. We also note the relations between these graphs and other combinatorial objects and, in some cases, construct the corresponding bijections.

研究动机与目标

• 枚举四类递归定义的（几乎）正则图 $G_\ell^n$、$R_\ell^n$、$K_\ell^n$ 和 $P_\ell^n$ 中的独立集。
• 开发一种转移矩阵法，用于计算这些图中独立集的数量。
• 建立独立集与其它组合对象之间的组合解释，并为 $P_4^n$ 构造显式双射。
• 为 $P_\ell^n$ 中独立集数量 $p_\ell(n)$ 推导闭式生成函数。
• 探索这些图类与已知组合序列（如 OEIS 中的序列）之间的联系。

提出的方法

• 将转移矩阵法应用于建模递归构造图中各层级间独立集的状态转移。
• 在对应于每层级独立集状态的标签集合上，定义大小为 $(\ell+1) \times (\ell+1)$ 的转移矩阵 $P = P_\ell$。
• 生成函数 $p_\ell(n)$ 的导出结果为 $(I - xP)^{-1} \mathbf{1}$ 的第一个条目，从而得出闭式表达式 $\sum_{n \geq 0} p_\ell(n)x^n = \frac{1+2x}{1 - (\ell-1)x - 2x^2}$。
• 对于 $P_4^n$，在独立集与 $\{1,2,\dots,2n+1\}$ 的子序列之间构造了直接双射，其中每个奇数都有偶数邻居。
• 顶点在 $P_4^n$ 中的标记通过递归定义，第 $n-i$ 层的标签由第 $n-i+1$ 层的标签根据特定规则（涉及带括号和不带括号的整数）推导得出。
• 通过将序列划分为块 $123|45|67|\dots|2n(2n+1)$，并根据标签内容和括号状态选择顶点，构造了逆映射。

实验结果

研究问题

• RQ1 对于任意 $n$，$\ell$-正则图 $P_\ell^n$ 中的独立集数量是多少？
• RQ2 是否存在对 $P_4^n$ 中独立集数量的组合解释，以已知组合对象表示？
• RQ3 能否为 $p_\ell(n)$（即 $P_\ell^n$ 中独立集数量）推导出闭式生成函数？
• RQ4 递归构造的 $G_\ell^n$、$R_\ell^n$、$K_\ell^n$ 和 $P_\ell^n$ 与线图及完全图之间有何关系？
• RQ5 在 $P_4^n$ 中的独立集与 ${1,2,\dots,2n+1\u007D$ 的子序列之间存在何种结构关系，其中每个奇数都有偶数邻居？

主要发现

• 在 $P_\ell^n$ 中独立集数量的生成函数由 $\sum_{n \geq 0} p_\ell(n)x^n = \frac{1+2x}{1 - (\ell-1)x - 2x^2}$ 显式给出，对所有 $\ell \geq 2$ 成立。
• 当 $\ell = 3$ 时，$p_3(n) = r_3(n)$，表明 $P_3^n$ 中独立集数量与 $R_3^n$ 相等，这是由于图构造在结构上的等价性所致。
• $p_4(n)$（$n \geq 0$）的序列为 $1, 5, 17, 61, 217, 773, 2753, 9805, 34921, 124373, \dots$，与 OEIS 序列 A007483 匹配。
• 在 $P_4^n$ 的独立集与 ${1,2,\dots,2n+1\u007D$ 的子序列之间建立了直接双射，其中每个奇数都有偶数邻居，正向与逆向映射通过递归标记和括号规则显式定义。
• $G_3^n$ 中独立集的数量在第 2 节中被显式计算，为图的递归结构提供了基础情形。
• 转移矩阵法成功地为所有四类图类生成了精确的生成函数，且矩阵 $P_\ell$ 的结构反映了每一层级上的邻接与独立性约束。