Computer Science – Computational Complexity
Scientific paper
2009-09-28
EPTCS 4, 2009, pp. 1-12
Computer Science
Computational Complexity
Scientific paper
10.4204/EPTCS.4.1
We consider the question of implementability of a social choice function in a classical setting where the preferences of finitely many selfish individuals with private information have to be aggregated towards a social choice. This is one of the central questions in mechanism design. If the concept of weak implementation is considered, the Revelation Principle states that one can restrict attention to truthful implementations and direct revelation mechanisms, which implies that implementability of a social choice function is easy to check. For the concept of strong implementation, however, the Revelation Principle becomes invalid, and the complexity of deciding whether a given social choice function is strongly implementable has been open so far. In this paper, we show by using methods from polyhedral theory that strong implementability of a social choice function can be decided in polynomial space and that each of the payments needed for strong implementation can always be chosen to be of polynomial encoding length. Moreover, we show that strong implementability of a social choice function involving only a single selfish individual can be decided in polynomial time via linear programming.
Krumke Sven O.
Thielen Clemens
No associations
LandOfFree
Complexity of Strong Implementability does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Complexity of Strong Implementability, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Complexity of Strong Implementability will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-234586