Utilitarian cake-cutting

Utilitarian cake-cutting is a rule for dividing a heterogeneous resource, such as a cake or a land-estate, among several partners with different cardinal utility functions. The rule says that the cake should be divided in a way which maximizes the sum of the utilities of the partners. It is called "utilitarian" because it is inspired by utilitarianism. An alternative term is maxsum cake-cutting.

Utilitarian cake-cutting is often not "fair"; hence, utilitarianism is in conflict with fair cake-cutting.

Example

Consider a cake with two parts: chocolate and vanilla, and two partners: Alice and George, with the following valuations:

Header text Chocolate Vanilla
Alice 9 1
George 6 4

The utilitarian rule gives each part to the partner with the highest utility. In this case, the utilitarian rule gives the entire chocolate to Alice and the entire Vanilla to George. The maxsum is 13.

The utilitarian division is not fair: it is not proportional since George receives less than half the total cake value, and it is not envy-free since George envies Alice.

Notation

The cake is called C. 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 \mathbb{R}^d.

There are n partners. Each partner i has a personal value function V_i which maps subsets of C ("pieces") to numbers.

C has to be divided to n disjoint pieces, one piece per partner. The piece allocated to partner i is called X_i, and C = X_1 \sqcup ... \sqcup X_n.

A division X is called utilitarian or utilitarian-maximal or maxsum if it maximizes the following expression:

\sum_{i=1}^{n}{V_i(X_i)}

The concept is often generalized by assigning a different weight to each partner. A division X is called weighted-utilitarian-maximal (WUM) if it maximizes the following expression:

\sum_{i=1}^{n}\frac{V_i(X_i)}{w_i}

where the w_i are given positive constants.

Utilitarianism and Pareto-efficiency

Every WUM division with positive weights is obviously Pareto-efficient. This is because, if a division Y Pareto-dominates a division X, then the weighted sum-of-utilities in Y is strictly larger than in X, so X cannot be a WUM division.

What's more surprising is that every Pareto-efficient division is WUM for some selection of weights.[1]

Characterization of the utilitarian rule

Christopher P. Chambers suggests a characterization to the WUM rule.[2] The characterization is based on the following properties of a division rule R:

The following is proved for partners that assign positive utility to every piece of cake with positive size:

Finding utilitarian-maximal divisions

Disconnected pieces

When the value functions are additive, utilitarian-maximal divisions always exist. Intuitively, we can give each fraction of the cake to the partner that values it the most, as in the example above. Similarly, WUM divisions can be found by giving each fraction of the cake to the partner for whom the ratio V_i / w_i is largest.

This process is easy to carry out when the value functions are piecewise-constant, i.e. the cake can be divided to a finite number of pieces such that the value density of each piece is constant for all people.

What happens when the value functions are general (not piecewise-constant)? Then, the simple procedure of "give each piece to the one which wants it the most" does not work because there is an infinite number of different "pieces" to consider.

The good news is that UM divisions still exist. This is a corollary of the Dubins–Spanier compactness theorem and it can also be proved using the Radon–Nikodym set.

The bad news is that no finite algorithm can find a UM division. Proof:[3] A finite algorithm has value-data only about a finite number of pieces. I.e. there is only a finite number of subsets of the cake, for which the algorithm knows the valuations of the partners. Suppose the algorithm has stopped after having value-data about k subsets. Now, it may be the case that all partners answered all the queries as if they have the same value measure. In this case, the largest possible utilitarian value that the algorithm can achieve is 1. However, it is possible that deep inside one of the k pieces, there is a subset which two partners value differently. In this case, there exists a super-proportional division, in which each partner receives a value of more than 1/n, so the sum of utilities is strictly more than 1. Hence, the division returned by the finite algorithm is not maxsum.

Connected pieces

When the cake is 1-dimensional and the pieces must be connected, the simple algorithm of assigning each piece to the agent that values it the most no longer works, even when the pieces are piecewise-constant. In this case, the problem of finding a UM division is NP-hard, and furthermore no FPTAS is possible unless P=NP.

There is a 8-factor approximation algorithm, and a fixed-parameter tractable algorithm which is exponential in the number of players.[4]

For every set of positive weights, a WUM division exists and can be found in a similar way.

Utilitiarianism vs. fairness

A utilitarian division is not always fair; see the #Example. Similarly, a fair division is not always utilitarian-maximal. Fairness comes with a price-tag: the price of fairness is the amount of welfare that society has to "pay" in order to maintain the ideal of fairness.

One approach to combining utilitarianism and fairness is to find, among all possible fair divisions, a fair division with a highest sum-of-utilities. In particular, the following algorithm is used to find an envy-free cake-cutting with maximum sum-of-utilities, for a cake which is a 1-dimensional interval, when each person may receive disconnected pieces and the value functions are additive:[5]

  1. For n partners with piecewise-constant valuations: create a set of totally constant pieces. solve a set of linear equations. Give each partner a fraction of each totally constant piece.
  2. For 2 partners with piecewise-linear valuations: for each point in the cake, calculate the ratio between the utilities: r=u_1/u_2. Give partner 1 the points with r\geq r^* and partner 2 the points with r<r^*, where r^* is a threshold calculated so that the division is envy-free. In general r^* cannot be calculated because it might be irrational, but in practice, when the valuations are piecewise-linear, r^* can be approximated by an "irrational search" approximation algorithm.
  3. For n partners with general valuations: additive approximation to envy and efficiency, based on the piecewise-constant-valuations algorithm.

See [6] for further discussion of these results relating them to equitable division.

See also

References

  1. Barbanel, Julius B.; Zwicker, William S. (1997). "Two applications of a theorem of Dvoretsky, Wald, and Wolfovitz to cake division". Theory and Decision 43 (2): 203. doi:10.1023/a:1004966624893.. See also Weller's theorem. For a similar result related to the problem of homogeneous resource allocation, see Varian's theorems.
  2. Chambers, Christopher P. (2005). "Allocation rules for land division". Journal of Economic Theory 121 (2): 236. doi:10.1016/j.jet.2004.04.008.
  3. Brams, Steven J.; Taylor, Alan D. (1996). Fair Division [From cake-cutting to dispute resolution]. p. 48. ISBN 0521556449.
  4. Aumann, Yonatan; Dombb, Yair; Hassidim, Avinatan (2013). Computing Socially-Efficient Cake Divisions. AAMAS.
  5. Cohler, Yuga Julian; Lai, John Kwang; Parkes, David C; Procaccia, Ariel (2011). Optimal Envy-Free Cake Cutting. AAAI.
  6. Steven J. Brams, Michal Feldman, John K. Lai, Jamie Morgenstern, Ariel D. Procaccia (2012). On Maxsum Fair Cake Divisions. Proceedings of the 26th AAAI Conference on Artificial Intelligence (AAAI-12). pp. 1285–1291. Retrieved 6 December 2015.
This article is issued from Wikipedia - version of the Thursday, December 24, 2015. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.