[论文解读] Be a Leader or Become a Follower: The Strategy to Commit to with Multiple Leaders (Extended Version)

Matteo Castiglioni, Alberto Marchesi+1 more|arXiv (Cornell University)|May 30, 2019

Complex Systems and Decision Making参考文献 32被引用 3

一句话总结

本文提出了一种用于多领导者Stackelberg博弈的新框架，其中领导者首先通过一个顺序协议阶段协商相关策略承诺，选择领导或转为从者状态。该框架提出了三种解概念——SCE、SCE-PA 和 SCE-PAPE，保证了解的存在性，并通过稳定性预言机实现高效计算，对于匿名、对称以及有界树宽图博弈等紧凑博弈类，可实现多项式时间求解。

ABSTRACT

We study the problem of computing correlated strategies to commit to in games with multiple leaders and followers. To the best of our knowledge, this problem is widely unexplored so far, as the majority of the works in the literature focus on games with a single leader and one or more followers. The fundamental ingredient of our model is that a leader can decide whether to participate in the commitment or to defect from it by taking on the role of follower. This introduces a preliminary stage where, before the underlying game is played, the leaders make their decisions to reach an agreement on the correlated strategy to commit to. We distinguish three solution concepts on the basis of the constraints that they enforce on the agreement reached by the leaders. Then, we provide a comprehensive study of the properties of our solution concepts, in terms of existence, relation with other solution concepts, and computational complexity.

研究动机与目标

• 为解决多领导者与多从者博弈中缺乏理论与计算框架的问题。
• 建模一个初步协议阶段，领导者在此决定是否承诺相关策略或转为从者状态。
• 定义并分析三种解概念——SCE、SCE-PA 和 SCE-PAPE，基于稳定性、完美稳定性与效率属性。
• 建立这些解概念在一般博弈与紧凑博弈类中的存在性与计算可 tractability。
• 设计一个依赖于与博弈无关的稳定性预言机的通用计算框架，以实现可扩展的解计算。

提出的方法

• 将协议阶段建模为一个顺序博弈，领导者依次决定是否承诺或背叛，形成阶乘规模的游戏树。
• 引入三种解概念：SCE（稳定性与效率）、SCE-PA（完美稳定性与效率）和 SCE-PAPE（完美稳定性与完全效率）。
• 利用稳定性预言机验证领导者是否有背叛动机，从而实现最优相关策略的迭代计算。
• 通过仅关注背叛领导者集合与最后一名背叛者，将指数级状态空间压缩，实现指数级压缩。
• 应用椭球法在紧凑博弈中以多项式时间求解分离问题，将其与最优相关均衡计算相联系。
• 利用现有最优相关均衡算法（如 Jiang 和 Leyton-Brown, 2011）构建多项式时间稳定性预言机，适用于匿名、对称及有界树宽博弈等类别。

实验结果

研究问题

• RQ1 能否将相关策略承诺有意义地扩展到多领导者博弈中，其中领导者可选择领导或转为从者？
• RQ2 哪些解概念可确保领导者在提议的相关承诺下无背叛动机？
• RQ3 在多领导者设定下，如何降低寻找最优承诺的计算复杂度？
• RQ4 在哪些博弈类中，可实现多项式时间的稳定性预言机计算？
• RQ5 能否在不损失最优性或稳定性保证的前提下压缩协议结果的状态空间？

主要发现

• SCE 与 SCE-PA 在任意有限博弈中均保证存在，确保了所提解概念的理论稳健性。
• 通过聚焦于背叛者集合与最后一名背叛者，可将协议状态数量从阶乘规模压缩至关于领导者数量的指数规模。
• 对于紧凑博弈类，包括匿名、对称以及有界树宽图博弈与双线性博弈，稳定性预言机可实现多项式时间计算。
• 在 SCE-PA 下，最优相关策略的承诺计算可通过 O(|L|2^{|L|-1} + 1) 次稳定性预言机查询完成。
• 稳定性预言机与最优相关均衡计算问题紧密关联，可重用现有高效算法。
• 该框架适用于一般博弈，超越安全特定模型，提供基于博弈论且计算可扩展的解决方案。