[論文レビュー] Existence and Complexity of Approximate Equilibria in Weighted Congestion Games

George Christodoulou, Martin Gairing+3 more|arXiv (Cornell University)|Jan 1, 2020

Game Theory and Applications被引用数 2

ひとこと要約

本稿は、次数 d の多項式コスト関数を備えた重み付きコンgestションゲームにおける近似純ナッシュ均衡（α-PNE）の存在に関する、最初の非定数下限を確立する。α < Ω(√d / ln d) の場合、α-PNE は存在しないことを示している。さらに、このような α-PNE の存在を判定することは NP 困難であることを証明し、回路ゲートの構築法を用いて回路充足可能性問題をコンGESTIONゲームに還元することで、非存在結果を計算困難性結果に変換している。

ABSTRACT

We study the existence of approximate pure Nash equilibria (α-PNE) in weighted atomic congestion games with polynomial cost functions of maximum degree d. Previously it was known that d-approximate equilibria always exist, while nonexistence was established only for small constants, namely for 1.153-PNE. We improve significantly upon this gap, proving that such games in general do not have Θ̃(√d)-approximate PNE, which provides the first super-constant lower bound. Furthermore, we provide a black-box gap-introducing method of combining such nonexistence results with a specific circuit gadget, in order to derive NP-completeness of the decision version of the problem. In particular, deploying this technique we are able to show that deciding whether a weighted congestion game has an Õ(√d)-PNE is NP-complete. Previous hardness results were known only for the special case of exact equilibria and arbitrary cost functions. The circuit gadget is of independent interest and it allows us to also prove hardness for a variety of problems related to the complexity of PNE in congestion games. For example, we demonstrate that the question of existence of α-PNE in which a certain set of players plays a specific strategy profile is NP-hard for any α < 3^(d/2), even for unweighted congestion games. Finally, we study the existence of approximate equilibria in weighted congestion games with general (nondecreasing) costs, as a function of the number of players n. We show that n-PNE always exist, matched by an almost tight nonexistence bound of Θ̃(n) which we can again transform into an NP-completeness proof for the decision problem.

研究の動機と目的

• 重み付きコンGESTIONゲームにおける多項式コスト関数の近似均衡の既知の上界と下界の間のギャップを埋めること。
• α-Pure Nash Equilibria (α-PNE) が存在しない可能性がある近似要因 α に対する最初の非定数下限を確立すること。
• 重み付きコンGESTIONゲームにおける α-PNE の存在を判定する問題が、多項式コスト関数に対しても NP 完全であることを示すこと。
• 非存在結果を計算困難性結果に変換するブラックボックス手法を構築すること。
• 特定の戦略プロファイルが特定のプレイヤーによってプレーされなければならない設定への硬度結果を拡張すること。

提案手法

• 次数 d の多項式コスト関数と非負の係数を備えた重み付きコンGESTIONゲームの新規族を構築し、α < Ω(√d / ln d) の場合に α-PNE が存在しないことを示す。
• 黄金比 Φ を用いた再帰的構築法により、コンGESTIONゲームの文脈で NAND 演算の意味論を強制するコスト関数を定義する。
• Skopalik と Vöcking が提案したものにインspiredされた回路ゲートを設計し、ブール充足可能性問題をコンGESTIONゲーム均衡に符号化することで、回路充足可能性問題から α-PNE 決定問題への還元を可能にする。
• 任意の α-PNE において、出力プレイヤーがゼロ戦略をプレーする必要があるのは、元の回路が充足可能である場合に限ることを証明し、ゲーム均衡の存在と回路充足可能性を結びつける。
• 無理数のコスト関数パラメータ（例：Φn−1）を有理数で近似することで、形式的正しさを保ちつつ α-優位性の性質を維持する。
• ゲート構築法を適用し、α = ˜O(√d) の場合の α-PNE 決定問題が NP 完全であることを示し、制約付き戦略プロファイルへの結果の拡張も行う。

実験結果

リサーチクエスチョン

• RQ1 次数 d の多項式コスト関数を備えた重み付きコンGESTIONゲームにおける α-Pure Nash Equilibria (α-PNE) が保証的に存在するための最良の近似要因 α は何か？
• RQ2 非定数 α に対して α-PNE の非存在性を確立できるか？ もし可能であれば、そのタイトな境界は何か？
• RQ3 重み付きコンGESTIONゲームにおける α-PNE の存在を判定する問題は、非定数 α に対しても NP 完全か？
• RQ4 非存在結果を α-PNE の計算困難性結果に変換する汎用的手法を開発できるか？
• RQ5 α-PNE が保証的に存在する場合の計算複雑性は何か？ また、α に応じてどのように変化するか？

主な発見

• 本稿は、次数 d の多項式コスト関数を備えた重み付きコンGESTIONゲームにおける α-Pure Nash Equilibria (α-PNE) の非存在に関する、最初の非定数下限を確立し、α < Ω(√d / ln d) の場合に α-PNE が存在しないことを示している。
• α = ˜O(√d) の場合、次数 d の多項式コスト関数を備えた重み付きコンGESTIONゲームが α-PNE を持つかどうかを判定する問題が NP 完全であることを証明しており、これは従来の結果（正確な均衡に限られる）を顕著に拡張している。
• 著者らは、回路充足可能性問題を α-PNE 決定問題に還元する回路ゲートを構築し、非存在結果を NP 完全性結果に変換する手段を提供している。
• 一般の非減少コスト関数に対しては、n-Pure Nash Equilibria (n-PNE) は常に存在するが、α < Φn−1 = Θ(n / ln n) の場合、α-PNE は存在しないこと、かつその存在を判定することは NP 完全であることを示している。
• 本稿は、与えられたプレイヤー集合に対して所望の戦略プロファイルがプレーされるとする条件下でも、任意の α < 3d/2 に対して α-PNE の存在が NP 困難であることを示している。これは、重みなしコンGESTIONゲームに対しても成立する。
• 無理数のコスト関数パラメータ（例：Φn−1）を有理数で近似することで、形式的正しさを保証し、α-優位性の性質を維持することで、NP 完全性証明の正当性を裏付けている。