[论文解读] The Domination Polynomials of Cubic graphs of order 10

Saieed Akbari, ‎Saeid Alikhani+1 more|ArXiv.org|May 20, 2009

Advanced Graph Theory Research被引用 3

一句话总结

本文研究了所有10阶3-正则（立方）图的支配多项式，计算其支配集并分析D-多项式等价性。通过顶点传递性和组合计数，证明彼得森图由其支配多项式唯一确定，确立其为D-唯一图，同时识别出其他若干D-唯一图及19个10阶立方图中的D-等价类。

ABSTRACT

Let G be a simple graph of order n. The domination polynomial of G is the polynomial D(G,x)=\sum_{i=γ(G)}^{n} d(G,i) x^{i}, where d(G,i) is the number of dominating sets of G of size i, and γ(G) is the domination number of G. In this paper we study the domination polynomials of cubic graphs of order 10. As a consequence, we show that the Petersen graph is determined uniquely by its domination polynomial.

研究动机与目标

• 计算并分析所有10阶立方图的支配多项式。
• 确定其中哪些图是D-唯一图，即由其支配多项式唯一标识的图。
• 对10阶立方图中的D-等价类进行分类，识别出支配多项式相同的图。
• 研究立方图中支配集的结构与组合性质，特别是彼得森图中的性质。
• 确立彼得森图是D-唯一图，即没有其他图与之共享其支配多项式。

提出的方法

• 计算支配多项式 $ D(G,x) = \sum_{i=\gamma(G)}^{n} d(G,i)x^i $，其中 $ d(G,i) $ 表示大小为 $ i $ 的支配集的数量。
• 应用引理1：对于顶点传递图，有 $ d(G,i) = \frac{n}{i} d_v(G,i) $，从而通过顶点特定计数高效计算 $ d(G,i) $。
• 使用定理2：当 $ d(G,j) = \binom{n}{j} $ 时，可推断出最小度约束，表明所有 $ j $-子集均为支配集。
• 枚举每个10阶立方图的 $ \gamma $-集（最小支配集），以比较其结构特性。
• 应用定理6处理不连通图：$ D(G,x) = D(G_1,x) \cdots D(G_m,x) $，用于计算具有多个连通分量的图的多项式。
• 通过比较图之间 $ d(G,i) $ 的取值，识别D-等价类与D-唯一性。

实验结果

研究问题

• RQ1 在所有10阶立方图中，彼得森图是否由其支配多项式唯一确定？
• RQ2 哪些10阶立方图是D-唯一图，即不存在非同构图共享其支配多项式？
• RQ3 19个10阶立方图中的D-等价类是什么？哪些图在D-等价关系下等价？
• RQ4 不同大小的支配集计数在10阶立方图之间有何差异？哪些结构特征影响这些计数？
• RQ5 支配多项式能否区分非同构的10阶立方图，特别是彼得森图的情况？

主要发现

• 彼得森图是D-唯一图：无其他图具有相同的支配多项式，因为 $ d(G_9,4) = 91 > d(P,4) $，证明了 $ [P] = \{P\} $。
• 图 $ G_9 $ 也是D-唯一图，因其具有独特的支配多项式，且 $ d(G_9,4) = 91 $，超过彼得森图的值。
• 图 $ G_6 $ 与 $ G_{10} $ 构成一个D-等价类，其支配多项式相同：$ x^{10} + \binom{10}{9}x^9 + \binom{10}{8}x^8 + \binom{10}{7}x^7 + (\binom{10}{6}-10)x^6 + (\binom{10}{5}-60)x^5 + 85x^4 + 10x^3 $。
• 图 $ G_7 $ 与 $ G_8 $ 是D-等价的，两者均有 $ d(G_i,4) = 80 $，通过引理1及顶点特定支配集枚举计算得出。
• 图 $ G_{12}, G_{13}, G_{14}, G_{16}, G_{19} $ 是D-唯一图，因其 $ \gamma $-集数量（$ |\Gamma(G)| $）与其他图均不同：分别为15、7、22、13和13。
• 图 $ G_{20} $ 与 $ G_{21} $ 是D-等价的，两者均具有支配多项式 $ x^{10} + 10x^9 + 45x^8 + 120x^7 + 203x^6 + 216x^5 + 134x^4 + 36x^3 $，由其连通分量多项式的乘积导出。