显式策略证明性需要监控以实现良好近似
计算机科学与博弈论
2017-02-21 v1
摘要
显式策略证明性（OSP）是一个引人注目的概念，因为它即使在存在不完全理性的参与者（例如那些难以进行条件推理的参与者[Li, 2015]）时也能保持激励相容。然而，已有研究表明它带来了一些限制，例如任何 OSP 机制都无法返回稳定匹配[Ashlagi and Gonczarowski, 2015]。本文通过考察 OSP 机制在该领域典型的基本优化问题（即机器调度和设施选址）上的近似保证，深化了对 OSP 机制局限性的研究。我们证明了关于 OSP 机制近似保证的若干界限，表明 OSP 可能付出显著代价。然而，颇为令人惊讶的是，我们证明了当 OSP 机制使用监控——一种对参与者声明引入轻度审查的新型机制设计范式[Kovacs et al., 2015]——时能够返回最优解。
引用
@article{arxiv.1702.05640,
title = {Obvious Strategyproofness Needs Monitoring for Good Approximations},
author = {Diodato Ferraioli and Carmine Ventre},
journal= {arXiv preprint arXiv:1702.05640},
year = {2017}
}
备注
Preliminary version appeared at AAAI 2017