[论文解读] Computing the strong alliance polynomial of a graph

Walter Carballosa, Juan C. Hernández‐Gómez+2 more|arXiv (Cornell University)|Jul 30, 2015

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

一句话总结

本文引入了图的强联盟多项式，定义为按大小计数强防御联盟的生成函数。文章建立了该多项式的性质，计算了关键图族（路径、环、完全图、星图、完全二分图、双星图）的多项式，并证明其中一些多项式是单峰的，而另一些则不是，同时提供了明确的示例以供验证和结构分析。

ABSTRACT

We introduce the strong alliance polynomial of a graph. The strong alliance polynomial of a graph $G$ with order n and strong defensive alliance number $a(G)$ is the polynomial $a(G;x):=\sum_{i=a(G)}^{n}\, a_i(G)\ x^i$, where $a_{k}(G)$ is the number of strong defensive alliances with cardinality $k$ in $G$. We obtain some properties of $a(G; x)$ and its coefficients. In particular, we compute strong alliance polynomial for path, cycle, complete, start, complete bipartite and double star graphs; some of them verify unimodality.

研究动机与目标

• 将强联盟多项式定义并形式化为图中强防御联盟的生成函数。
• 分析强联盟多项式的结构与代数性质，包括系数行为与单峰性。
• 显式计算路径、环、完全图和星图等基本图类型的多项式。
• 研究多项式在何种情况下表现出单峰系数序列，识别出单峰与非单峰的情形。
• 探讨多项式在边删除下的不变性与敏感性，特别是在完全图中的表现。

提出的方法

• 将强联盟多项式定义为 $ a(G;x) = \sum_{i=a(G)}^{n} a_i(G) x^i $，其中 $ a_i(G) $ 表示大小为 $ i $ 的强防御联盟的数量。
• 使用强防御联盟的定义：对每个顶点 $ v \in S $，有 $ \delta_S(v) \geq \delta_{\overline{S}}(v) $，即 $ \delta_S(v) \geq \delta_{\overline{S}}(v) $。
• 应用组合计数技术，计算特定图族（包括 $ P_n, C_n, K_n, K_{1,n}, K_{m,n}, $ 及双星图）的 $ a_i(G) $。
• 利用图同构不变性，证明同构图具有相同的强联盟多项式。
• 通过显式示例与反例分析系数序列，检验其单峰性。
• 采用边删除分析方法研究多项式不变性，特别在完全图 $ K_n $ 中，证明当边非相邻时，$ a(K_n;x) = a(K_n \setminus \{e_1,\dots,e_r\};x) $ 对于 $ r < n/2 $ 成立。

实验结果

研究问题

• RQ1 强联盟多项式在不同图族中的结构与行为如何？
• RQ2 哪些图族会产生单峰的强联盟多项式，哪些不会？
• RQ3 强联盟多项式在边删除下如何变化，特别是在完全图中？
• RQ4 是否存在非同构但具有相同强联盟多项式的图？
• RQ5 强防御联盟数 $ a(G) $ 与多项式系数序列之间存在何种关系？

主要发现

• 当 $ C_4 $ 时，强联盟多项式为 $ a(C_4;x) = x^4 + 4x^3 + 4x^2 $，系数为 $ a_2 = 4, a_3 = 4, a_4 = 1 $，且为单峰。
• 当 $ P_4 $ 时，强联盟多项式为 $ a(P_4;x) = x^4 + 2x^3 + 3x^2 $，系数为 $ a_2 = 3, a_3 = 2, a_4 = 1 $，且为单峰。
• 图2中的图具有强联盟多项式 $ a(G;x) = x^2 + 3x^3 + x^4 + 4x^5 + 5x^6 + x^7 $，由于 $ a_2 < a_3 > a_4 < a_5 $，故非单峰。
• 当 $ n $ 为偶数时，若边非相邻，则 $ a(K_n;x) = a(K_n \setminus \{e_1,\dots,e_{n/2-1}\};x) $，但 $ a(K_n;x) \neq a(K_n \setminus \{e_1,\dots,e_{n/2}\};x) $，表明存在临界阈值效应。
• 强联盟多项式在图同构下保持不变，因此同构图具有相同的多项式。
• 强防御联盟数 $ a(G) $ 是满足 $ a_i(G) > 0 $ 的最小 $ i $，它决定了 $ a(G;x) $ 中最低次项的次数。