[論文レビュー] The Mysteries of Security Games: Equilibrium Computation Becomes Combinatorial Algorithm Design

Haifeng Xu|arXiv (Cornell University)|Mar 8, 2016

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困難であることが示されるなど、先行の複雑性結果が強化された。