[論文レビュー] Nash-equilibria and N-fold integer programming

Raymond Hemmecke, Shmuel Onn+1 more|ArXiv.org|Mar 26, 2009

Game Theory and Applications参考文献 9被引用数 4

ひとこと要約

本稿は、結合制約を伴う整数計画ゲームにおける一般化ナッシュ均衡の存在を確立し、N重整数計画法の最適解と関連付ける。プレイヤーのタイプが定数である場合、グラーバー基底技術を用いて均衡計算およびその逆問題が多項式時間で解けることを証明する。

ABSTRACT

Inspired by a paper of R. W. Rosenthal, we investigate generalized Nash-equilibria of integer programming games. We show that generalized Nash-equilibria always exist and are related to an optimal solution of a so-called N-fold integer program. This link allows us to establish some polynomial time complexity results about solving this optimization problem and its inverse counter-part.

研究の動機と目的

• 結合制約を伴う整数計画ゲームにおける一般化ナッシュ均衡の存在を確立すること。
• 一般化ナッシュ均衡をN重整数計画法の最適解と関連付けること。
• プレイヤーのタイプが定数である場合の均衡計算問題の多項式時間での解法を証明すること。
• 凸構造を持つコスト関数に対する逆最適化問題への拡張をすること。
• N重整数計画法における構造的行列のグラーバー基底を用いた複雑度の分析を行うこと。

提案手法

• プレイヤー固有の制約と共有リソースコストを用いて、結合制約を伴う整数計画ゲームをモデル化する。
• 一般化ナッシュ均衡を、他のプレイヤーの戦略と結合制約を前提に、各プレイヤーがコストを最小化する戦略の組み合わせとして定義する。
• 均衡計算問題を、N重整数計画法における単調増加関数の和の最小化問題に還元する。
• N重構造行列のグラーバー基底を用いて解の複雑度を制限し、多項式時間での解法を保証する。
• 凸コスト関数に対してオракルベースの計算を適用し、効率的な逆最適化を可能にする。
• 固定ブロックN重行列のグラーバー基底のサイズが、プレイヤー数Nに関して多項式的に増加することを活用する。

実験結果

リサーチクエスチョン

• RQ1 結合制約と単調増加コスト関数を伴う整数計画ゲームにおける一般化ナッシュ均衡は、常に存在するか？
• RQ2 一般化ナッシュ均衡の計算問題は、N重整数計画法の解法に還元可能か？
• RQ3 プレイヤーのタイプが定数個である場合、均衡計算問題は多項式時間で解けるか？
• RQ4 与えられた均衡と整合するコスト関数を効率的に特定できるか（逆問題）？
• RQ5 コスト値が有界でプレイヤーのタイプ行列が固定されている場合、プレイヤー数の増加に伴う問題の複雑度はどのように変化するか？

主な発見

• 結合制約と単調増加コスト関数を伴う本稿で扱ったクラスの整数計画ゲームにおいて、一般化ナッシュ均衡は常に存在する。
• プレイヤーのタイプが定数個である場合、一般化ナッシュ均衡の計算問題は多項式時間で解ける。
• 基礎となるN重整数計画法行列のグラーバー基底のサイズおよび符号化長さは、プレイヤー数Nに関して多項式的に増加する。
• コスト関数が凸であり、オラクルを介して与えられる場合、与えられた均衡と整合するコスト関数を効率的に特定できる逆整数最適化問題は多項式時間で解ける。
• コスト値が有界でプレイヤーのタイプ行列が固定されている条件下でも、グラーバー基底技術を用いた効率的計算が保証される。
• N重整数計画法への還元により、構造的行列解析とオラクルベース計算を用いて効率的な解法が可能になる。