Selfridge–Conway procedure

The Selfridge–Conway procedure is a discrete procedure that produces an envy-free cake-cutting for three partners.[1]:13-14 It is named after John Selfridge and John Horton Conway. Selfridge discovered it in 1960, and told it to Richard Guy, who told it to many people, but Selfridge did not publish it. John Conway discovered it independently in 1993, and also never published it, but the result is attributed to them in a number of books.[2] This procedure was the first envy-free discrete procedure devised for three partners, and it paved the way for more advanced procedures for n partners (see envy-free cake-cutting).

A procedure is envy-free if each recipient believes that (according to its measure) no other recipient has received more than he has. In their solution, the maximal number of cuts in the procedure is five. The pieces are not always contiguous.

The Procedure

Selfridge–Conway division

Suppose we have three players P1, P2 and P3. Where the procedure gives a criterion for a decision it means that criterion gives an optimum choice for the player.

  1. P1 divides the cake into three pieces he considers of equal size.
  2. Let's call A the largest piece according to P2.
  3. P2 cuts off a bit of A to make it the same size as the second largest. Now A is divided into: the trimmed piece A1 and the trimmings A2. Leave the trimmings A2 to the side for now.
    • If P2 thinks that the two largest parts are equal (such that no trimming is needed), then each player chooses a part in this order: P3, P2 and finally P1.
  4. P3 chooses a piece among A1 and the two other pieces.
  5. P2 chooses a piece with the limitation that if P3 didn't choose A1, P2 must choose it.
  6. P1 chooses the last piece leaving just the trimmings A2 to be divided.

It remains to divide the trimmings A2. The trimmed piece A1 has been chosen by either P2 or P3; let's call the player who chose it PA and the other player PB.

  1. PB cuts A2 into three equal pieces.
  2. PA chooses a piece of A2 - we name it A21.
  3. P1 chooses a piece of A2 - we name it A22.
  4. PB chooses the last remaining piece of A2 - we name it A23.

Analysis

Let's see why the procedure is envy-free. It must be shown that each player believes that no other player received more than he had. Without loss of generality, we can write (see illustration above):

In the following analysis "largest" means "largest according to the player":

Generalizations

Note that if all we want is an envy-free division for a part of the cake (i.e. we allow free disposal), then we only need to use the first part of the Selfridge–Conway procedure, i.e.:

This guarantees that there is no envy, and additionally each partner receives a value of at least 1/4 the total (since the total number of pieces is 4).

This procedure can be generalized to 4 partners in the following way:[3]

This guarantees that there is no envy, and additionally each partner receives a value of at least 1/8 the total (since the total number of pieces is 8).

By induction. the procedure can be generalized to n partners, the first one dividing the cake to equal pieces and the other partners follow by trimming. The resulting division is envy-free and each partner receives a value of at least of the total.

We can apply the same procedure again on the remainders. By doing so an infinite number of times, we get an envy-free division of the entire cake.[4] A refinement of this infinite procedure yields a finite envy-free division procedure - the Brams–Taylor procedure.

References

  1. Robertson, Jack; Webb, William (1998). Cake-Cutting Algorithms: Be Fair If You Can. Natick, Massachusetts: A. K. Peters. ISBN 1-568-81076-8.
  2. Brams, Steven J.; Taylor, Alan D. Fair Division [From cake-cutting to dispute resolution]. pp. 116–120. ISBN 0521556449.
  3. Brams, Steven J.; Taylor, Alan D. Fair Division [From cake-cutting to dispute resolution]. pp. 131–137. ISBN 0521556449.
  4. Brams, Steven J.; Taylor, Alan D. Fair Division [From cake-cutting to dispute resolution]. p. 137. ISBN 0521556449.
This article is issued from Wikipedia - version of the 8/10/2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.