[论文解读] Spectral study of alliances in graphs

J.A. Rodrı́guez, José M. Sigarreta|ArXiv.org|Feb 20, 2006

Graph theory and applications参考文献 2被引用 6

一句话总结

本文利用代数连通性、谱半径和拉普拉斯谱半径，为图的全局防御性、进攻性和双联盟数建立了紧致的谱界。推导出这些联盟参数与图特征值之间显式的不等式，证明此类联盟的最小大小被图的谱性质严格约束，且在完全图和对称图上验证了紧致边界。

ABSTRACT

In this paper we obtain several tight bounds on different types of alliance numbers of a graph: (global) defensive alliance number, global offensive alliance number and global dual alliance number. In particular, we investigate the relationship between the alliance numbers of a graph and its algebraic connectivity, its spectral radius, and its Laplacian spectral radius.

研究动机与目标

• 为图的全局防御性、进攻性和双联盟数建立紧致的下界。
• 研究联盟参数与关键谱不变量（代数连通性、谱半径和拉普拉斯谱半径）之间的关系。
• 为已知图族（如完全图和二十面体）提供显式且紧致的边界。
• 通过推导基于特征值的不等式，将谱图论与联盟理论统一起来，用于支配型参数。

提出的方法

• 使用通过加权顶点差值定义的代数连通性 μ，基于费德勒公式。
• 应用图论恒等式：子集 S 内部和外部邻居度数之和，以及 S 与 V\S 之间交叉边的对称性。
• 通过结合谱界与联盟中顶点的度数约束，推导不等式。
• 利用谱半径 λ 和拉普拉斯谱半径，通过求和恒等式和柯西-施瓦茨型推理，界定联盟大小。
• 采用组合性断言（例如 ∑|N_S(v)| ≤ |S|(|S|−1)）以收紧联盟中顶点度数的边界。
• 在典型图（如 K_n、K_{3,6}、K_{3,3} 和二十面体）上验证边界的紧致性。

实验结果

研究问题

• RQ1 全局防御性联盟数与图的代数连通性 μ 有何关系？
• RQ2 谱半径 λ 和拉普拉斯谱半径能否用于界定全局进攻性和双联盟数？
• RQ3 以图的边数 m 和谱半径 λ 表示时，全局双联盟数的最紧可能下界是什么？
• RQ4 所推导的谱边界对完全图和完全二部图等特定图族是否紧致？
• RQ5 在引入最大度 Δ 的情况下，强联盟的边界与普通联盟的边界有何不同？

主要发现

• 全局防御性联盟数 γ_a(Γ) 满足 γ_a(Γ) ≥ ⌈nμ / (n + μ)⌉，且在完全图 K_n 上取等。
• 强防御性联盟数 γ_â(Γ) 满足 γ_â(Γ) ≥ ⌈n(μ + 1)/(n + μ)⌉，且在 K_n 上取等。
• 对于全局进攻性联盟，有边界 γ_a₀(Γ) ≥ ⌈(2m + n)/(4(λ + 1))⌉，且在 K_n 和 K_{3,6} 上取等。
• 全局强进攻性联盟数满足 γ_â₀(Γ) ≥ ⌈(m + n)/(2λ + 1)⌉，且在 K_{3,3} 上取等。
• 全局双联盟数 γ_ad(Γ) 的下界为 ⌈(2m + n)/(4(λ + 1))⌉，且在 K_n 和图 2 右侧图中取等。
• 边界 γ_âd(Γ) ≥ ⌈(1 + √(1 + 8(n + m)))/4⌉ 在 K_1*(K_2 ∪ K_2) 上取等，确认了理论极限。