fair division of indivisible goods thomas kalinowski (newcastle) nina naroditskaya, toby walsh...
TRANSCRIPT
![Page 1: Fair Division of Indivisible Goods Thomas Kalinowski (Newcastle) Nina Naroditskaya, Toby Walsh (NICTA, UNSW) Lirong Xia (Harvard)](https://reader030.vdocument.in/reader030/viewer/2022032702/56649cdc5503460f949a782c/html5/thumbnails/1.jpg)
Fair Division of Indivisible Goods
Thomas Kalinowski (Newcastle)
Nina Naroditskaya, Toby Walsh (NICTA, UNSW)
Lirong Xia (Harvard)
![Page 2: Fair Division of Indivisible Goods Thomas Kalinowski (Newcastle) Nina Naroditskaya, Toby Walsh (NICTA, UNSW) Lirong Xia (Harvard)](https://reader030.vdocument.in/reader030/viewer/2022032702/56649cdc5503460f949a782c/html5/thumbnails/2.jpg)
NICTA Copyright 2011 From imagination to impact
Decentralized protocol
• Found in school playgrounds around the world …
• Nominate two captains• They take turns in choosing players
![Page 3: Fair Division of Indivisible Goods Thomas Kalinowski (Newcastle) Nina Naroditskaya, Toby Walsh (NICTA, UNSW) Lirong Xia (Harvard)](https://reader030.vdocument.in/reader030/viewer/2022032702/56649cdc5503460f949a782c/html5/thumbnails/3.jpg)
NICTA Copyright 2011 From imagination to impact
Decentralized protocol
• Studied in [Bouveret, Lang IJCAI 2011]• Avoids elicitation of preferences• Used to assign courses to students at
Harvard Business School
• Simple model with additive utilities• Utility(S)=ΣsεS score(s)
Borda, lexicographical, quasi-indifferent scores, …
![Page 4: Fair Division of Indivisible Goods Thomas Kalinowski (Newcastle) Nina Naroditskaya, Toby Walsh (NICTA, UNSW) Lirong Xia (Harvard)](https://reader030.vdocument.in/reader030/viewer/2022032702/56649cdc5503460f949a782c/html5/thumbnails/4.jpg)
NICTA Copyright 2011 From imagination to impact
Decentralized protocol
Captain1
Captain2
![Page 5: Fair Division of Indivisible Goods Thomas Kalinowski (Newcastle) Nina Naroditskaya, Toby Walsh (NICTA, UNSW) Lirong Xia (Harvard)](https://reader030.vdocument.in/reader030/viewer/2022032702/56649cdc5503460f949a782c/html5/thumbnails/5.jpg)
NICTA Copyright 2011 From imagination to impact
Decentralized protocol
Captain1
Captain2
![Page 6: Fair Division of Indivisible Goods Thomas Kalinowski (Newcastle) Nina Naroditskaya, Toby Walsh (NICTA, UNSW) Lirong Xia (Harvard)](https://reader030.vdocument.in/reader030/viewer/2022032702/56649cdc5503460f949a782c/html5/thumbnails/6.jpg)
NICTA Copyright 2011 From imagination to impact
Decentralized protocol
Captain1
Captain2
![Page 7: Fair Division of Indivisible Goods Thomas Kalinowski (Newcastle) Nina Naroditskaya, Toby Walsh (NICTA, UNSW) Lirong Xia (Harvard)](https://reader030.vdocument.in/reader030/viewer/2022032702/56649cdc5503460f949a782c/html5/thumbnails/7.jpg)
NICTA Copyright 2011 From imagination to impact
Decentralized protocol
Captain1
Captain2
![Page 8: Fair Division of Indivisible Goods Thomas Kalinowski (Newcastle) Nina Naroditskaya, Toby Walsh (NICTA, UNSW) Lirong Xia (Harvard)](https://reader030.vdocument.in/reader030/viewer/2022032702/56649cdc5503460f949a782c/html5/thumbnails/8.jpg)
NICTA Copyright 2011 From imagination to impact
Decentralized protocol
Captain1
Captain2
![Page 9: Fair Division of Indivisible Goods Thomas Kalinowski (Newcastle) Nina Naroditskaya, Toby Walsh (NICTA, UNSW) Lirong Xia (Harvard)](https://reader030.vdocument.in/reader030/viewer/2022032702/56649cdc5503460f949a782c/html5/thumbnails/9.jpg)
NICTA Copyright 2011 From imagination to impact
Decentralized protocol
Captain1
Captain2
![Page 10: Fair Division of Indivisible Goods Thomas Kalinowski (Newcastle) Nina Naroditskaya, Toby Walsh (NICTA, UNSW) Lirong Xia (Harvard)](https://reader030.vdocument.in/reader030/viewer/2022032702/56649cdc5503460f949a782c/html5/thumbnails/10.jpg)
NICTA Copyright 2011 From imagination to impact
Decentralized protocol
Captain1
Captain2
![Page 11: Fair Division of Indivisible Goods Thomas Kalinowski (Newcastle) Nina Naroditskaya, Toby Walsh (NICTA, UNSW) Lirong Xia (Harvard)](https://reader030.vdocument.in/reader030/viewer/2022032702/56649cdc5503460f949a782c/html5/thumbnails/11.jpg)
NICTA Copyright 2011 From imagination to impact
Decentralized protocol
• But Captain1 has some advantage– We generalize this
to any picking order– Alternating policy:
12121212..– Reverse policy:
12211221..
![Page 12: Fair Division of Indivisible Goods Thomas Kalinowski (Newcastle) Nina Naroditskaya, Toby Walsh (NICTA, UNSW) Lirong Xia (Harvard)](https://reader030.vdocument.in/reader030/viewer/2022032702/56649cdc5503460f949a782c/html5/thumbnails/12.jpg)
NICTA Copyright 2011 From imagination to impact
“Optimal” policy
• Utilitarian standpoint– Expected sum of utilities– Individual utility: Borda score, lex score …
![Page 13: Fair Division of Indivisible Goods Thomas Kalinowski (Newcastle) Nina Naroditskaya, Toby Walsh (NICTA, UNSW) Lirong Xia (Harvard)](https://reader030.vdocument.in/reader030/viewer/2022032702/56649cdc5503460f949a782c/html5/thumbnails/13.jpg)
NICTA Copyright 2011 From imagination to impact
“Optimal” policy
• Utilitarian standpoint– Expected sum of utilities– Individual utility: Borda score, lex score …– Assume all preference profiles equally likely– [Bouveret & Lang IJCAI 2011] conjecture that
alternating policy 1212… is optimal for Borda scoring– Based on computer simulation with 12 or fewer
items
![Page 14: Fair Division of Indivisible Goods Thomas Kalinowski (Newcastle) Nina Naroditskaya, Toby Walsh (NICTA, UNSW) Lirong Xia (Harvard)](https://reader030.vdocument.in/reader030/viewer/2022032702/56649cdc5503460f949a782c/html5/thumbnails/14.jpg)
NICTA Copyright 2011 From imagination to impact
“Optimal” policy
• Egalitarian standpoint– [Bouveret & Lang IJCAI 2011] somewhat
strangely look at minimum of expected utilities of different agents
– More conventional to look at expected minimum utility, or minimum utility
![Page 15: Fair Division of Indivisible Goods Thomas Kalinowski (Newcastle) Nina Naroditskaya, Toby Walsh (NICTA, UNSW) Lirong Xia (Harvard)](https://reader030.vdocument.in/reader030/viewer/2022032702/56649cdc5503460f949a782c/html5/thumbnails/15.jpg)
NICTA Copyright 2011 From imagination to impact
“Optimal” policy
• Egalitarian standpoint– Protocol A: toss coin, if heads all item to
agent1 otherwise all items to agent2
![Page 16: Fair Division of Indivisible Goods Thomas Kalinowski (Newcastle) Nina Naroditskaya, Toby Walsh (NICTA, UNSW) Lirong Xia (Harvard)](https://reader030.vdocument.in/reader030/viewer/2022032702/56649cdc5503460f949a782c/html5/thumbnails/16.jpg)
NICTA Copyright 2011 From imagination to impact
“Optimal” policy
• Egalitarian standpoint– Protocol A: toss coin, if heads all item to
agent1 otherwise all items to agent2– Protocol B: toss coin, if heads then next item
to agent1 otherwise next item to agent2
![Page 17: Fair Division of Indivisible Goods Thomas Kalinowski (Newcastle) Nina Naroditskaya, Toby Walsh (NICTA, UNSW) Lirong Xia (Harvard)](https://reader030.vdocument.in/reader030/viewer/2022032702/56649cdc5503460f949a782c/html5/thumbnails/17.jpg)
NICTA Copyright 2011 From imagination to impact
“Optimal” policy
• Egalitarian standpoint– Protocol A: toss coin, if heads all item to
agent1 otherwise all items to agent2– Protocol B: toss coin, if heads then next item
to agent1 otherwise next item to agent2– Arguably B more egalitarian than A as each
agent gets ½ items on average?
![Page 18: Fair Division of Indivisible Goods Thomas Kalinowski (Newcastle) Nina Naroditskaya, Toby Walsh (NICTA, UNSW) Lirong Xia (Harvard)](https://reader030.vdocument.in/reader030/viewer/2022032702/56649cdc5503460f949a782c/html5/thumbnails/18.jpg)
NICTA Copyright 2011 From imagination to impact
“Optimal” policy
• Egalitarian standpoint– Protocol A: toss coin, if heads all item to
agent1 otherwise all items to agent2– Protocol B: toss coin, if heads then next item
to agent1 otherwise next item to agent2
MinExpUtil(A) = MinExpUtil(B)
But ExpMinUtil(A)=0, ExpMinUtil(B)=max/2
And MinUtil(A)=0, MinUtil(B)=0
![Page 19: Fair Division of Indivisible Goods Thomas Kalinowski (Newcastle) Nina Naroditskaya, Toby Walsh (NICTA, UNSW) Lirong Xia (Harvard)](https://reader030.vdocument.in/reader030/viewer/2022032702/56649cdc5503460f949a782c/html5/thumbnails/19.jpg)
NICTA Copyright 2011 From imagination to impact
“Optimal” policy
• Egalitarian standpoint– Protocol A: toss coin, if heads all item to
agent1 otherwise all items to agent2– Protocol B: toss coin, if heads then next item
to agent1 otherwise next item to agent2
MinExpUtil(A) = MinExpUtil(B)
But ExpMinUtil(A)=0, ExpMinUtil(B)=max/2
And MinUtil(A)=0, MinUtil(B)=0
![Page 20: Fair Division of Indivisible Goods Thomas Kalinowski (Newcastle) Nina Naroditskaya, Toby Walsh (NICTA, UNSW) Lirong Xia (Harvard)](https://reader030.vdocument.in/reader030/viewer/2022032702/56649cdc5503460f949a782c/html5/thumbnails/20.jpg)
NICTA Copyright 2011 From imagination to impact
“Optimal” policy
• Egalitarian standpoint– Protocol A: toss coin, if heads all item to
agent1 otherwise all items to agent2– Protocol B: toss coin, if heads then next item
to agent1 otherwise next item to agent2
MinExpUtil(A) = MinExpUtil(B)
But ExpMinUtil(A)=0, ExpMinUtil(B)=max/2
And MinUtil(A)=0, MinUtil(B)=0
![Page 21: Fair Division of Indivisible Goods Thomas Kalinowski (Newcastle) Nina Naroditskaya, Toby Walsh (NICTA, UNSW) Lirong Xia (Harvard)](https://reader030.vdocument.in/reader030/viewer/2022032702/56649cdc5503460f949a782c/html5/thumbnails/21.jpg)
NICTA Copyright 2011 From imagination to impact
“Optimal” policy
• Egalitarian standpoint– [Bouveret & Lang IJCAI 2011] somewhat
strangely look at minimum of expected utilities of different agents
– We considered expected minimum utility, and minimum utility– Computed optimal policies by simulation
![Page 22: Fair Division of Indivisible Goods Thomas Kalinowski (Newcastle) Nina Naroditskaya, Toby Walsh (NICTA, UNSW) Lirong Xia (Harvard)](https://reader030.vdocument.in/reader030/viewer/2022032702/56649cdc5503460f949a782c/html5/thumbnails/22.jpg)
NICTA Copyright 2011 From imagination to impact
“Optimal” policy
• Egalitarian standpoint, Borda scores
MinExpUtil ExpMinUtil MinUtil
12 12 12
122 122 122
1221 1221 1221
11222 12122 12122,..
121221 121221 121221,..
1122122 1212122 1212212,..
12212112 12122121 12212112,..
![Page 23: Fair Division of Indivisible Goods Thomas Kalinowski (Newcastle) Nina Naroditskaya, Toby Walsh (NICTA, UNSW) Lirong Xia (Harvard)](https://reader030.vdocument.in/reader030/viewer/2022032702/56649cdc5503460f949a782c/html5/thumbnails/23.jpg)
NICTA Copyright 2011 From imagination to impact
Other properties
• This mechanism is Pareto efficient– We can't swap players between teams and
have both captains remain happy– Supposing captains picked teams truthfully
• This mechanism is not envy free• One agent might prefer items allocated to
other agent
![Page 24: Fair Division of Indivisible Goods Thomas Kalinowski (Newcastle) Nina Naroditskaya, Toby Walsh (NICTA, UNSW) Lirong Xia (Harvard)](https://reader030.vdocument.in/reader030/viewer/2022032702/56649cdc5503460f949a782c/html5/thumbnails/24.jpg)
NICTA Copyright 2011 From imagination to impact
Strategic play
• This mechanism is not strategy proof– Captain1 can get a better team by picking
players out of order– No need for Captian1 to pick early on a player
that he likes but Captain2 dislikes– And vice versa
![Page 25: Fair Division of Indivisible Goods Thomas Kalinowski (Newcastle) Nina Naroditskaya, Toby Walsh (NICTA, UNSW) Lirong Xia (Harvard)](https://reader030.vdocument.in/reader030/viewer/2022032702/56649cdc5503460f949a782c/html5/thumbnails/25.jpg)
NICTA Copyright 2011 From imagination to impact
Strategic play
• What is equilibrium behaviour?– Nash equilibrium: no captain can do
better by deviating from this strategy
– Subgame perfect Nash equilibrium: at each move of this repeated game, play Nash equilibrium
![Page 26: Fair Division of Indivisible Goods Thomas Kalinowski (Newcastle) Nina Naroditskaya, Toby Walsh (NICTA, UNSW) Lirong Xia (Harvard)](https://reader030.vdocument.in/reader030/viewer/2022032702/56649cdc5503460f949a782c/html5/thumbnails/26.jpg)
NICTA Copyright 2011 From imagination to impact
Strategic play
• With 2 agents– There is unique subgame
perfect Nash equilibrium– It can be found in linear
time• Even though there is an
exponential number of possible partitions to consider!
![Page 27: Fair Division of Indivisible Goods Thomas Kalinowski (Newcastle) Nina Naroditskaya, Toby Walsh (NICTA, UNSW) Lirong Xia (Harvard)](https://reader030.vdocument.in/reader030/viewer/2022032702/56649cdc5503460f949a782c/html5/thumbnails/27.jpg)
NICTA Copyright 2011 From imagination to impact
Strategic play
• With 2 agents– There is unique subgame
perfect Nash equilibrium– It can be found in linear
time
SPNE(P1,P2,policy) = allocate(rev(P1),rev(P2), rev(policy))
![Page 28: Fair Division of Indivisible Goods Thomas Kalinowski (Newcastle) Nina Naroditskaya, Toby Walsh (NICTA, UNSW) Lirong Xia (Harvard)](https://reader030.vdocument.in/reader030/viewer/2022032702/56649cdc5503460f949a782c/html5/thumbnails/28.jpg)
NICTA Copyright 2011 From imagination to impact
Strategic play
• With k agents– There can be multiple
subgame perfect Nash equilibrium
– Deciding if utility of an agent is larger than some threshold T in any SPNE is PSPACE complete
![Page 29: Fair Division of Indivisible Goods Thomas Kalinowski (Newcastle) Nina Naroditskaya, Toby Walsh (NICTA, UNSW) Lirong Xia (Harvard)](https://reader030.vdocument.in/reader030/viewer/2022032702/56649cdc5503460f949a782c/html5/thumbnails/29.jpg)
NICTA Copyright 2011 From imagination to impact
“Optimal” policy
• Supposing agents are strategic, lex scores
ExpSumUtil ExpMinUtil MinUtil
12 12 12
121 122 122
1212, 1221 1221 1222
12122 12122 12222
122112 122121 122222
1212122 1221122 1222222
12211221 12212211 12222222
![Page 30: Fair Division of Indivisible Goods Thomas Kalinowski (Newcastle) Nina Naroditskaya, Toby Walsh (NICTA, UNSW) Lirong Xia (Harvard)](https://reader030.vdocument.in/reader030/viewer/2022032702/56649cdc5503460f949a782c/html5/thumbnails/30.jpg)
NICTA Copyright 2011 From imagination to impact
Disposal of items
• Other protocols possibleE.g. captains pick a player
for the other team
• Addresses an inefficiency of previous protocol• One captain may pick
player in early round that the other captain would happily give away
![Page 31: Fair Division of Indivisible Goods Thomas Kalinowski (Newcastle) Nina Naroditskaya, Toby Walsh (NICTA, UNSW) Lirong Xia (Harvard)](https://reader030.vdocument.in/reader030/viewer/2022032702/56649cdc5503460f949a782c/html5/thumbnails/31.jpg)
NICTA Copyright 2011 From imagination to impact
Disposal of items
• Borda scores
ExpSumUtil ExpMinUtil
12 12
121, -121 122
1-121 1221, 1-121, 1-222, -1211
12-212, -12-212 12122, -1-1-212
1-12121, 1-1-2-121 1-2-1-121, -121121
1212-212, 1-2-12-212, .. 12-1-1-212
1-1212121, 1-121-2-121, .. 1-2-1-1-2-121, -12112121
![Page 32: Fair Division of Indivisible Goods Thomas Kalinowski (Newcastle) Nina Naroditskaya, Toby Walsh (NICTA, UNSW) Lirong Xia (Harvard)](https://reader030.vdocument.in/reader030/viewer/2022032702/56649cdc5503460f949a782c/html5/thumbnails/32.jpg)
NICTA Copyright 2011 From imagination to impact
Conclusions
• Many other possible protocols• TwoByTwo: Agent1 picks a pair of items, Agent2
picks the one he prefers, Agent1 gets the other• TakeThat: Agent1 picks an item, Agent2 can accept
it (if they are under quota in #items) or lets Agent1 take it
• …
• Many open questions• How to compute SPNE with disposal of items?• How to deal with non-additive utilities?
![Page 33: Fair Division of Indivisible Goods Thomas Kalinowski (Newcastle) Nina Naroditskaya, Toby Walsh (NICTA, UNSW) Lirong Xia (Harvard)](https://reader030.vdocument.in/reader030/viewer/2022032702/56649cdc5503460f949a782c/html5/thumbnails/33.jpg)
NICTA Copyright 2011 From imagination to impact
Questions?
PS I’m hiring!
Two postdoc positions @ Sydney
3 years (in 1st instance)