K-实现

本文讨论一个希望影响博弈（多智能体交互）中智能体行为的利益相关方，该博弈不受其控制。该利益相关方不能设计新的博弈，不能强制执行智能体的行为，不能强制智能体进行支付，也不能禁止智能体可用的策略。然而，他可以通过承诺为智能体可能选择的不同策略组合提供非负的货币转移支付来影响博弈的结果。该利益相关方假设智能体在普遍认同的意义上是理性的，即他们不使用劣策略。因此，如果在给定博弈中通过添加非负支付，理性参与者必然会产生该子集内的一个结果，则称某个结果子集被实现。显然，通过提供足够大的支付，可以实现任何期望的结果。问题在于实现的成本是多少？本文引入期望策略组合集的k-实现概念，其中k代表为实现期望结果而需要实际支付的金额。k-实现的一个要点是，当遵循期望行为时，货币提议不一定需要兑现。我们在完全信息和不完全信息博弈的背景下定义并研究了k-实现。在后一种情况下，我们主要关注VCG博弈。我们的设定后来扩展到使用关联设备处理混合策略。总之，本文引入并研究了一个可靠方在不修改博弈规则（即提供协议）的情况下实现期望结果的问题，补充了机制设计中先前的工作，同时使其更适用于许多现实的计算机科学场景。