130 likes | 535 Views
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.
E N D
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.