[论文解读] 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）。
• 采用基于节点的辅助变量而非基于边的变量，可实现与节点数相关的可扩展性，避免了基于边的方法中变量数量随节点数呈二次增长的问题。
• 该算法消除了更新之间的空闲时间，使得在计算速度各异的异构系统中实现更快收敛。
• 通过数学归纳法严格证明了新基于节点的更新与原始基于边的更新之间的等价性，确保了相同的收敛保证。
• 在联网市场中的古诺竞争数值仿真结果证实了该算法在异步和延迟条件下的有效性与鲁棒性。
• 由于其异步特性，该算法对通信故障具有鲁棒性，并支持新智能体的动态插入。