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
Algorithms for selfish agents mechanism design for distributed computation
STACS'99 Proceedings of the 16th annual conference on Theoretical aspects of computer science
Mixed strategies in combinatorial agency
WINE'06 Proceedings of the Second international conference on Internet and Network Economics
Combinatorial agency with audits
GameNets'09 Proceedings of the First ICST international conference on Game Theory for Networks
Combinatorial agency of threshold functions
SAGT'11 Proceedings of the 4th international conference on Algorithmic game theory
Hi-index | 0.00 |
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 taken by each agent is hidden and affects the (binary) outcome of the agent's individual task in a stochastic manner. A Boolean function, called technology, maps the individual tasks' outcomes to the outcome of the whole project. The principal induces a Nash equilibrium on the agents' actions through payments that are conditioned on the project's outcome (rather than the agents' actual actions) and the main challenge is that of determining the Nash equilibrium that maximizes the principal's net utility, referred to as the optimal contract.Babaioff, Feldman and Nisan suggest and 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 and on series-parallel (SP) technologies, which are constructed inductively from their building blocks -- the AND and OR technologies. 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. In particular, we show that while the AND case admits a polynomial time algorithm, computing the optimal contract in an OR technology is NP-hard. On the positive side, we devise an FPTAS for the OR case and establish a scheme that given any SP technology, provides a (1 + 驴) -approximation for all but an $\hat{\epsilon}$-fraction of the relevant instances (for which a failure message is output) in time polynomial in the size of the technology and in the reciprocals of 驴 and $\hat{\epsilon}$.