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

Walter Carballosa, José M. Rodrı́guez+2 more|arXiv (Cornell University)|Oct 11, 2014

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

一句话总结

本文引入了图的联盟多项式作为一种新型图不变量，该不变量编码了所有 $k$ 的连通精确防御性 $k$-联盟的数量。文章提出了一种计算该多项式的算法，并证明路径图、环图、完全图和星图可被其联盟多项式唯一确定——相较于传统的图多项式（如色多项式或匹配多项式），其区分能力更强。

ABSTRACT

The alliance polynomial of a graph $Γ$ with order $n$ and maximum degree $δ_1$ is the polynomial $A(Γ; x) = \sum_{k=-δ_1}^{δ_1} A_{k}(Γ) \, x^{n+k}$, where $A_{k}(Γ)$ is the number of exact defensive $k$-alliances in $Γ$. We provide an algorithm for computing the alliance polynomial. Furthermore, we obtain some properties of $A(Γ; x)$ and its coefficients. In particular, we prove that the path, cycle, complete and star graphs are characterized by their alliance polynomials. We also show that the alliance polynomial characterizes many graphs that are not distinguished by other usual polynomials of graphs.

研究动机与目标

• 定义并形式化基于防御性 $k$-联盟的联盟多项式作为新的图不变量。
• 开发一种计算图的联盟多项式的算法。
• 研究联盟多项式是否能唯一表征其他多项式无法区分的图。
• 探索联盟多项式的结构与代数性质，包括系数的单峰性。
• 将联盟多项式的区分能力与已知图多项式（如色多项式、匹配多项式和 Tutte 多项式）进行比较。

提出的方法

• 将防御性 $k$-联盟定义为非空连通子集 $S \subseteq V$，其中每个顶点 $v \in S$ 满足 $\delta_S(v) \geq \delta_{\bar{S}}(v) + k$。
• 引入联盟的精确指数 $k_S = \min_{v \in S} \{ \delta_S(v) - \delta_{\bar{S}}(v) \}$，以将 $S$ 分类为精确防御性 $k_S$-联盟。
• 将联盟多项式构造为 $A(\Gamma; x) = \sum_{k \in \mathcal{K}} A_k(\Gamma) \, x^{n+k}$，其中 $A_k(\Gamma)$ 表示连通精确防御性 $k$-联盟的数量。
• 通过枚举所有连通子集并确定其精确 $k$-指数，实现计算 $A(\Gamma; x)$ 的算法。
• 利用图的结构性质，证明某些图族（如 $P_4$ 和 $P_2 \boxtimes P_3$）的联盟多项式具有对称性。
• 利用图多项式的相关已知结果（如文献 [6]、[26]、[27] 中的结论），比较区分能力，并识别出具有相同经典多项式但联盟多项式不同的非同构图。

实验结果

研究问题

• RQ1 联盟多项式能否唯一表征路径图、环图、完全图和星图等基本图族？
• RQ2 与色多项式、匹配多项式和 Tutte 多项式等经典图多项式相比，联盟多项式的区分能力如何？
• RQ3 是否存在在标准图多项式下无法区分但可通过其联盟多项式唯一识别的图？
• RQ4 联盟多项式的系数表现出哪些结构性质，例如单峰性？
• RQ5 是否存在一个有限图集，使得联盟多项式无法区分非同构图，还是其可能作为通用区分不变量？

主要发现

• 联盟多项式唯一表征了路径图、环图、完全图和星图，即不存在非同构图共享相同的多项式。
• 联盟多项式可区分具有相同色多项式、匹配多项式、独立数多项式或 Tutte 多项式的图，如图 2 和图 3 中的反例所示。
• 对于完全二部图 $K_{3,3}$，其联盟多项式被显式计算，由于其立方结构，得出 $A_k(K_{3,3}) = 0$ 对于 $k \in \{-2, 0, 2\}$。
• $P_4$ 与 $K_{1,3}$ 的联盟多项式不同，尽管它们的 Tutte 多项式相同，证实了该多项式具有更强的区分能力。
• 某些图（如 $P_4$）的联盟多项式具有对称性，而另一些图（如 $P_2 \boxtimes P_3$）则没有，表明多项式形式对图的结构具有敏感性。
• 本文提供了证据表明联盟多项式可能能够区分所有图，尽管一般性证明仍待完成，提示其可能是一种通用图不变量。