[논문 리뷰] On the Entity Hardening Problem in Multi-layered Interdependent Networks

Joydeep Banerjee, Arun Das외 3명|arXiv (Cornell University)|2014. 12. 20.

Complex Network Analysis Techniques참고 문헌 12인용 수 6

한 줄 요약

이 논문은 부울 논리 기반의 함의적 의존성 모델(Implicative Interdependency Model, 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-완전인 경우를 구분하는 것.
• 실세계 네트워크 데이터에서 최적해에 근접한 성능를 보이며 성능 손실가장 최소화하는 확장 가능한 히우리스틱을 개발하고 실증적으로 검증하는 것.

제안 방법

• 전력망과 통신망 간의 의존성을 함의적 의존성 모델(Implicative Interdependency Model, IIM)을 사용하여 모델링하며, 결합항과 배타항을 포함한 부울 논리 식으로 의존성을 표현한다.
• IDR의 구조에 따라 엔티티 강화 문제를 네 가지 유형으로 분류하고, 첫 번째 유형만 다항시간 내에 해결 가능하며, 나머지는 모두 NP-완전임을 증명한다.
• 보호 집합(즉, 고장나지 않게 방지할 수 있는 미터텀의 집합)이 가장 큰 엔티티를 반복적으로 선택하는 그레디 히우리스틱 알고리즘을 제안하며, 미터텀 커버리지 기반의 이중 수준의 티바이킹 전략을 사용한다.
• 비교를 위해 최적해를 계산하기 위해 정수선형계획(ILP) 수식을 구현하고, CPLEX를 사용해 ILP 인스턴스를 해결한다.
• 히우리스틱의 각 반복 단계에서 강화 결정의 영향을 반영하기 위해 IDR 집합과 생존 엔티티의 상태를 동적으로 업데이트한다.
• 두 단계 선택 과정을 적용: 첫 번째로 보호 집합이 가장 큰 엔티티를 식별하고, 두 번째로 티바이킹을 위해 미터텀 커버리지 최대화를 통해 강건성을 향상시킨다.

실험 결과

연구 질문

• RQ1 다층 상호의존 네트워크에서 다양한 종류의 의존성 구조 하에서 엔티티 강화 문제의 계산 복잡도는 어떻게 되는가?
• RQ2 네트워크 운영자가 k개의 엔티티를 어떻게 최적의 조합으로 강화하여 적대자가 확산 실패를 유도할 수 있는 능력을 최대한 감소시킬 수 있는가?
• RQ3 정확한 ILP 방법보다 계산 비용이 훨씬 낮은 근사 최적 성능를 보이는 확장 가능한 히우리스틱을 설계할 수 있는가?
• RQ4 실세계 네트워크 구조와 의존성 패tern에서 히우리스틱의 성능이 최적의 ILP 해와 어떻게 비교되는가?
• RQ5 적대자의 목표 노드 수(K)와 강화된 노드 수(k)가 상호의존 전력-통신 네트워크의 시스템 복원력에 미치는 영향은 무엇인가?

주요 결과

• 엔티티 강화 문제는 의존성 구조의 가장 단순한 경우에만 다항시간 내에 해결 가능하며, 나머진 모두 NP-완전이다.
• 두 번째 유형에 대해 다항시간 근사법이 존재하지 않음을 입증하는 비근사 가능성 결과를 도출하였으며, 이는 P=NP가 아닐 경우에만 성립한다.
• 세 번째 유형에 대해 최적해에 대한 유한한 성능 비율을 보장하는 근사 알고리즘을 제시한다.
• 제안된 히우리스틱 알고리즘이 애리조나주 마리코파 카운티의 다섯 개 실세계 지역에서 최적의 ILP 해와 평균 0.13의 편차만을 보였다.
• 히우리스틱은 k 값이 낮을 때 가장 우수한 성능를 보이며, k 값이 높아질수록 그레디 선택 전략의 영향으로 성능 저하가 약간 증가한다 (예: Region 1과 Region 3에서 k=7일 때 편차 0.5와 0.67).
• 실제 전력망 및 통신망 데이터(70개의 발전소, 470km의 송전선로, 2,690개의 셀 타워, 42,723km의 파이버 링크)를 대상으로 한 실험 평가를 통해 히우리스틱이 실용적 구현에 매우 효과적이고 확장 가능함을 확인하였다.