[论文解读] The Independent Domination Polynomial

Markus Dod|arXiv (Cornell University)|Feb 26, 2016

Advanced Graph Theory Research参考文献 13被引用 7

一句话总结

本文引入了独立控制多项式，这是一种普通生成函数，用于计算图中独立控制集的数量——即顶点之间互不相邻，且集合外每个顶点至少与集合中一个顶点相邻的子集。主要贡献在于为路径、环、完全二部图以及冠图和并图等图积类建立了递推关系和闭式表达式，同时揭示了多项式在图的连通分量上的乘法性及在 r-扩张下的不变性等结构性质。

ABSTRACT

A vertex subset $W\subseteq V$ of the graph $G=(V,E)$ is an independent dominating set if every vertex in $V\backslash W$ is adjacent to at least one vertex in $W$ and the vertices of $W$ are pairwise non-adjacent. The independent domination polynomial is the ordinary generating function for the number of independent dominating sets in the graph. We investigate in this paper properties of the independent domination polynomial and some interesting connections to well known counting problems.

研究动机与目标

• 将独立控制多项式形式化并作为图中独立控制集的生成函数进行分析。
• 建立多项式的结构性质，包括在图的连通分量上的乘法性以及在图运算下的行为。
• 为路径、环、完全二部图和图积等特殊图类推导独立控制多项式的递推关系与闭式表达式。
• 探索独立控制多项式与其他图多项式（如独立集多项式和总控制多项式）之间的联系。
• 识别关于多项式在额外图积（如笛卡尔积）下行为的开放问题。

提出的方法

• 将独立控制多项式定义为普通生成函数，其中 $x^k$ 的系数表示大小为 $k$ 的独立控制集的数量。
• 证明多项式在不相交图分量上的乘法性。
• 建立在边删除和顶点邻域操作下多项式满足的递推关系。
• 通过有效顶点放置的组合计数方法，为路径 $P_n$ 和环 $C_n$ 推导多项式的闭式表达式。
• 利用冠图、并图和 r-扩张等图运算，推导复合图多项式与其分量多项式之间的函数方程。
• 借助已知的独立集多项式与总控制多项式的结果，推导独立控制多项式的恒等式。

实验结果

研究问题

• RQ1 独立控制多项式在图运算（如冠图、并图和 r-扩张）下如何表现？
• RQ2 能否基于顶点或边的修改推导出独立控制多项式的递推关系？
• RQ3 在标准图族（如路径、环和完全二部图）中，独立控制多项式是否存在闭式表达式？
• RQ4 独立控制多项式与其它图多项式（如独立集多项式或总控制多项式）之间有何关系？
• RQ5 是否存在可推广至各类图的结构性质（如乘法性或扩张下的不变性）？

主要发现

• 独立控制多项式在不相交图分量上具有乘法性：当 $G = G_1 \cup G_2$ 时，有 $\mathop{\mathrm{D}_i}(G,x) = \mathop{\mathrm{D}_i}(G_1,x)\mathop{\mathrm{D}_i}(G_2,x)$。
• 对于冠图 $G \circ H$，多项式满足 $\mathop{\mathrm{D}_i}(G \circ H,x) = \mathop{\mathrm{D}_i}(H,x)^n \mathop{\mathrm{I}}\left(G, \frac{x}{\mathop{\mathrm{D}_i}(H,x)}\right)$，其中 $n = |V(G)|$。
• 对于完全二部图 $K_{p,q}$，多项式为 $\mathop{\mathrm{D}_i}(K_{p,q},x) = x^p + x^q$，反映出仅能有一侧完全控制。
• 对于路径 $P_n$，多项式满足递推关系 $\mathop{\mathrm{D}_i}(P_n,x) = x\mathop{\mathrm{D}_i}(P_{n-2},x) + x\mathop{\mathrm{D}_i}(P_{n-3},x)$，初始条件为 $\mathop{\mathrm{D}_i}(P_1,x) = x$，$\mathop{\mathrm{D}_i}(P_2,x) = 2x$，$\mathop{\mathrm{D}_i}(P_3,x) = x^2 + x$。
• 路径 $P_n$ 的显式闭式表达式为 $\mathop{\mathrm{D}_i}(P_n,x) = \sum_{k=1}^{\lfloor(n+3)/2\rfloor} \binom{k+1}{n-2k+1} x^k$，该式通过支配顶点的组合放置推导得出。
• 对于环 $C_n$（$n \geq 7$），多项式满足 $\mathop{\mathrm{D}_i}(C_n,x) = 2x\mathop{\mathrm{D}_i}(P_{n-3},x) + x^2\mathop{\mathrm{D}_i}(P_{n-6},x)$，反映出环状排列中的结构约束。