[論文レビュー] An asynchronous, forward-backward, distributed generalized Nash equilibrium seeking algorithm

Carlo Cenedese, Giuseppe Belgioioso+2 more|arXiv (Cornell University)|Jan 14, 2019

Game Theory and Applications参考文献 17被引用数 7

ひとこと要約

本稿では、非協力的ゲームのための非同期的で分散型の一般化ナッシュ均衡（GNE）探索アルゴリズムを提案する。非効率なエッジベースの補助変数の代わりにノードベースの補助変数を用いることで、スケーラビリティを向上させる。この手法はプリコンディショニング付き前向き・バックワード分割フレームワークを活用し、通信遅延を伴う非同期更新においても収束を保証する。ネットワーク市場におけるコーヌー競争のシミュレーションにより有効性が検証される。

ABSTRACT

In this paper, we propose an asynchronous distributed algorithm for the computation of generalized Nash equilibria in noncooperative games, where the players interact via an undirected communication graph. Specifically, we extend the paper "Asynchronous distributed algorithm for seeking generalized Nash equilibria" by Yi and Pavel: we redesign the asynchronous update rule using auxiliary variables over the nodes rather than over the edges. This key modification renders the algorithm scalable for highly interconnected games. The derived asynchronous algorithm is robust against delays in the communication and it eliminates the idle times between computations, hence modeling a more realistic interaction between players with different update frequencies. We address the problem from an operator-theoretic perspective and design the algorithm via a preconditioned forward-backward splitting. Finally, we numerically simulate the algorithm for the Cournot competition in networked markets.

研究の動機と目的

• 大規模で異種のマルチエージェントシステムにおいて同期的アルゴリズムの非効率性を解消し、非同期更新を可能にする。
• 高い相互接続性を持つゲームにおいて、エッジからノードへの補助変数の再設計によりスケーラビリティを向上させる。
• 分散環境における通信遅延と変数の更新頻度のばらつきがあっても収束を保証する。
• アイドルタイムを低減し、故障に強く、現実的なプレイヤー間の相互作用をモデル化する。
• 不等式結合制約を組み込み、非同期動作を可能にした、従来の変動的GNE探索の研究を拡張する。

提案手法

• 演算子理論的ツールを用いて導出され、特に単調演算子方程式に対するプリコンディショニング付き前向き・バックワード分割が用いられる。
• エッジベースの補助変数に代えてノードベースの補助変数を導入することで、スケーラビリティの向上と実装の簡素化が図られる。
• 非同期更新は、更新ルールにおける遅延情報としてモデル化され、有界な遅延のもとで収束が証明される。
• 局所的制約と隣接エージェントの情報に基づく局所的更新を用いたデュアル分解アプローチが採用される。
• 非拡大作用素を用いた固定点反復に再定式化されることで、単調演算子理論による収束解析が可能になる。
• 主な技術的貢献は、非同期状態においても新しいノードベース更新と元のエッジベース更新が等価であることを示し、収束保証が保たれることの証明である。

実験結果

リサーチクエスチョン

• RQ1 通信遅延が存在する中で、非同期に動作する分散型GNE探索アルゴリズムを設計でき、収束を保証できるか？
• RQ2 高い接続性を持つゲームにおいて、ノードベースの補助変数を用いることで、エッジベースの定式化に比べてスケーラビリティがどのように向上するか？
• RQ3 非同期更新が、分散型非協力的ゲームにおける収束速度と頑健性に与える影響は何か？
• RQ4 不等式結合制約を扱えるか、同時に分散構造と収束性を維持できるか？
• RQ5 遅延情報が存在するにもかかわらず、非同期アルゴリズムが同期版と同等の挙動を示すか？

主な発見

• 提案された非同期アルゴリズムは、有界な通信遅延と任意の更新順序のもとで、変動的一般化ナッシュ均衡（v-GNE）への収束を達成する。
• エッジベースの変数からノードベースの補助変数に置き換えることで、ノード数に比例したスケーラビリティが確保され、エッジベース手法で見られる変数数の2次的増加を回避する。
• 更新間のアイドルタイムが排除され、計算速度が異なるエージェントが存在する非均質なシステムでも、より速い収束が可能になる。
• 帰納法を用いた厳密な証明により、新しいノードベース更新と元のエッジベース更新の等価性が示され、同一の収束保証が保証される。
• ネットワーク市場におけるコーヌー競争の数値シミュレーションにより、非同期性と遅延下でもアルゴリズムの有効性と頑健性が確認される。
• 非同期性のおかげで通信障害に強く、新規エージェントの動的挿入も可能である。