[논문 리뷰] The Mysteries of Security Games: Equilibrium Computation Becomes Combinatorial Algorithm Design

Haifeng Xu|arXiv (Cornell University)|2016. 03. 08.

Infrastructure Resilience and Vulnerability Analysis참고 문헌 29인용 수 11

한 줄 요약

이 논문은 보안 게임의 균형 계산—최소최대, 강력 스택엘베르그, 내쉬 균형을 포함—이 집합 체계 𝒟 위에서 방어자 최적 반응(DBR) 최적화와 다항식 시간 내에 동치임을 보여줌으로써 보안 게임에 대한 통합 이론적 프레임워크를 수립한다. 주요 기여는 보안 게임 내 주요 균형 개념의 계산 복잡도가 방어자의 순순전략 집합의 조합 구조에 의해 본질적으로 결정됨을 증명함으로써, 복잡한 게임 이론 문제를 표준 조합 최적화 작업으로 환원한다는 것이다.

ABSTRACT

The security game is a basic model for resource allocation in adversarial environments. Here there are two players, a defender and an attacker. The defender wants to allocate her limited resources to defend critical targets and the attacker seeks his most favorable target to attack. In the past decade, there has been a surge of research interest in analyzing and solving security games that are motivated by applications from various domains. This paper examines security games from a theoretical perspective and provides a unified view of various security game models. In particular, each security game can be characterized by a set system $E$ which consists of the defender's pure strategies, The defender's best response problem can be viewed as a combinatorial optimization problem over $E$. Our framework captures most of the basic security game models in the literature, including all the deployed systems, The set system $E$ arising from various domains encodes standard combinatorial problems like bipartite matching, maximum coverage, min-cost flow, packing problems, etc. Our main result shows that equilibrium computation in security games is essentially a combinatorial problem. In particular, we prove that, for any set system $E$, the following problems can be reduced to each other in polynomial time: (0) combinatorial optimization over $E$, (1) computing the minimax equilibrium for zero-sum security games over $E$, (2) computing the strong Stackelberg equilibrium for security games over $E$, (3) computing the best or worst (for the defender) Nash equilibrium for security games over $E$. Here, by "games over $E$" we mean the class of security games with arbitrary payoff structures, but a fixed set $E$ of defender pure strategies. This shows that the complexity of a security game is essentially determined by the set system $E$.

연구 동기 및 목표

• 다양한 모델 간의 공통 구조적 기초를 규명함으로써 보안 게임의 이론적 분석을 통합하기 위해.
• 보안 게임 내 핵심 균형 개념—최소최대, 강력 스택엘베르그, 내쉬 균형—의 계산 복잡도를 명확히 하기 위해.
• 균형 계산이 고정된 집합 체계 𝒟 위에서 방어자 최적 반응(DBR) 최적화로 환원됨을 보여주기 위해.
• 모든 구현된 보안 게임 시스템과 표준 조합 최적화 문제를 포괄하는 일반적 프레임워크를 제공하기 위해.
• 기존 문헌에서 열려 있던 복잡도 문제를 알려진 조합 최적화의 난이도 결과와 연결함으로써 해결하기 위해.

제안 방법

• 보안 게임을 다각도 𝒫 내의 방어자 전략과 단형 Δₙ 내의 공격자 전략을 가진 이차형 게임으로 정식화한다.
• 방어자 순순전략을 다각도 𝒫의 꼭짓점으로 특성화하여, 게임의 구조를 정의하는 집합 체계 𝒟를 구성한다.
• 𝒟 위에서의 DBR이 최대 커버리지, 최소비용 유량, 이분 매칭과 같은 조합 최적화 문제와 동치임을 증명한다.
• 고정된 𝒟에 대해 DBR, 최소최대 균형, 강력 스택엘베르그 균형, 최적/최악 내쉬 균형 간의 다항식 시간 환원을 수립한다.
• 기존의 조합 문제의 복잡도 결과(예: 3커버의 NP-난이도, 2커버의 다항식 해법 가능성)를 활용하여 균형 계산의 복잡도를 유추한다.
• 이 프레임워크를 적용하여 기존 복잡도 결과를 복구하고 강화하며, 영역-시간 보안 게임과 공항 승객 점검 게임에서의 열린 질문을 해결한다.

실험 결과

연구 질문

• RQ1 보안 게임에서 균형 계산의 계산 복잡도는 단일 기초 문제로 환원될 수 있는가?
• RQ2 보안 게임에서 방어자 최적 반응(DBR) 계산의 복잡도는 최소최대, 강력 스택엘베르그, 내쉬 균형 계산과 동치인가?
• RQ3 보안 게임의 복잡도는 방어자 순순전략 집합 𝒟의 구조에 얼마나 의존하는가?
• RQ4 기존의 조합 최적화에서 알려진 난이도 결과를 활용하여 보안 게임에서 균형 계산의 복잡도를 유추할 수 있는가?
• RQ5 균형 계산과 조합 최적화 간의 동치성을 유지하는 프레임워크의 일반화가 가능한가?

주요 결과

• 모든 주요 균형 개념의 계산 복잡도는 고정된 집합 체계 𝒟에 대해 다항식 시간 내에 상호 동치이다.
• 보안 게임의 균형 계산은 방어자 순순전략 집합 𝒟 위에서의 조합 최적화로 환원된다.
• 3커버에 대한 DBR의 NP-난이도는 해당 보안 게임에서 최소최대 균형 계산의 NP-난이도를 암시한다.
• 2커버의 다항식 해법 가능성은 해당 보안 게임에서 최소최대 균형 계산의 다항식 해법 가능성을 암시한다.
• 이 프레임워크는 영역-시간 보안 게임에서의 열린 질문을 해결하여 최소최대 균형 계산이 NP-난이도임을 증명한다.
• 기존 복잡도 결과를 강화하며, 예를 들어 독립 집합의 NP-난이도에 기반하여 공항 승객 점검 게임에서 최소최대 균형 계산이 NP-난이도임을 보여준다.