The power of verification for one-parameter agents

We initiate the study of mechanisms with verification for one-parameter agents. We give an algorithmic characterization of such mechanisms and show that they are provably better than mechanisms without verification, i.e., those previously considered in the literature. These results are obtained for...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Journal of computer and system sciences Jg. 75; H. 3; S. 190 - 211
Hauptverfasser: Auletta, Vincenzo, De Prisco, Roberto, Penna, Paolo, Persiano, Giuseppe
Format: Journal Article
Sprache:Englisch
Veröffentlicht: Elsevier Inc 01.05.2009
Schlagworte:
Algorithmic game theory
Mechanism design
Theory of algorithms
Theory of algorithms
Algorithmic game theory
Mechanism design
ISSN:0022-0000, 1090-2724
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:We initiate the study of mechanisms with verification for one-parameter agents. We give an algorithmic characterization of such mechanisms and show that they are provably better than mechanisms without verification, i.e., those previously considered in the literature. These results are obtained for a number of optimization problems motivated by the Internet and recently studied in the algorithmic mechanism design literature. The characterization can be regarded as an alternative approach to existing techniques to design truthful mechanisms. The construction of such mechanisms reduces to the construction of an algorithm satisfying certain “monotonicity” conditions which, for the case of verification, are much less stringent. In other words, verification makes the construction easier and the algorithm more efficient (both computationally and in terms of approximability).
ISSN:0022-0000
1090-2724
DOI:10.1016/j.jcss.2008.10.001