Brams–Taylor procedure

The Brams–Taylor procedure (BTP) is a procedure for envy-free cake-cutting. It explicated the first finite procedure to produce an envy-free division of an cake among any positive integer number of players.[1]

History

In 1988, prior to the discovery of the BTP, Sol Garfunkel contended that the problem solved by the theorem, namely n-person envy-free cake-cutting, was among the most important problems in 20th century mathematics.[2]

The BTP was discovered by Steven Brams and Alan D. Taylor. It was first published in the January 1995 issue of American Mathematical Monthly,[3] and later in 1996 in the authors' book..[4]

Brams and Taylor hold a joint US patent from 1999 related to the BTP.[5]

Description

The BTP divides the cake part-by-part. A typical intermediate state of the BTP is as follows:

As an example of how an IA can be generated, consider the first stage of the Selfridge–Conway discrete procedure:

After this stage is done, all the cake except Y is divided in an envy-free way. Additionally, Alice now has an IA over whoever took (A\setminus Y). Why? because Alice took either B or C, and both of them are equal to A in her opinion. So, in Alice's opinion, whoever took (A\setminus Y) can also have Y – this will not make her envy.

If we want to make sure that Alice gets an IA over a specific player (e.g. Bob), then a much more complicated procedure is required. It successively divides the cake to smaller and smaller pieces, always giving Alice a piece that she values more than Bob's, so that an IA is maintained. This might take an unbounded time – depending on the exact valuations of Alice and Bob.

Using the IA procedure, the main BTP procedure creates IAs for all ordered pairs of partners. For example, when there are 4 partners, there are 12 ordered pairs of partners. For each such pair (X,Y), we run a sub-procedure which guarantees that partner X has an IA over partner Y. After every partner has an IA over every other partner, we can just give the remainder to an arbitrary partner and the result is an envy-free division of the entire cake.

See also

References

  1. "Dividing the Spoils". Discover Magazine. 1995-03-01. Retrieved 2015-05-02.
  2. More Equal than Others: Weighted Voting Sol Garfunkel. For All Practical Purposes. COMAP. 1988
  3. Brams, S. J.; Taylor, A. D. (1995). "An Envy-Free Cake Division Protocol". The American Mathematical Monthly 102: 9. doi:10.2307/2974850. JSTOR 2974850.
  4. Brams, Steven J.; Taylor, Alan D. (1996). Fair Division: From cake-cutting to dispute resolution. pp. 138–143. ISBN 0521556449.
  5. US patent 5983205, Steven J. Brams & Alan D. Taylor, "Computer-based method for the fair division of ownership of goods", issued 1999-11-09, assigned to New York University


This article is issued from Wikipedia - version of the Sunday, September 06, 2015. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.