Stromquist moving-knives procedure
The Stromquist three-knives procedure is a procedure for envy-free cake-cutting among three players. It is named after Walter Stromquist who presented it in 1980. [1]
This procedure was the first envy-free moving knife procedure devised for three players. It requires only two cuts, the minimum for three pieces. There is no natural generalization to more than three players which divides the cake without extra cuts. The resulting partition is not necessarily efficient.[2]
Procedure
A referee moves a sword from left to right over the cake, hypothetically dividing it into small left piece and a large right piece. Each player moves a knife over the right piece, always keeping it parallel to the sword. The players must move their knives in a continuous manner, without making any "jumps".[3] When any player shouts "cut", the cake is cut by the sword and by whichever of the players' knives happens to be the central one of the three (that is, the second in order from the sword). Then the cake is divided in the following way:
- The piece to the left of the sword, which we denote Left, is given to the player who first shouted "cut". We call this player the "shouter" and the other two players the "quieters".
- The piece between the sword and the central knife, which we denote Middle, is given to the remaining player whose knife is closest to the sword.
- The remaining piece, Right, is given to the third player.
Strategy
Each player can act in a way that guarantees that - according to his own measure - no other player receives more than him:
- Always hold your knife such that it divides the part to the right of the sword to two pieces that are equal in your eyes (hence, your knife initially divides the entire cake to two equal parts and then moves rightwards as the sword moves rightwards).
- Shout 'cut' when Left becomes equal to the piece you are about to receive if you remain quiet (i.e. if your knife is leftmost, shout 'cut' if Left=Middle; if your knife is rightmost, shout if Left=Right; if your knife is central, shout 'cut' if Left=Middle=Right).
Analysis
We now prove that any player using the above strategy receives an envy-free share.
First, consider the two quieters. Each of them receives a piece that contains his knife, so they do not envy each other. Additionally, because they remained quiet, the piece they receive is larger in their eyes then Left, so they also don't envy the shouter.
The shouter receives Left, which is equal to the piece he could receive by remaining silent and larger than the third piece, hence the shouter does not envy any of the quieters.
Following this strategy each person gets the largest or one of the largest pieces by their own valuation and therefore the division is envy-free.
See also
- When the cake is circular, a simpler algorithm is possible. See Fair pie-cutting#Envy-free division for 3 partners.
- Moving-knife procedure
References
- ^ Stromquist, Walter (1980). "How to Cut a Cake Fairly". The American Mathematical Monthly. 87 (8): 640. doi:10.2307/2320951.
- ^ Brams, Steven J.; Taylor, Alan D. (1996). Fair division: from cake-cutting to dispute resolution. New York: Cambridge University Press. pp. 120–121. ISBN 0-521-55390-3.
{{cite book}}: Unknown parameter|lastauthoramp=ignored (|name-list-style=suggested) (help) - ^ The importance of this continuity is explained here: "Stromquist's 3 knives procedure". Math Overflow. Retrieved 14 September 2014.