Efficient cake-cutting
Efficient cake-cutting is a problem in economics and computer science. It involves a heterogeneous resource, such as a cake with different toppings or a land with different coverings, that is assumed to be divisible - it is possible to cut arbitrarily small pieces of it without destroying their value. The resource has to be divided among several partners who have different preferences over different parts of the cake, i.e., some people prefer the chocolate toppings, some prefer the cherries, some just want as large a piece as possible, etc. The allocation should be economically efficient. Several notions of efficiency have been studied:
- The most common notion is Pareto-efficiency. It means that no other allocation is better for at least one participant and at least as good for everyone.
- A weaker notion is non-wastefulness. An allocation is non-wasteful if no agent receives a piece of cake that is worth 0 for him/her, and worth more than 0 for another agent.
Definitions
There is a cake. It is usually assumed to be either a finite 1-dimensional segment, a 2-dimensional polygon or a finite subset of the multidimensional Euclidean plane.There are partners. Each partner has a subjective value function which maps subsets of to numbers.
has to be divided into disjoint subsets, such that each person receives a disjoint subset. The piece allocated to person is called, so that.
In the following lines we consider a cake with four parts: chocolate, vanilla, lemon and sugar, and two agents: Alice and George, with the following valuations:
| Chocolate | Vanilla | Lemon | Sugar | |
| Value of Alice | 7 | 1 | 2 | 0 |
| Value of George | 6 | 4 | 0 | 0 |
An allocation is called wasteful if it allocates to some agent a piece that is worth 0 to that agent but worth more than 0 to another agent. In symbols:
and.
Otherwise it is called non-wasteful. In the example cake, an allocation giving all the cake to Alice is NW, but an allocation giving all the cake to George is wasteful since the lemon part is "wasted". There are many other NW allocations, for example, giving the chocolate to George and the remaining cake to Alice is NW.
An allocation Pareto-dominates an allocation, if at least one person feels that is better than, and no person feels that is worse than. In symbols:
An allocation is called Pareto optimal if it is not Pareto-dominated by any other division, i.e., it cannot be improved without objection. In the example cake, giving the entire cake to Alice is PO, but giving the entire cake to Bob is Pareto-dominated by the allocation where the lemon part is given to Alice. In general, every wasteful allocation is Pareto-dominated, therefore every PO allocation is NW. However, the opposite is not true. For example, the allocation giving the chocolate to George and the remaining cake to Alice is NW but it is not PO - it is Pareto-dominated by the allocation giving to George the vanilla and half the chocolate. This is because, in the original allocation the utilities of are, while in the alternative allocation the utilities are.
Existence and computation
Efficient allocations always exist. For example, every utilitarian-optimal cake-cutting is PO, hence also NW.However, finding such allocations may be hard. It may be impossible to find a NW cake-allocation using a finite number of "mark" and "eval" queries, even if there are only two agents with piecewise-uniform valuations. This is because, after any finite number of such queries, the algorithm has information regarding only a finite number of intervals, and thus it cannot prevent waste inside the intervals: for any allocation of an interval to an agent, it is possible that this agent values a part of this interval at 0 while the other agent values the same part at 1. Hence, PO too is not attainable by a finite protocol.
The problem becomes easy under the assumption of strict positivity : every allocation is trivially NW, and every allocation that gives all the cake to a single agent is trivially PO.
The problem is also easy for an algorithm that uses direct revelation instead of queries. In a direct revelation algorithm, each agent reveals his/her entire valuation function to the algorithm; this is possible, for example, when the valuations are piecewise-constant. With direct revelation, it is easy to find a utilitarian-optimal allocation, and such an allocation is also PO and NW.
Combining efficiency with fairness
Often, it is required to find an allocation that is not only efficient but also fair according to various fairness notions. Existence still holds:- A PO allocation that is also proportional always exists. For example, an allocation maximizing the sum of values subject to proportionality always exists, and it is PO.
- Moreover, a PO allocation that is also envy-free always exists. This does not follow directly from the above argument, since envy-freeness is not preserved by Pareto improvements. However, it is proved explicitly as Weller's theorem.
- In the query model, no finite algorithm that gives each agent a positive fraction of the cake can be PO, even with only two agents with strictly-positive valuations. This is because a finite algorithm always knows the values of finitely many intervals, so it cannot avoid inefficiencies inside intervals: for any allocation of the intervals, there may be a profitable exchange of sub-intervals that the algorithm cannot detect.
- In the direct revelation model, the Market Equilibrium Algorithm yields a PO and envy-free allocation in polynomial time for any number of agents.
Combining efficiency with fairness and connectivity
- A PO allocation that is also proportional still always exists. This is because the set of all proportional contiguous allocations is still compact, and proportionality is still preserved by Pareto improvements.
- A PO allocation that is also envy-free might not exist when there are at least three agents, even if they have piecewise-constant valuations.
- With general valuations, when the value-densities are strictly positive, divide and choose is PO and proportional for two agents. Suppose w.l.o.g. that Alice cuts, George chooses the leftmost piece and Alice gets the rightmost piece. Any alternative allocation where George gets the left and Alice gets the right cannot be a Pareto improvement, as any movement of the cut location to the left hurts George, and any movement to the right hurts Alice. Any alternative allocation where George gets the right and Alice gets the left cannot be a Pareto improvement, since in any such allocation, at least one of them must get less than 1/2 of the total value, while in the original allocation both get at least 1/2.
- With piecewise-constant valuations, the Market Equilibrium Algorithm algorithm does not necessarily produce connected pieces, so it does not work. However, an algorithm similar to can be used to find a proportional allocation that maximizes the sum of utilities for any number of agents, by solving linear programs.
Non-additive valuations
If the cake is a 1-dimensional interval and each person must receive a connected interval, the following general result holds: if the value functions are strictly monotonic then every EF division is also PO. Hence, in this case, the Simmons–Su protocols create a PO+EF division.If the cake is a 1-dimensional circle and each person must receive a connected arc, then the previous result does not hold: an EF division is not necessarily PE. Additionally, there are pairs of value functions for which no PO+EF division exists. However, if there are 2 agents and at least one of them has an additive value function, then a PO+EF division exists.