[论文解读] On approximate pure Nash equilibria in weighted congestion games with polynomial latencies

Angelo Fanelli, Ioannis Caragiannis|arXiv (Cornell University)|Feb 19, 2019

Game Theory and Applications参考文献 25被引用 6

一句话总结

本文证明了在多项式延迟函数度数为 d 的加权汇聚博弈中，存在 (d+δ)-近似纯纳什均衡，且此类均衡可通过改进移动序列达到，其社会成本至多为最优成本的 (d+1)/(d+δ) 倍。本文引入了一类新型的 d-近似潜在函数，并利用广义潜在函数框架证明了近似稳定价格的紧致界。

ABSTRACT

We study natural improvement dynamics in weighted congestion games with polynomial latencies of maximum degree $d\\geq 1$. We focus on two problems regarding the existence and efficiency of approximate pure Nash equilibria, with a reasonable small approximation factor, in these games. By exploiting a simple technique, we firstly show that such a game always admits a $d$-approximate potential function. This implies that every sequence of $d$-approximate improvement moves by the players leads to a $d$-approximate pure Nash equilibrium. As a corollary, we also obtain that, under mild assumptions on the structure of the players' strategies, the game always admits a constant approximate potential function. Secondly, using a simple potential function argument, we are able to show that a $(d+\\delta)$-approximate pure Nash equilibrium of cost at most $(d+1)/(d+\\delta)$ times the cost of an optimal state always exists, for $\\delta\\in [0,1]$.

研究动机与目标

• 研究具有多项式延迟函数的加权汇聚博弈中近似纯纳什均衡的存在性与效率。
• 证明此类均衡可通过改进移动序列达到。
• 推导出具有 d 次多项式延迟函数的游戏的近似稳定价格的紧致界。
• 引入并分析此类博弈的一类新型近似潜在函数。

提出的方法

• 基于涉及资源特定系数和次数的广义潜在构造，引入了一类基于 d-近似潜在函数的家族。
• 使用一种新颖的潜在函数论证方法，证明了 (d+δ)-近似纯纳什均衡存在，且其成本至多为最优成本的 (d+1)/(d+δ) 倍。
• 应用基于凸性的不等式，通过多项式延迟函数的结构来界定社会成本与潜在函数之间的比值。
• 采用一种将玩家策略映射到资源拥塞程度的技术，并利用每条资源上的总权重来定义潜在函数。
• 证明在 τ-拥塞博弈中，潜在函数作为 exp(1/τ)-近似潜在函数，将拥塞水平与收敛保证联系起来。
• 使用函数 Φγ(s) = ∑ₑ aₑ Ψγₑₑ(Lₑ(s))，其中 γₑ = min{ke+1, d+δ}，来界定社会成本 C(s) 相对于潜在函数的上界，从而得出关键不等式 C(s) ≤ (d+1)/(d+δ) Φγ(s)。

实验结果

研究问题

• RQ1 具有 d 次多项式延迟函数的加权汇聚博弈是否允许通过改进序列达到 (d+δ)-近似纯纳什均衡？
• RQ2 能否对 (d+δ)-近似稳定价格进行有界，若能，其最紧的上界是什么？
• RQ3 能否构造出近似潜在函数，以确保此类博弈中近似均衡的收敛？
• RQ4 对于 δ ∈ [0,1]，近似稳定价格的 (d+1)/(d+δ) 界是否紧致？

主要发现

• 该博弈存在无限多个 d-近似潜在函数，确保 d-近似纯纳什均衡存在，并可通过任意 d-近似改进移动序列达到。
• 对于每个 δ ∈ [0,1]，存在一个 (d+δ)-近似纯纳什均衡，其社会成本至多为最优状态成本的 (d+1)/(d+δ) 倍。
• 近似稳定价格的 (d+1)/(d+δ) 界是紧致的，且在无更强假设下无法进一步改进。
• 在 τ-拥塞博弈中，状态函数 Φγ 是一个 exp(1/τ)-近似潜在函数，意味着在高拥塞条件下收敛速度较快。
• 在对玩家策略施加温和结构假设下，可推导出常数近似潜在函数的存在性。
• 所提出的潜在函数框架可替代先前分析中的 Faulhaber 潜在函数，可能简化或改进收敛时间界。