承诺即兑现：通过事后可验证承诺实现安全帕累托改进

安全帕累托改进（SPI）[41] 是对博弈的一种修改，它确定性地使所有参与者都变得更好。SPI 通常在关于不同博弈进行方式的定性假设下得到证明。例如，我们假设严格劣策略可以被迭代剔除，并且同构博弈以同构方式进行。在这项工作中，我们研究了通过三种类型的事后可验证承诺——关于玩家行为的承诺，其偏差可以通过观察博弈来检测——实现的 SPI。首先，我们考虑解除武装——承诺不采取某些行动。接下来，我们考虑基于代币博弈的 SPI。代币博弈是一种通过简单地宣布一个行动（通过廉价交谈）来进行的博弈。因此，其结果本质上是无意义的。然而，我们假设玩家提前承诺，根据代币博弈的结果，在原始博弈中执行特定的（纯策略或相关策略）策略组合。在这种承诺下，代币博弈变成了一个新的、有意义的正则形式博弈。最后，我们考虑默认条件承诺：在玩家的默认博弈方式可以被可信地揭示，因此玩家可以承诺根据此默认方式采取行动的情况下实现 SPI。我们刻画了在所有三种设定中判定 SPI 是否存在的复杂性，给出了特征描述、高效算法以及 NP 和图同构难度的混合结果。