[論文レビュー] Computations and Complexities of Tarski's Fixed Points and Supermodular Games

Chuangyin Dang, Qi Qi+1 more|arXiv (Cornell University)|May 20, 2020

Game Theory and Applications参考文献 21被引用数 5

ひとこと要約

本稿では、完全なラティス上のオракル関数モデルおよび多項式関数モデルにおいて、Tarskiの不動点を計算する最初の多項式時間アルゴリズムを提示する。多項式モデルでは不動点の一意性を確認することがCo-NP困難であることが示され、オラクルモデルでは一致するオラクルバウンドが得られ、超モジュラーゲームやナッシュ均衡の計算への応用を含む。

ABSTRACT

We consider two models of computation for Tarski's order preserving function f related to fixed points in a complete lattice: the oracle function model and the polynomial function model. In both models, we find the first polynomial time algorithm for finding a Tarski's fixed point. In addition, we provide a matching oracle bound for determining the uniqueness in the oracle function model and prove it is Co-NP hard in the polynomial function model. The existence of the pure Nash equilibrium in supermodular games is proved by Tarski's fixed point theorem. Exploring the difference between supermodular games and Tarski's fixed point, we also develop the computational results for finding one pure Nash equilibrium and determining the uniqueness of the equilibrium in supermodular games.

研究の動機と目的

• オラクル関数モデルと多項式関数モデルの両方において、完全なラティス上でのTarskiの不動点を効率的に計算する手法の開発。
• 両モデルにおける不動点の一意性を検証する計算複雑性の特定。
• 特に純粋ナッシュ均衡の計算と一意性に注目して、これらの結果を超モジュラーゲームに拡張すること。
• 戦略的補完性の文脈において、不動点および均衡問題の複雑性バウンドを確立すること。
• 多項式関数モデルにおける変数次元の不動点計算の複雑性クラスについての未解決問題を解消すること。

提案手法

• オラクル関数モデル（f(x) が1ステップで返される）と多項式関数モデル（f(x) が log|L| に関して多項式時間で計算される）という2つの計算モデルにおけるTarskiの不動点問題の形式化。
• 順序を保つ性質とラティス構造を活用して、オラクルモデルにおいて不動点を多項式時間で計算する新しいアルゴリズムの提案。
• 3-SAT問題からの還元を用いて、多項式関数モデルにおける一意性検証のCo-NP困難性を証明。
• 最良応答関数を順序を保つ写像としてモデル化することで、超モジュラーゲームへの不動点フレームワークの適用。
• 超モジュラーゲームにおいて、Tarskiの定理により純粋ナッシュ均衡が存在することが保証され、オラクルモデルでは効率的に計算可能であることを示した。
• 3-SAT還元を通じて、多項式関数モデルにおいて与えられた均衡が一意かどうかを判定することはCo-NP困難であることを確立した。

実験結果

リサーチクエスチョン

• RQ1 オラクル関数モデルにおいて、Tarskiの不動点を多項式時間で計算できるか？
• RQ2 多項式関数モデルにおいて、Tarskiの不動点の一意性を検証する計算複雑性は何か？
• RQ3 超モジュラーゲームにおける純粋ナッシュ均衡を求める問題は、計算的に扱いやすいか？
• RQ4 超モジュラーゲームにおける純粋ナッシュ均衡の一意性を判定する問題の複雑性は何か？
• RQ5 多項式関数モデルにおいて、変数次元のTarskiの不動点問題はPPAD完全か？

主な発見

• 本稿では、オラクル関数モデルにおけるTarskiの不動点を計算する最初の多項式時間アルゴリズムを提示し、次元dに対して時間計算量O(log^d |L|)を達成した。
• オラクルモデルにおける一致する下界Ω(log^d |L|)が確立され、一般のdに対してΘ(log^d |L|)のタイトなバウンドであることが示唆された。
• 多項式関数モデルにおいて、Tarskiの不動点の一意性を確認することは、3-SAT問題からの還元を用いてCo-NP困難であることが証明された。
• 超モジュラーゲームにおいて、Tarskiの不動点定理により純粋ナッシュ均衡の存在が保証され、オラクルモデルではその計算に多項式時間アルゴリズムが開発された。
• 与えられた超モジュラーゲームにおける純粋ナッシュ均衡の一意性を判定する問題は、3-SAT還元を通じてCo-NP困難であることが示された。
• 本稿では、多項式関数モデルにおける変数次元のTarskiの不動点問題がPPAD完全であると予想しており、Spernerの補題の既知の結果と類似している。