Misplaced Pages

Fink protocol

Article snapshot taken from Wikipedia with creative commons attribution-sharealike license. Give it a read and then ask your questions in the chat. We can research this topic together.

The Fink protocol (also known as Successive Pairs or Lone Chooser) is a protocol for proportional division of a cake.

Its main advantage is that it can work in an online fashion, without knowing the number of partners in advance. When a new partner joins the party, the existing division is adjusted to give a fair share to the newcomer, with minimal effect on existing partners.

Its main disadvantage is that, instead of giving each partner a single connected piece, it gives each partner a large number of "crumbs".

Protocol

We describe the protocol inductively for an increasing number of partners.

When partner #1 enters the party, he just takes the entire cake. His value is thus 1.

When partner #2 comes, partner #1 cuts the cake to two pieces that are equal in his eyes. The new partner chooses the piece that is better in his eyes. The value of each partner is thus at least 1/2 (just like in the divide and choose protocol).

When partner #3 joins, both partners #1 and #2 cut their share to 3 pieces that are equal in their eyes. The new partner chooses one piece from each partner. The value of each of partners #1 and #2 is at least 2/3 of their previous value, which was 1/2. Hence their new value is at least 1/3. Partner #3 values the shares of partner #1 and #2 at v 1 {\displaystyle v_{1}} , v 2 {\displaystyle v_{2}} , where v 1 + v 2 = 1 {\displaystyle v_{1}+v_{2}=1} . The value of partner #3 is at least v 1 3 {\displaystyle {\frac {v_{1}}{3}}} from the piece of #1 and at least v 2 3 {\displaystyle {\frac {v_{2}}{3}}} from the piece of #2, which gives him at least 1/3 of the total cake.

In general, when partner #i enters the party, the previous i-1 partners divide their share to i equal pieces and the new partner picks a piece from each pile. Again it is possible to prove that the value of each partner is at least 1/n of the total, so the division is proportional.

Number of cuts

Straightforward use of the algorithm would generate n ! {\displaystyle n!} pieces, but in fact only about n 3 / 3 {\displaystyle n^{3}/3} are needed as each partner only really needs to do n 1 {\displaystyle n-1} cuts when the n {\displaystyle n} partner comes along.

Applications

Fink's protocol is used in a subroutine in other cake-cutting protocols:

References

  1. Fink, A. M. (1964). "A Note on the Fair Division Problem". Mathematics Magazine. 37 (5): 341–342. doi:10.2307/2689255. JSTOR 2689255.
  2. Optimization in Integers and Related Extremal Problems. T.L.Saaty. McGraw-Hill 1970
  3. Brams, Steven J.; Taylor, Alan D. (1996). Fair Division: From cake-cutting to dispute resolution. p. 40. ISBN 0521556449.
Categories: