[論文レビュー] From Duels to Battefields: Computing Equilibria of Blotto and Other Games

AmirMahdi Ahmadinejad, Sina Dehghani+4 more|arXiv (Cornell University)|Mar 1, 2016

Game Theory and Applications参考文献 45被引用数 12

ひとこと要約

本稿では、戦略空間が指数的に大きなゼロサムゲーム、たとえばコロネル・ブロットやジェネラル・ロットウゲームにおけるナッシュ均衡を求める一般化された計算枠組みを提示する。著者らは、双線形ゲームの戦略ポリトープ上での分離オракル問題への均衡計算の還元により、これまでに計算不能とされてきたいくつかのゲーム、特に従来の手法が失敗する新しいマッチング・デュエルゲームに対し、初めての多項式時間アルゴリズムを達成した。

ABSTRACT

We study the problem of computing Nash equilibria of zero-sum games. Many natural zero-sum games have exponentially many strategies, but highly structured payoffs. For example, in the well-studied Colonel Blotto game (introduced by Borel in 1921), players must divide a pool of troops among a set of battlefields with the goal of winning (i.e., having more troops in) a majority. The Colonel Blotto game is commonly used for analyzing a wide range of applications from the U.S presidential election, to innovative technology competitions, to advertisement, to sports. However, because of the size of the strategy space, standard methods for computing equilibria of zero-sum games fail to be computationally feasible. Indeed, despite its importance, only a few solutions for special variants of the problem are known. In this paper we show how to compute equilibria of Colonel Blotto games. Moreover, our approach takes the form of a general reduction: to find a Nash equilibrium of a zero-sum game, it suffices to design a separation oracle for the strategy polytope of any bilinear game that is payoff-equivalent. We then apply this technique to obtain the first polytime algorithms for a variety of games. In addition to Colonel Blotto, we also show how to compute equilibria in an infinite-strategy variant called the General Lotto game; this involves showing how to prune the strategy space to a finite subset before applying our reduction. We also consider the class of dueling games, first introduced by Immorlica et al. (2011). We show that our approach provably extends the class of dueling games for which equilibria can be computed: we introduce a new dueling game, the matching duel, on which prior methods fail to be computationally feasible but upon which our reduction can be applied.

研究の動機と目的

• 戦略空間が指数的に大きなゼロサムゲーム（例：コロネル・ブロット）におけるナッシュ均衡の計算不能性に対処すること。
• 均衡計算を双線形ゲームの戦略ポリトープ上での分離オラクル問題に還元する一般化された手法を開発すること。
• 特に戦略空間が複雑または無限大であるゲームに対し、均衡を効率的に計算できるゲームクラスを拡張すること。
• 従来の手法が失敗するジェネラル・ロットウゲームおよび新しいマッチング・デュエルゲームに対し、初めての多項式時間アルゴリズムを提供すること。

提案手法

• 著者らは一般還元を導入：ゼロサムゲームにおけるナッシュ均衡の計算は、報酬に等価な双線形ゲームの戦略ポリトープに対する分離オラクルの設計に還元される。
• 彼らは、誤差許容度 ϵ を持つ近似分離オラクルを用いて線形計画法（LP）の近似を解くためにシンプレックス法を応用する。
• ジェネラル・ロットウゲームに対しては、まず無限大の戦略空間を有限で計算可能な部分集合に削減した後、還元を適用する。
• この手法は、分離オラクルが時間 f(ϵ,n) で解けるならば、ϵ-近似均衡が O(poly(n)·f(ϵ/β,n)) 時間で計算可能であるという事実に依存する。ここで β は報酬の絶対値の合計である。
• 彼らは、LP の ϵ-解が、ミニマックス報酬から最大 ϵ の差異を持つ戦略を生成することを証明し、近似均衡の品質を保証する。
• このアプローチはコロネル・ブロットゲーム、ジェネラル・ロットウゲーム、および新しいマッチング・デュエルゲームに適用され、広範な適用可能性が示された。

実験結果

リサーチクエスチョン

• RQ1 戦略空間が指数的に大きなゼロサムゲーム（例：コロネル・ブロット）において、一般的かつ効率的な方法でナッシュ均衡を計算できるか？
• RQ2 均衡計算を双線形ゲームの戦略ポリトープ上での分離オラクル問題に還元する還元法は存在するか？
• RQ3 この枠組みは、無限大戦略を持つゲーム（例：ジェネラル・ロットウゲーム）に適用可能か？ もし可能であれば、戦略空間をどのように効果的に削減できるか？
• RQ4 従来のアルゴリズムが失敗する新しいクラスのデュエルゲーム（例：マッチング・デュエル）に、この手法は拡張可能か？
• RQ5 このアプローチを用いて ϵ-近似均衡を達成するための計算複雑度は何か？

主な発見

• 本稿は、戦略空間の指数的サイズに起因する計算困難性を克服し、コロネル・ブロットゲームにおける均衡計算のための最初の多項式時間アルゴリズムを提示した。
• ジェネラル・ロットウゲームに対しては、まず無限大の戦略空間を有限な部分集合に削減した後、分離オラクルフレームワークを適用することで、初めての多項式時間アルゴリズムを達成した。
• この手法は、従来の計算技術では不可能であった新しいデュエルゲーム「マッチング・デュエル」の均衡を効果的に計算できた。
• この枠組みは、LP の ϵ-近似解がミニマックス報酬から最大 ϵ の差異を持つ戦略を生成することを保証しており、近似均衡の品質を確保する。
• アルゴリズムの実行時間は O(poly(n)·f(ϵ/β,n)) であり、f が ϵ-分離オラクルの解法時間であるため、オラクルが効率的であれば多項式時間保証が得られる。
• このアプローチは特定のゲームを超えて一般化され、構造的報酬を持つ広範なゼロサムゲームクラスにおける均衡計算の統一的手段を提供する。