Upload
beatrix-hoover
View
219
Download
0
Embed Size (px)
Citation preview
Selfridge-Conway Fair Division Procedure
An Envy-Free Cake Division Procedure
The Selfridge-Conway Procedure
• We consider the case where there are exactly 3 participants.
• Suppose the participants are Alex (A), Barry (B) and Charles (C).
• Suppose A, B and C will divide a cake.
• Suppose all three have equal rights to a fair share of the cake.
• We follow the Selfridge-Conway procedure to divide the cake so that none of the participants will envy what the other receives.
The Selfridge-Conway Procedure - Outline
• The basic outline of the procedure is as follows:
• A will cut the cake into three pieces that he considers equally fair.
• B will have a chance to examine all three pieces and determine if there are at least two pieces that are tied for “best” – at least in B’s point of view.
• Assuming B agrees that there are at least two pieces tied for best, then C will be the first to choose a piece.
• C chooses any piece, then B choose one (there is still at least one remaining of those tied for best) and finally A chooses.
The Selfridge-Conway Procedure – Outline Continued
• However, it is possible that when B has the opportunity to examine all three pieces of the cake, B might decide that there is really only one piece that is the best (at least from B’s point of view).
• If C were given first choice, B might not get that best piece.
• Therefore, if B believes there is only one “best” piece, then B has the opportunity to trim that best piece to make sure that there are then at least two that would be tied for “best piece”.
• The trimmings that B cuts from the best piece are set aside for stage 2 of the process. (So there is a stage 2 only if B trims one piece).
• To finish stage 1, C will choose first from the 3 pieces (not counting the trimmings). Then B will choose. A requirement of the procedure is that if B did trim a piece, and if that piece is still available after C chooses, then B must take that trimmed piece. Finally, A will take the remaining piece.
The Selfridge-Conway Procedure – Outline Continued
Stage 2 – assuming that B trimmed a piece
Now there are two possibilities:
1. B trimmed a piece and C takes it.
2. B trimmed a piece, C does not take it, and therefore B must take it.
In the first case – Suppose C takes the piece that B trimmed.
Then B will divide up the trimmings and the order of selection is
C chooses first, then A and finally B takes what remains.
In the second case – Suppose B takes the trimmed piece.
Then C will divide up the trimmings and the order of selection is
B chooses first, then A and finally C takes what remains.
Envy-Free
• Selfridge-Conway cake division procedure is designed to be envy-free. This means when the division is completed, no participant will envy what another receives.
• To prove this is true, we show that no participant experiences envy in either of the two stages of the process and therefore at no time in the process.
Stage 1
• A does not experience envy because A was able to divide the cake in a way that he thought all pieces were fair.
• B will not envy either of the others because B was able to make sure that there were at least two pieces that were tied for best, and B is able to choose one of those.
• C will not envy either of the others because C is able to choose first in stage 1
Stage 2
• Stage 2 only occurs if B cut some trimmings from one of the pieces originally cut by A in stage 1.
• We show that no participant will envy what another receives in this stage.
• To be complete, we need to show that this is true in both of the two possible cases that can occur in stage 2
Stage 2
• Consider A first:
• The two cases in this stage are:– 1. If C took the trimmed piece in stage 1, then B will divide the trimmings
and C selects first, then A and then B
– 2. If C did not take the trimmed piece in stage 1, then B must take it, so therefore C will divide the trimmings, B selects first, then A and finally B.
• To see A will not experience envy in this stage, we see that A will not experience envy in either case.
• First, A had cut all three pieces in stage 1 and therefore will not envy the one who took the trimmed piece. A would not have envied anyone who had gotten the whole piece, much less, that piece plus only some of what had been trimmed from that piece. Furthermore, A will select before the other participant that did not take the trimmed piece and so won’t envy that participant either.
Stage 2
• Next, consider B:
• Again, the two cases in this stage are:– 1. If C took the trimmed piece in stage 1, then B will divide the trimmings
and C selects first, then A and then B
– 2. If C did not take the trimmed piece in stage 1, then B must take it, so therefore C will divide the trimmings, B selects first, then A and finally C.
• In case 1, B will not envy the others in this stage because B will divide the trimmings to ensure that each piece is sufficiently appealing. In this case B is dividing the trimmings but choosing last so must divide fairly so as not to envy what the others select.
• In case 2, B will not envy the others because B is selecting first from the trimmings.
Stage 2
• Finally, consider C:
• For reference, the two cases in this stage are:– 1. If C took the trimmed piece in stage 1, then B will divide the trimmings
and C selects first, then A and then B
– 2. If C did not take the trimmed piece in stage 1, then B must take it, so therefore C will divide the trimmings, B selects first, then A and finally C.
• The argument is equivalent to what was just presented for B
• In case 1, C will not envy the others because C can choose first.
• In case 2, C will have the opportunity to divide the trimmings to ensure that each piece is equally attractive. C must do this because C will select last in this stage. So C divides the trimmings so that each piece is equally good and will not envy what the others choose.