[论文解读] Introduction to Domination Polynomial of a Graph

‎Saeid Alikhani, Yee-Hock Peng|ArXiv.org|May 14, 2009

Advanced Graph Theory Research参考文献 2被引用 14

一句话总结

本文引入了支配多项式 $ D(G,x) $，定义为按大小生成的支配集的生成函数，其中系数表示每种基数的支配集数量。它建立了基本性质，包括在不相交并集上的乘法行为，以及对冠图 $ G \circ K_1 $ 的闭式表达，证明了 $ D(G \circ K_1, x) = x^n(x+2)^n $，并展示了该类别的单峰性，支持了关于所有图上支配多项式单峰性的更广泛猜想。

ABSTRACT

We introduce a domination polynomial of a graph G. The domination polynomial of a graph G of order n is the polynomial D(G, x) =\sum_{i=1}^n d(G, i)x^i, where d(G, i) is the number of dominating sets of G of size i. We obtain some properties of D(G, x) and its coefficients. Also we compute this polynomial for some specific graphs.

研究动机与目标

• 将支配多项式 $ D(G,x) $ 形式化并作为图 $ G $ 的支配集生成函数进行研究。
• 推导 $ D(G,x) $ 的结构性质，包括其在图运算（如不相交并集和连接）下的行为。
• 显式计算特定图族的 $ D(G,x) $，特别是 $ G \circ K_1 $，即与 $ K_1 $ 的冠图。
• 研究 $ D(G,x) $ 的单峰性，最终证明 $ G \circ K_1 $ 的单峰性，并支持关于所有图上支配多项式单峰性的更广泛猜想。

提出的方法

• 将支配多项式定义为 $ D(G,x) = \sum_{i=\gamma(G)}^{n} d(G,i)x^i $，其中 $ d(G,i) $ 表示大小为 $ i $ 的支配集的数量。
• 证明 $ D(G,x) $ 在不相交并集上具有乘法性：$ D(G_1 \cup G_2, x) = D(G_1,x) D(G_2,x) $。
• 推导图连接 $ G_1 \vee G_2 $ 的支配多项式闭式表达，表明 $ D(G_1 \vee G_2,x) = ((1+x)^{n_1}-1)((1+x)^{n_2}-1) + D(G_1,x) + D(G_2,x) $。
• 建立对于 $ G \circ K_1 $，支配多项式为 $ D(G \circ K_1, x) = x^n(x+2)^n $，通过顶点对的组合计数支配集得出。
• 利用二项式系数不等式和比值分析，证明 $ D(G \circ K_1, x) $ 的单峰性，表明系数序列先增至峰值后递减。
• 利用对数凹性和负实根，为 $ G \circ K_1 $ 的单峰性提供另一种证明。

实验结果

研究问题

• RQ1 支配多项式 $ D(G,x) $ 作为支配集生成函数，其结构和基本性质是什么？
• RQ2 在不相交并集和图连接等基本图运算下，$ D(G,x) $ 如何表现？
• RQ3 能否为 $ D(G \circ K_1, x) $，即与 $ K_1 $ 的冠图的支配多项式，推导出闭式表达？
• RQ4 支配多项式对所有图是否都是单峰的，能否在 $ G \circ K_1 $ 等特定图族中证明这一点？
• RQ5 系数 $ d(G,i) $ 与图结构之间有何关系，特别是关于单调性和极值？

主要发现

• 完全图 $ K_n $ 的支配多项式为 $ D(K_n,x) = (1+x)^n - 1 $，反映了所有非空子集均为支配集。
• 对于空图 $ \overline{K}_n $，支配多项式为 $ D(\overline{K}_n,x) = x^n $，因为仅全顶点集是支配集。
• 对于 $ G \circ K_1 $，支配多项式为 $ D(G \circ K_1, x) = x^n(x+2)^n $，通过 $ n $ 个顶点对的选择计数支配集得出。
• 对于 $ m \in [n, 2n] $，系数 $ d(G \circ K_1, m) $ 为 $ \binom{n}{m-n} 2^{2n-m} $，表明其分布为单峰。
• 对于 $ G_{3n}^* $，系数从 $ d(G_{3n}^*,3n) = 2^{3n} $ 增加至 $ d(G_{3n}^*,4n) $，然后递减至 $ d(G_{3n}^*,6n) = 1 $，确认了单峰性。
• 对于 $ G_{3n+2}^* $，峰值系数 $ d(G_{3n+2}^*,4n+2) $ 和 $ d(G_{3n+2}^*,4n+3) $ 相等，表明存在非唯一的众数，而其他图族具有唯一的众数。