Mechanism design : from partial to probabilistic verification

• المؤلفون الرئيسيون: Caragiannis, Ioannis, Szegedy, Mario, Yu, Lan, Elkind, Edith
• مؤلفون آخرون: School of Physical and Mathematical Sciences
• التنسيق: Conference or Workshop Item
• اللغة: English
• منشور في: 2013
• الوصول للمادة أونلاين: https://hdl.handle.net/10356/98788; http://hdl.handle.net/10220/12630

Algorithmic mechanism design is concerned with designing algorithms for settings where inputs are controlled by selfish agents, and the center needs to motivate the agents to report their true values. In this paper, we study scenarios where the center may be able to verify whether the agents report...