[论文解读] 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

一句话总结

该论文首次建立了加权非对称拥堵博弈中近似纯纳什均衡（α-PNE）存在的超常数下界，表明当 α < Ω(√d / ln d) 时，α-PNE 不存在。此外，论文证明了判断此类 α-PNE 是否存在的问题是 NP-完全的，通过一种新颖的电路部件构造方法，将拥堵博弈中的可满足性问题从电路可满足性问题归约而来，从而将非存在性结果转化为计算困难性结果。

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.

研究动机与目标

• 填补加权拥堵博弈中多项式成本函数下近似均衡存在性已知上下界之间的差距。
• 建立首个关于近似因子 α 的超常数下界，使得 α-纯纳什均衡（α-PNE）可能不存在。
• 证明在加权拥堵博弈中判断 α-PNE 是否存在的问题是 NP-完全的，即使对于多项式成本函数也是如此。
• 开发一种黑箱方法，通过电路部件构造将非存在性结果转化为 α-PNE 的计算困难性结果。
• 将困难性结果扩展到特定策略配置必须由特定玩家执行的场景。

提出的方法

• 构造一类新型加权拥堵博弈，其多项式成本函数的次数为 d 且系数非负，以证明当 α < Ω(√d / ln d) 时，α-PNE 不存在。
• 基于黄金分割比 Φ 的递归构造方法，定义成本函数，使其在拥堵博弈设置中强制实现 NAND 逻辑语义。
• 设计一种受 Skopalik 和 Vöcking 启发的电路部件，将布尔可满足性编码为拥堵博弈均衡，从而实现从电路可满足性到 α-PNE 决策问题的归约。
• 证明在任意 α-PNE 中，输出玩家仅当原始电路可满足时才必须选择零策略，从而将博弈均衡的存在性与电路可满足性联系起来。
• 通过有理数近似无理数成本函数参数（如 Φn−1），在保持 α-支配性质的同时确保形式正确性。
• 应用该部件构造方法，证明当 α = ˜O(√d) 时，α-PNE 决策问题为 NP-完全，并将结果扩展至受约束的策略配置。

实验结果

研究问题

• RQ1 在具有 d 次多项式成本函数的加权拥堵博弈中，α-Pure Nash Equilibria（α-PNE）存在的最佳可能近似因子 α 是多少？
• RQ2 能否建立超常数 α 下 α-PNE 不存在的结论？若能，最紧的此类下界是什么？
• RQ3 对于超常数 α，判断加权拥堵博弈是否存在 α-PNE 的决策问题是否为 NP-完全？
• RQ4 能否开发一种通用方法，将 α-PNE 的非存在性结果转化为计算困难性结果？
• RQ5 当 α-PNE 被保证存在时，寻找 α-PNE 的复杂度是多少？其复杂度如何随 α 变化？

主要发现

• 该论文首次建立了加权拥堵博弈中多项式成本函数次数为 d 的 α-纯纳什均衡（α-PNE）非存在性的超常数下界，表明当 α < Ω(√d / ln d) 时，α-PNE 不存在。
• 论文证明了对于 d 次多项式成本函数的加权拥堵博弈，判断其是否存在 α-PNE 的问题在 α = ˜O(√d) 时为 NP-完全，显著扩展了以往仅限于精确均衡的困难性结果。
• 作者构建了一个电路部件，将电路可满足性问题归约为 α-PNE 决策问题，从而实现了将非存在性结果转化为 NP-完全性结果的转换。
• 对于一般非递减成本函数，n-纯纳什均衡（n-PNE）始终存在，但当 α < Φn−1 = Θ(n / ln n) 时，α-PNE 不存在，且判断其存在性为 NP-完全。
• 论文表明，当给定一组玩家必须执行特定策略配置时，α-PNE 的存在性为 NP-难，且对任意 α < 3d/2 成立，即使在无权重拥堵博弈中也是如此。
• 通过将无理数成本函数参数近似为有理数，该构造在保持 α-支配性质的同时得到了形式化验证，确保了 NP-完全性证明的正确性。