[论文解读] Defensive alliances in graphs: a survey

Ismael G. Yero, Juan A. Rodríguez‐Velázquez|arXiv (Cornell University)|Aug 9, 2013

Advanced Graph Theory Research参考文献 3被引用 9

一句话总结

本综述全面概述了图中的防御性 $k$-联盟，将其定义为每个顶点在集合内部的邻居数至少比外部多 $k$ 个的顶点集合。综述综合了关于计算复杂性、防御性联盟数的界、全局与边界联盟、联盟划分以及防御性 $k$-联盟自由集的关键结果，尤其聚焦于笛卡尔积图，为特定图族建立了紧致的界和结构特征。

ABSTRACT

A set $S$ of vertices of a graph $G$ is a defensive $k$-alliance in $G$ if every vertex of $S$ has at least $k$ more neighbors inside of $S$ than outside. This is primarily an expository article surveying the principal known results on defensive alliances in graph. Its seven sections are: Introduction, Computational complexity and realizability, Defensive $k$-alliance number, Boundary defensive $k$-alliances, Defensive alliances in Cartesian product graphs, Partitioning a graph into defensive $k$-alliances, and Defensive $k$-alliance free sets.

研究动机与目标

• 系统化并总结现有关于图中防御性 $k$-联盟的研究，该概念旨在建模对对外部影响具有韧性的凝聚子群。
• 分析寻找最小防御性 $k$-联盟的计算复杂性，确立判定问题的 NP-完全性。
• 探讨结构性质，如全局、边界和 $k$-联盟自由集，尤其在积图中。
• 为特定图族（如树、正则图和笛卡尔积图）的防御性 $k$-联盟数提供紧致界和精确表征。
• 统一来自不同文献的防御性联盟研究成果，包括谱界、支配关系和可实现性条件。

提出的方法

• 通过不等式 $ \delta_S(v) \geq \delta_{\overline{S}}(v) + k $ 对所有 $ v \in S $ 定义防御性 $k$-联盟，以确保内部韧性。
• 使用图论工具，如支配、邻域多样性及度约束，推导联盟数的界。
• 应用谱图论，将防御性联盟数与代数连通性、拉普拉斯谱半径及邻接谱半径联系起来。
• 通过投影和结构分解分析笛卡尔积图，特别利用定理 87 和推论 88，将积图中的集合与基图中的集合关联起来。
• 利用定理 89 和推论 90，建立积图中集合为 $k$-防御性联盟自由集的必要与充分条件。
• 推导 $ \phi_k^d(G_1 \square G_2) $ 的紧致界，包括等式 $ \phi_k^d(G_1 \square G_2) = n_1 n_2 $ 成立的情况，例如在树–环或星–路径积图中。

实验结果

研究问题

• RQ1 确定图中最小防御性 $k$-联盟的计算复杂性为何？其与 NP-完全性的关系如何？
• RQ2 全局防御性 $k$-联盟与支配集有何关系？其结构与计算性质为何？
• RQ3 笛卡尔积图中防御性 $k$-联盟自由数的最紧可能下界是什么？
• RQ4 在何种条件下 $ \phi_k^d(G_1 \square G_2) = n_1 n_2 $ 成立？此类情况如何表征？
• RQ5 积图中集合的投影与其在分量图中的防御性联盟性质有何关联？

主要发现

• 防御性 $k$-联盟问题对所有固定的 $k$ 均为 NP-完全，确认了其计算难度。
• 在超立方体 $Q_3$ 中，不存在边界防御性 $0$-联盟，表明某些图中该类联盟可能不存在。
• 在笛卡尔积图 $G_1 \square G_2$ 中，有 $ \phi_k^d(G_1 \square G_2) \geq \alpha(G_1)\alpha(G_2) + \min\{n_1 - \alpha(G_1), n_2 - \alpha(G_2)\} $，且在星–路径积图等特定情况下取等。
• 当 $G_1$ 为最大度 $\Delta_1 \geq 2$ 的树，$G_2$ 为环时，有 $ \phi_4^d(G_1 \square G_2) = n_1 n_2 $，表明界的紧致性。
• 推论 88(ii) 中的界优于早期结果，例如 $ t(r-1)+1 $ 与 $ t\lceil r/2 \rceil + 1 $ 的比较，且仅当 $ r=2 $ 或 $ r=3 $ 时取等。
• 若 $ S_1 \times V_2 $ 是 $ G_1 \square G_2 $ 中的 $k$-防御性联盟自由集，则 $ S_1 $ 是 $ G_1 $ 中的 $ (k - \delta_2) $-防御性联盟自由集，从而通过投影实现表征。