不完美监测下的偏离者检测

冷酷触发策略是维持重复博弈中均衡的基本机制：参与者沿约定路径合作，一旦某参与者偏离，其他参与者结成联盟将其压制至其最小最大水平。触发此类策略的一个前提是偏离参与者的身份在其他参与者中成为公共知识。在信息结构仅允许对所作行动或全局状态进行不完美监测的博弈中，这可能难以或无法达成。我们研究了在具有不同信息结构的有限图上进行的博弈中，从约定策略轮廓合成有限状态策略以检测偏离者的问题。我们表明，在全局状态无法被监测的一般情况下，该问题是不可判定的。另一方面，我们证明在全局状态完美监测且行动不完美监测下，该问题变为可判定的，并给出了一个覆盖具有私有监测的无限重复博弈的有效合成过程。