[论文解读] On the Entity Hardening Problem in Multi-layered Interdependent Networks

Joydeep Banerjee, Arun Das+3 more|arXiv (Cornell University)|Dec 20, 2014

Complex Network Analysis Techniques参考文献 12被引用 6

一句话总结

本文使用基于布尔逻辑的蕴含依赖模型（IIM）研究多层相互依赖的电力与通信网络中的实体加固问题。提出一种启发式算法，在预算约束下选择k个实体进行加固，实测马里科帕县真实数据集上表现接近最优，该方法与最优ILP解的平均偏差仅为0.13。

ABSTRACT

The power grid and the communication network are highly interdependent on each other for their well being. In recent times the research community has shown significant interest in modeling such interdependent networks and studying the impact of failures on these networks. Although a number of models have been proposed, many of them are simplistic in nature and fail to capture the complex interdependencies that exist between the entities of these networks. To overcome the limitations, recently an Implicative Interdependency Model that utilizes Boolean Logic, was proposed and a number of problems were studied. In this paper we study the entity hardening problem, where by entity hardening we imply the ability of the network operator to ensure that an adversary (be it Nature or human) cannot take a network entity from operative to inoperative state. Given that the network operator with a limited budget can only harden k entities, the goal of the entity hardening problem is to identify the set of k entities whose hardening will ensure maximum benefit for the operator, i.e. maximally reduce the ability of the adversary to degrade the network. We show that the problem is solvable in polynomial time for some cases, whereas for others it is NP-complete. We provide the optimal solution using ILP, and propose a heuristic approach to solve the problem. We evaluate the efficacy of our heuristic using power and communication network data of Maricopa County, Arizona. The experiments show that our heuristic almost always produces near optimal results.

研究动机与目标

• 解决因敌对攻击或自然灾害导致级联失效时，保护关键相互依赖基础设施网络的挑战。
• 使用基于布尔逻辑的蕴含依赖关系（IDR）对电力与通信网络之间的复杂依赖关系进行建模，克服简单图模型的局限性。
• 在有限预算下，识别出应加固的k个网络实体（即使其对故障免疫），以最大化抵御针对最多K个脆弱节点的敌对攻击的韧性。
• 评估不同相互依赖结构下实体加固问题的计算复杂度，区分多项式时间可解与NP完全问题。
• 设计并实证验证一种可扩展的启发式方法，以极小的性能损失近似最优解，在真实网络数据上表现良好。

提出的方法

• 使用蕴含依赖模型（IIM）对电力与通信网络之间的依赖关系进行建模，将依赖关系表示为包含合取与析取项的布尔逻辑表达式。
• 根据IDR结构将实体加固问题分为四类情况，证明仅第一类可在多项式时间内求解，其余均为NP完全问题。
• 提出一种贪心启发式算法，通过迭代选择能防止最多最小项失败的实体（即保护集最大），并采用基于最小项覆盖的双层冲突解决策略。
• 实现整数线性规划（ILP）公式以计算最优解用于对比，使用CPLEX求解ILP实例。
• 在启发式算法的每次迭代中，动态更新IDR集合及幸存实体的状态，以反映加固决策的影响。
• 采用两阶段选择过程：首先识别保护集最大的实体；其次通过最大化最小项覆盖来解决冲突，以提升鲁棒性。

实验结果

研究问题

• RQ1 在多层相互依赖网络中，不同类型的相互依赖结构下，实体加固问题的计算复杂度如何？
• RQ2 网络运营商应如何最优地选择k个实体进行加固，以最大程度减少敌对者触发级联失效的能力？
• RQ3 能否设计一种可扩展的启发式方法，实现接近最优的性能，同时显著降低精确ILP方法的计算成本？
• RQ4 该启发式方法在不同真实网络拓扑结构和相互依赖模式下，与最优ILP解的性能相比如何？
• RQ5 敌对者目标集合大小（K）和加固节点数量（k）对相互依赖电力-通信网络系统韧性的影响是什么？

主要发现

• 仅当相互依赖结构最简单时，实体加固问题才可在多项式时间内求解；其余情况均为NP完全问题。
• 针对第二类情况建立了不可近似性结果，表明除非P=NP，否则不存在多项式时间近似方案。
• 为第三类情况提供了近似算法，确保其性能比相对于最优解有界。
• 所提出的启发式算法在亚利桑那州马里科帕县五个真实区域的数据上，与最优ILP解的平均偏差仅为0.13。
• 当k值较小时，启发式方法表现最佳；随着k值增大，性能略有下降（例如，在区域1和区域3中k=7时，偏差分别为0.5和0.67），原因在于贪心选择策略的局限性。
• 基于真实电力与通信网络数据（70座发电厂、470条输电线路、2,690个基站、42,723根光纤链路）的实验评估表明，该启发式方法在实际部署中具有高度有效性与可扩展性。