a combinatorial algorithm for strong implementation of social choice functions clemens...
Post on 19-Dec-2015
220 views
TRANSCRIPT
A Combinatorial Algorithm forStrong Implementation of Social Choice Functions
Clemens Thielen Stephan Westphal
3rd International Workshop on Computational Social Choice
15 September 2010
Problem DefinitionSocial choice setting with private information:
•
•
•
•
•
•
n jobs j 1; : : : ; j n with processing requirements p1; : : :;pn ¸ 0n jobs j 1; : : : ; j n
A Combinatorial Algorithm for Strong Implementation of Social Choice Functions
Problem Definition (2)We saw (previous talk):
•
•
n jobs j 1; : : : ; j n with processing requirements p1; : : :;pn ¸ 0n jobs j 1; : : : ; j n
A Combinatorial Algorithm for Strong Implementation of Social Choice Functions
Our Results•
•
•
n jobs j 1; : : : ; j n with processing requirements p1; : : :;pn ¸ 0n jobs j 1; : : : ; j n
A Combinatorial Algorithm for Strong Implementation of Social Choice Functions
System of InequalitiesImplementation of a social choice function :
n jobs j 1; : : : ; j n with processing requirements p1; : : :;pn ¸ 0n jobs j 1; : : : ; j n
A Combinatorial Algorithm for Strong Implementation of Social Choice Functions
Weak Implementation
Strong Implementation
Node Potential Interpretation
System can be interpreted as finding a node potential:
n jobs j 1; : : : ; j n with processing requirements p1; : : :;pn ¸ 0n jobs j 1; : : : ; j n
A Combinatorial Algorithm for Strong Implementation of Social Choice Functions
n jobs j 1; : : : ; j n with processing requirements p1; : : :;pn ¸ 0n jobs j 1; : : : ; j n
constant
constant
Characterization (Weak Implementation)
•
n jobs j 1; : : : ; j n with processing requirements p1; : : :;pn ¸ 0n jobs j 1; : : : ; j n
A Combinatorial Algorithm for Strong Implementation of Social Choice Functions
n jobs j 1; : : : ; j n with processing requirements p1; : : :;pn ¸ 0n jobs j 1; : : : ; j n
Theorem:[Gui et al. 2005]
Characterization (Strong Implementation)
n jobs j 1; : : : ; j n with processing requirements p1; : : :;pn ¸ 0n jobs j 1; : : : ; j n
A Combinatorial Algorithm for Strong Implementation of Social Choice Functions
n jobs j 1; : : : ; j n with processing requirements p1; : : :;pn ¸ 0n jobs j 1; : : : ; j n
Theorem:[this paper]
The Algorithm
n jobs j 1; : : : ; j n with processing requirements p1; : : :;pn ¸ 0n jobs j 1; : : : ; j n
A Combinatorial Algorithm for Strong Implementation of Social Choice Functions
n jobs j 1; : : : ; j n with processing requirements p1; : : :;pn ¸ 0n jobs j 1; : : : ; j n
For weak implementation:
• •
For strong implementation:
•
Strict inequalitiesin the system
must be fullfilled.
Perturbation of Node Potentials
A Combinatorial Algorithm for Strong Implementation of Social Choice Functions
•
•
•
•
Perturbation in Graph Gi
n jobs j 1; : : : ; j n with processing requirements p1; : : :;pn ¸ 0n jobs j 1; : : : ; j n
A Combinatorial Algorithm for Strong Implementation of Social Choice Functions
n jobs j 1; : : : ; j n with processing requirements p1; : : :;pn ¸ 0n jobs j 1; : : : ; j n
• • •
•
Slack of arc (x,x
´)
Slack of incoming
arcs becomes positive
Finding the Node x
A Combinatorial Algorithm for Strong Implementation of Social Choice Functions
n jobs j 1; : : : ; j n with processing requirements p1; : : :;pn ¸ 0n jobs j 1; : : : ; j n
n jobs j 1; : : : ; j n with processing requirements p1; : : :;pn ¸ 0n jobs j 1; : : : ; j n
• •
You shrink it!
Summary of Results
A Combinatorial Algorithm for Strong Implementation of Social Choice Functions
•
•
•
•