Professional Documents
Culture Documents
Old and New Moving-Knife Schemes: Steven J. Brams, Alan D. Taylor, and William S. Zwicker
Old and New Moving-Knife Schemes: Steven J. Brams, Alan D. Taylor, and William S. Zwicker
30 THE MATHEMATICAL 1NTELLIGENCER VOL, 17, NO. 4 9 1995 Springer-Verlag New York
The reader is invited to construct, for n = 3, examples Any discrete algorithm or moving-knife procedure
showing that neither implication is reversible. For n = 2, consists of both rules and strategies. Rules incorporate
of course, proportionality and envy-freeness are equiva- those parts of the procedure that can be enforced by a
lent. referee (because the referee can tell whether or not a rule
2. Discrete Algorithms The so-called last-diminisher has been followed without knowing the measures of the
procedure of Stefan Banach and Bronislaw Knaster (see various players), whereas strategies are good advice to
[$1]) provides an early example of this kind of result, the players (which they can follow by using their knowl-
which is called a "protocol" in [BT1] [G] and a "game- edge of only their own measure). To keep the distinctions
theoretic algorithm" in [B]. Under the Banach-Knaster clear, strategies are put in square brackets, whereas rules
procedure, the first person cuts a piece from the cake are not. For example, a rule and strategy ~qe shall use
[that he or she considers to be of size l/n]. 1 This piece is later is, "Player I divides the cake into three'pieces [each
then passed, in turn, to each of the other people. Upon of which is 1/3 of the cake in his or her opinion]."
receiving such a piece, a person has the option either to For the sake of brevity, in what follpws we ignore the
pass it along unaltered to the next person [which is done possibility that all of the players involved in some part of
if the person holding it considers it to be of size at most a procedure abandon their strategies by choosing never
1/n] or to trim it [to size 1 / n in his or her measure] and to call "cut." The problem is easily addressed by adding a
then pass it along. The last one to trim i t - - o r the first rule that allocates the cake in some manner (e.g., accord-
person, if no one trimmed i t - - g e t s that piece as his or ing to some random device) should this situation arise.
her share. The trimmings are returned to the cake, and the We are not concerned here with how an individual
procedure is then repeated for the remaining cake. Note might exploit knowledge of another's measure to do
that a person may receive a piece consisting of many even better than he or she would by following the sug-
chunks that were widely separated in the original cake, gested strategy. (Even cut-and-choose is sensitive to this
which is a feature common to many discrete algorithms. kind of information [BT2].) We assume~ in effect, that
We leave it to the reader to check that if a player follows none of the players has knowledge of others' measures,
his or her strategy-- and it is precisely these strategic as- and we seek procedures that guarantee a certain payoff
pects that we have placed in square brackets-- then that under this assumption. In fact, in the schemes we present,
player will receive a piece he or she thinks is of size at each player's strategy will guarantee him or her the ap-
least l / n , regardless of what strategy the other players propriate payoff (either at least 1 / n of the cake or free-
employ. We shall say more later about the difference be- dom from envy), even in the face of a conspiracy by the
tween strategies and rules. other players. Our goal in the present article is to present
3. Moving-Knife Procedures This kind of continu- eight moving-knife schemes, in addition to that of Du-
ous procedure seems first to have been proposed in 1961, bins and Spanier [DS] described earlier, several of which
when Lester Dubins and Edwin Spanier [DS] presented are new. Our main focus is on obtaining an envy-free di-
the following elegant version of the Banach-Knaster vision among three p e o p l e - - t h a t is, one in which each
protocol: A knife is slowly moved across the cake, say person considers the piece he or she gets to be at least tied
from left to right. (Figure 1, borrowed from [A], illus- for largest among the three pieces allocated. Neither the
trates this.) At any time, any player can call "cut" and Banach- Knaster [$1] scheme nor the Dubins- Spanier
then receive the piece to the left of the knife, with ties [DS] moving-knife version of it guarantees an envy-free
broken by some kind of random device. It is easy to see allocation. Five of the schemes to be presented yield such
that if a player employs the obvious strategy of calling an allocation for three people.
"cut" any time the piece so determined is of size exactly Two of the envy-free schemes that we will present em-
1/n in his or her measure, then this will certainly yield ploy Austin's two-person scheme, to be described next.
him or her a piece of size at least 1/n. In contrast to
Austin's T w o - P e r s o n E q u a l i z i n g S c h e m e
discrete algorithms, moving-knife schemes tend, by ex-
ploiting continuity and intermediate values, to minimize
Recall that Neyman's [N] result guarantees the existence
the number of chunks each person receives.
of a partition of the cake into n pieces such that every
person thinks every piece is of size 1/n. For n = 2, this
yields a single piece of cake that both people agree is
I I cake
of size exactly 1/2. In 1982, A. K. Austin [A] produced
the following elegant scheme which achieves this using
a pair of moving knives, each player's strategy guaran-
teeing that he or she receives a piece of size exactly 1/2:
Assume there is a single knife that moves slowly across
Figure 1. Dubins-Spanier procedure: A knife slowly moves, the cake from the left edge toward the right edge, as
from left to right, over a rectangular cake. in the Dubins- Spanier [DS] procedure, until one of the
players-- assume it is player 1 - - calls "stop" [which he
1 Our use of square brackets willbe explainedlater. or she does at the point when the piece so determined
THEMATHEMATICAL
INTELLIGENCERVOL.17,NO.4.1995 31
is of size exactly 1/2]. At this time, a second knife is 2 cannot possibly think all k pieces are of size less than
placed at the left edge of the cake. Player 1 then moves 1/k, and player 2 cannot possibly think all k pieces are
both knives across the cake in parallel fashion [in such of size greater than 1/k. Thus, either player 2 thinks one
a w a y that the piece between the two knives remains of the pieces is of size exactly 1 / k - - i n which case we
of size exactly 1/2 in player l's measure], subject to the are d o n e - - or we can assume, without loss of generality,
requirement (superfluous, if the strategies are followed) that he or she thinks the first piece is of size less than 1 / k
that when the knife on the right arrives at the right-hand and the second piece is of size greater than 1/k. But n o w
edge of the cake, the left-hand knife lines up with the we can have player 1 place knives on the left and right
position that the first knife was in at the m o m e n t when edges of the first piece and move them as before [so as to
player 1 first called "stop" (see Fig. 2). While the two keep the measure of the piece between the two knives at
knives are moving, player 2 can call "stop" at a n y time exactly l / k ] , subject to the same sort of requirement as
[which he or she does precisely w h e n the measure of the before. This argument shows that, at some point, player 2
piece between the two knives is of size exactly 1/2 in his will think the piece between the two knives has measure
or her measure]. exactly 1 / k.
An iteration of Austin's two-person scheme allows
two players to partition the cake into J pieces, each of
which is of size 1/d according to both players. For ex-
ample, if J = 3, we begin by using Austin's two-person
cake becomes scheme to obtain a single piece of cake that both players
think is of size 1/3. Now we apply the k = 2 version
of Austin's two-person scheme to the rest of the cake. In
what follows, we refer to both the original and iterated
2nd st version as Austin's two-person scheme.
knife knife
Probably the best known but most complicated moving- There is another procedure for producing an envy-free
knife scheme is the envy-free procedure for three players division among three people. It is due to Saul X. Levmore
due to Walter Stromquist [St]. This procedure begins with and Elizabeth Early Cook [LC] and seems to have been
a referee holding a knife at the left edge of the cake. Each largely overlooked. It is essentially a moving-knife algo-
of the three players holds a knife parallel to the referee's rithm, although they describe it as'a process with "in-
[at a point that that player thinks exactly halves the re- finitely small shavings." It can be described as follows:
mainder of the cake to the right of the referee's knife]. The Player 1 divides the cake into three pieces P, Q, R
referee moves his or her knife slowly across the cake, as [which he or she considers equal]. Each of the other two
was the case with all the previous procedures. The three players selects a piece {-whi'chhe or she considers largest].
players move their knives in the same way as the referee, If they choose different pieces, we are done. Otherwise,
with each player keeping his or her knife to the right of we can assume they both choose P. Now.player I starts
the referee's [so that it exactly halves the piece to the a vertical moving knife, as in the Dubins-Spanier [DS]
right of the referee's knife, with respect to that player's scheme, but at the same time he or she places a second
measure]. knife perpendicular to the first and over the portion of
At any time, a player can call "cut" and receive the the cake over which the vertical knife has already swept
piece to the left of the referee's knife (X in Fig. 4). A cut is (see Fig. 5).
then also made by whichever of the three players' knives Notice that if cuts were to be made from such a posi-
is in the middle (yielding Y and Z in Fig. 4). Of the other tioning of the knives, the piece of cake labeled P would
two players, the one whose knife was closer to the ref- be cut into three pieces, exactly two of which would in-
eree's knife gets Y, and the other gets Z. volve both knives. Let S denote one of these two pieces
The strategy is for a player to call "cut" only if he or she and let T denote the other. The second knife is moved up
thinks the left-hand piece, X, is at least as large as both and down [in such a manner that player I thinks Q u S
the middle piece Y and the right-hand piece Z. (Misinter- is the same size as R u T].
pretations of this strategy have caused some confusion in When the process begins, both S and T are empty, so
the literature; see [O] and [St].) Hence, the player calling player 2 and player 3 both think P - (S U T) is larger
"cut" will never envy the other two. Since neither of the than both Q u S (giving two inequalities) and R U T (giv-
other two players called "cut," they must each think the ing two inequalities). Now let either player 2 or player
largest piece is either Y or Z. To see that neither of them 3 call "stop" [when he or she knows that any of these
experiences any envy, notice that each thinks he or she is four inequalities first reverses], and take Q u S or R u T
getting the larger of Y and Z, or there is a tie. This is easy [whichever he or she thinks is bigger]. Player I gets the
other composite piece, and the player who did not call
to check and left to the reader.
"stop" gets P - (S U T).
1I
Dubins-Spanier [DS] scheme with Austin's [A] two-
cske person scheme, one can obtain a fairly simple moving-
knife procedure that guarantees an envy-free allocation
among three people. This scheme was first discovered by
William Webb [W], although he was unaware of Austin's
work and thus recreated the part of it he needed. The ver-
Referee Three sion we give next uses Austin's original scheme.
players A knife is slowly moved across the cake, as in the Du-
Figure 4. Stromquist'sprocedure. bins- Spanier procedure, until some p e r s o n - - assume it
THEMATHEMATICAL
INTELLIGENCERVOL.17,NO.4,1995 33
is player 1 1 calls "cut" ]because he or she thinks the the understanding that as a knife slides off the right edge,
piece so determined is of size 1/3]. Call the piece result- it immediately jumps back onto the left edge).
ing from this cut A1, and notice that both players 2 and
3 think A1 is of size at most 1/3. A n Easy Three-Person Envy-Free Scheme
We now have player I and either one of the other two
Our final envy-free moving-knife scheme for three peo-
players I assume for definiteness it is player 2 1 apply
ple is an immediate consequence of Austin's [A] two-
Austin's two-person scheme to the rest of the cake, re-
person scheme for dividing a cake into three pieces such
sulting in a partition of it into two sets, A2 and A3 [which
that each of two players thinks that the division is even.
players 1 and 2 think is a 50-50 division of the rest of
One simply has players 2 and 3 use that scheme to obtain
the cake]. Notice that if the bracketed strategies are fol-
a partition of the cake into three pieces [which they both
lowed, then
think are all of size 1/3]. The players then choose the
1. player I thinks that all three pieces are of size exactly piece they want in the following order: player 1, player
1/3; 2, player 3. Player I experiences no envy, because he or
2. player 2 thinks A2 and A3 are tied for largest (since she is choosing first; and neither player 2 nor player 3 will
each is exactly 1/2 of a piece that is at least 2/3 of experience envy, because each thinks all three pieces are
the whole cake). the same size.
Perhaps the most important aspect of this three-person
An envy-free division is now easily obtained by having
scheme is that it can be extended, at the cost of some
the players choose among the three pieces in the follow-
complexity, to a moving-knife scheme that produces an
ing order: player 3, player 2, player 1. Player 3 envies no
envy-free allocation among four players. This scheme is
one, because he or she is choosing first; player 2 envies
described in [BTZ].
no one, because he or she had two pieces tied for largest;
and player I envies no one, because he or she thinks all An A l m o s t Envy-Free S c h e m e for n > 3
three pieces are the same size.
As we pointed out earlier, the Dubins-Spanier [DS]
A Pie Scheme for Envy-Free D i v i s i o n s w i t h n - 3 moving-knife scheme does not guarantee an envy-free
allocation. The reason is that as soon as a player calls
Another conceptually simple envy-free moving-knife "cut," he or she is relegated to spectator status for the re-
scheme for 3 players can be achieved by picturing a mainder of the procedure. Thus, if a larger piece should
round cake (or pie, as in [GD instead of a rectangular arise later, he or she has no recourse but to sit quietly by
one. The idea of using a pie and radial knives seems to and watch someone else get it.
be a part of the cake-division folklore, but the following Might we not alter the procedure by allowing a player
scheme is, as far as we know, new. to reenter the process in some way? Suppose we allow a
Start by having player 1 hold three knives over the player to call "cut" again, even though he or she already
round cake as if they were hands of a clock [in such a way has done so at least once and thus received a piece of cake.
that he or she considers the three wedged-shaped pieces That player would then be required to take the new piece
to be all of size exactly 1/3]. Now have player 1 start mov- determined by this most recent cut, returning his or her
ing all three knives in a clockwise fashion [so that each previous piece to the cake.
piece remains of size exactly 1/3 in his or her measure], What this yields is the following: Given n people and
subject to the requirement (superfluous if the strategies some c > 0, there is a moving-knife scheme that will
are followed) that the moment any knife reaches the ini- guarantee each player a piece of cake that he or she thinks
tial position of some other knife, all knives line up with is at most c smaller than the largest. The scheme is simply
such initial positions. the one we just described, and the concomitant strategy:
The claim is that at some point player 2 must think each player calls "cut" initially whenever he or she thinks
at least two of the wedges are tied for largest; that is, if the piece this will yield is of size l / n , and thereafter calls
player 2 thinks a single wedge (call it A) is largest at the "cut" whenever he or she thinks the new piece is e larger
instant when the knives start moving, then A is eventu- than the one he or she presently holds. Ties are broken
ally transformed, as in Austin's scheme, to the wedge im- at random.
mediately clockwise. Thus, at some point prior to this, the Unfortunately, the rules of this scheme i as opposed
piece determined by the two knives that originally de- to the strategies-- would allow a player to call "cut" in-
termined A loses its position as largest to another piece. finitely many times. However, the strategies described
At the instant when this happens, we have the desired are not affected by an additional rule that each player
two-way tie for largest in the eyes of player 2. can call "cut" at most 1/e times. Thus, if c = 1/100, a
The envy-free allocation is now obtained by having the player need never call "cut" more than 100 times to en-
players choose in the following order: player 3, player 2, sure that his or her piece is "almost" the largest i that
player 1. This scheme can be recast as one in which three is, smaller than the largest piece by at most 1/100 of the
knives move in parallel across a rectangular cake (with entire cake.
34 THE MATHEMATICAL INTELLIGENCER VOL. 17, NO. 4, 1995
Toward an Envy-Free Scheme for Arbitrary n References
If Austin's [A] two-person scheme could be extended to [A] A. K. Austin, Sharing a cake, Mathematical Gazette 6 (437),
n players, then one could immediately obtain an envy- (1982), 212-215.
free moving-knife scheme for n + 1 players b y simply [B] J. B. Barbanel, Game-theoretic algorithms for fair and
strongly fair cake division with entitlements, Colloquium
mimicking what we did earlier. More generally: Math. (forthcoming).
If there exists a moving-knife scheme A that will divide [BT1] S.J. Brams and A. D. Taylor, An envy-free cake-division
a cake into n pieces so that each of n players thinks all protocol, Am. Math. Monthly 102(1) (1995), 9-18.
the pieces are of size 1 / n , then there exists a moving- [BT2] S. J. Brams and A. D. Taylor, Fair Division: From Cake-
knife procedure for producing an envy-free division of Cutting to Dispute Resolution, Cambridge: Cambridge Uni-
the cake a m o n g n + 1 players. versity Press (1996).
[BT3] S.J. Brams and A. D. Taylor, A note on envy-free cake
To see h o w the envy-free procedure w o u l d w o r k for division, J. Combin. Theory (A) 70(1) (1995), 170-173.
n + 1 players, we b e g i n - - as in the D u b i n s - Spanier [DS] [BTZ] S.J. Brams, A. D. Taylor, and W. S. Zwicker, A moving-
p r o c e d u r e - - b y obtaining a piece of cake that, say, player knife solution to the four-person enVy-free cake-division
1 thinks is of size exactly 1 / ( n § 1) and e v e r y o n e else problem, Proc. of the Am. Math. Soc. (forthcoming).
[DS] L. E. Dubins and E. H. Spanier, How to cut a cake fairly,
thinks is of size at most 1 / ( n + 1). We n o w have player
Am. Math. Monthly 68(1) (1961), 1 ;-17.
1, together with any n - 1 of the other players, divide [F] A.M. Fink, A note on the fair division problem, Math. Mag.
u p the rest of the cake into n pieces, using A, so that 37(5) (1964), 341 - 342.
each thinks all n pieces are the same size. The player [G] D. Gale, Mathematical entertainments, Mathematical Intel-
not involved in the application of A then gets to choose ligencer 15(1) (1993), 48-52.
[GS] G. Gamow and I ~ Stern, Puzzle-Math, New York: Viking
first, whereas player I is forced to choose last. The order
(1958).
in which the others choose is immaterial. Envy-freeness [Ga] M. Gardner, Aha! Aha! Insight, New York: W. H. Freeman
follows as before. and Company, (1978), I23-124.
The above result shows that if we had a moving-knife [K] H. Kuhn, On games of fair division, Essays in Mathematical
scheme to divide a cake into four pieces so that each of Economics (Martin Shubik, ed.), Princeton, NJ: Princeton
University Press (1967), 29- 37.
four players w o u l d think it is an even division, then we
ILl S. T. Lowry, The Archeology of Economic Ideas: The Classi-
could produce a moving-knife scheme that w o u l d yield cal Greek Tradition, Durham, NC, Duke University Press:
an envy-free allocation a m o n g any five people. In fact, (1987).
b y a considerably more complicated argument, we show [LC] S. X. Levmore and E. E. Cook, Super Strategies for Puzzles
in [BTZ] that such an envy-free moving-knife scheme for and Games, Garden City, NY: Doubleday and Company
(1981), 47-53.
five people would follow from a minimal extension of
[N] J. Neyman, Un th6orbme d'existence, C. R. Acad. Sci. Paris
Austin's scheme: a partition of the cake into two pieces 222 (1946), 843-845.
so that each of three players (instead of two) thinks it is [O] D. Olivastro, Preferred shares, The Sciences (March/April,
a 5 0 - 5 0 division. 1992), 52-54.
JR] K. Rebman, How to get (at least) a fair share of the cake,
Conclusions Mathematical Plums (Ross Honsberger, ed.), Washington,
DC: Mathematical Association of America (1979), 22-37.
In general, moving-knife schemes seem to be easier to [$1] H. Steinhaus, The problem of fair division, Econometrica
come by than pure existence results (like N e y m a n ' s [N] 16(1) (1948), 101-104.
[$2] H. Steinhaus, Sur la division pragmatique, Econometrica
theorem) but harder to come b y than discrete algorithms
(Supplement) 17 (1.949), 315- 319.
(like the D u b i n s - S p a n i e r [DS] last-diminisher method). [$3] H. Steinhaus, Mathematical Snapshots, 3rd ed., New York:
For envy-free allocations for four or more people, how- Oxford University Press (1969).
ever, the order of difficulty might actually be reversed. [St] W. Stromquist, How to cut a cake fairly, Am. Math. Monthly
N e y m a n ' s existence proof (for any n) goes back to 1946, 87(8) (1980), 640-644; addendum, 88(8) (1981), 613-614.
[SW] W. Stromquist and D. R. Woodall, Sets on which several
the discovery of a discrete algorithm for all n > 4 is quite measures agree, J. Math. Anal. Appl. 108(1) (1985), 241 -248.
recent [BT1, BT2, BT3], and a moving-knife solution for [W] W. Webb, But he got a bigger piece than I did, preprint,
n = 4 was found only as this article was being prepared (n.d.).
(see [BTZ]). We are left with this u n a n s w e r e d question:
Is there a moving-knife scheme that yields an envy-
free division for five (or more) players? Brams:
Department of Politics
Acknowledgments New York University
New York, NY 10003
The authors thank the editor and referee for their help- USA
ful comments. S.J. Brams gratefully acknowledges the
Taylor and Zwicker:
support of N e w York University's C.V. Starr Center for Department of Mathematics
Applied Economics, and A.D. Taylor and WoS. Zwicker Union College
the support of the National Science Foundation u n d e r Schenectady, NY 12308
grant DMS 9101830. USA
THE MATHEMATICAL INTELLIGENCER VOL. 17, NO. 4, 1995 35