Algorithmic mechanism design (extended abstract)
STOC '99 Proceedings of the thirty-first annual ACM symposium on Theory of computing
Algorithms, games, and the internet
STOC '01 Proceedings of the thirty-third annual ACM symposium on Theory of computing
Distributed algorithmic mechanism design: recent results and future directions
DIALM '02 Proceedings of the 6th international workshop on Discrete algorithms and methods for mobile computing and communications
Computers and Intractability: A Guide to the Theory of NP-Completeness
Computers and Intractability: A Guide to the Theory of NP-Completeness
Hidden-action in multi-hop routing
Proceedings of the 6th ACM conference on Electronic commerce
EC '06 Proceedings of the 7th ACM conference on Electronic commerce
Algorithmic Game Theory
Combinatorial agency with audits
GameNets'09 Proceedings of the First ICST international conference on Game Theory for Networks
Free-Riding and Free-Labor in Combinatorial Agency
SAGT '09 Proceedings of the 2nd International Symposium on Algorithmic Game Theory
Algorithms for selfish agents mechanism design for distributed computation
STACS'99 Proceedings of the 16th annual conference on Theoretical aspects of computer science
The cost of moral hazard and limited liability in the principal-agent problem
WINE'10 Proceedings of the 6th international conference on Internet and network economics
Combinatorial agency of threshold functions
SAGT'11 Proceedings of the 4th international conference on Algorithmic game theory
Mixed strategies in combinatorial agency
WINE'06 Proceedings of the Second international conference on Internet and Network Economics
Hi-index | 5.23 |
We study an economic setting in which a principal motivates a team of strategic agents to exert costly effort toward the success of a joint project. The action of each agent is hidden and affects the outcome of the agent's individual task in a stochastic manner. A Boolean technology function maps the outcomes of the individual tasks to the project's outcome. The principal induces a Nash equilibrium on the agents' actions through payments which are conditioned on the project's outcome and the main challenge is that of determining the Nash equilibrium that maximizes the principal's net utility, namely, the optimal contract. Babaioff, Feldman and Nisan study a basic combinatorial agency model for this setting, and provide a full analysis of the AND technology. Here, we concentrate mainly on OR technologies that, surprisingly, turn out to be much more complex. We provide a complete analysis of the computational complexity of the optimal contract problem in OR technologies which resolves an open question and disproves a conjecture raised by Babaioff et al. While the AND case admits a polynomial time algorithm, we show that computing the optimal contract in an OR technology is NP-hard. On the positive side, we devise an FPTAS for OR technologies. We also study series-parallel (SP) technologies, which are constructed inductively from AND and OR technologies. We establish a scheme that given any SP technology, provides a (1+@e)-approximation for all but an @e@?-fraction of the relevant instances in time polynomial in the size of the technology and in the reciprocals of @e and @e@?.