Skip to main content
Mathematics LibreTexts

5.1: Introduction

  • Page ID
    37760
  • \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    \( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)

    ( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)

    \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

    \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)

    \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

    \( \newcommand{\Span}{\mathrm{span}}\)

    \( \newcommand{\id}{\mathrm{id}}\)

    \( \newcommand{\Span}{\mathrm{span}}\)

    \( \newcommand{\kernel}{\mathrm{null}\,}\)

    \( \newcommand{\range}{\mathrm{range}\,}\)

    \( \newcommand{\RealPart}{\mathrm{Re}}\)

    \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

    \( \newcommand{\Argument}{\mathrm{Arg}}\)

    \( \newcommand{\norm}[1]{\| #1 \|}\)

    \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

    \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)

    \( \newcommand{\vectorA}[1]{\vec{#1}}      % arrow\)

    \( \newcommand{\vectorAt}[1]{\vec{\text{#1}}}      % arrow\)

    \( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vectorC}[1]{\textbf{#1}} \)

    \( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)

    \( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)

    \( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)

    \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    \(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)

    Whether it is two kids sharing a candy bar or a couple splitting assets during a divorce, there are times in life where items of value need to be divided between two or more parties. While some cases can be handled through mutual agreement or mediation, in others the parties are adversarial or cannot reach a decision all feel is fair. In these cases, fair division methods can be utilized.

    Fair Division Method

    A fair division method is a procedure that can be followed that will result in a division of items in a way so that each party feels they have received their fair share. For these methods to work, we have to make a few assumptions:

    • The parties are non-cooperative, so the method must operate without communication between the parties.
    • The parties have no knowledge of what the other players like (their valuations).
    • The parties act rationally, meaning they act in their best interest, and do not make emotional decisions.
    • The method should allow the parties to make a fair division without requiring an outside arbitrator or other intervention.

    With these methods, each party will be entitled to some fair share. When there are N parties equally dividing something, that fair share would be 1/N. For example, if there were 4 parties, each would be entitled to a fair share of \(\frac{1}{4}=25\%\) of the whole. More specifically, they are entitled to a share that they value as \(25\%\) of the whole.

    Fair Share

    When \(N\) parties divide something equally, each party’s fair share is the amount they entitled to. As a fraction, it will be \(\frac{1}{N}\)

    It should be noted that a fair division method simply needs to guarantee that each party will receive a share they view as fair. A basic fair division does not need to be envy free; an envy-free division is one in which no party would prefer another party’s share over their own. A basic fair division also does not need to be Pareto optimal; a Pareto optimal division is one in which no other division would make a participant better off without making someone else worse off. Nor does fair division have to be equitable; an equitable division is one in which the proportion of the whole each party receives, judged by their own valuation, is the same. Basically, a simple fair division doesn’t have to be the best possible division – it just has to give each party their fair share.

    Example 1

    Suppose that 4 classmates are splitting equally a \(\$12\) pizza that is half pepperoni, half veggie that someone else bought them. What is each person’s fair share?

    Solution

    Since they all are splitting the pizza equally, each person’s fair share is \(\$3\), or pieces they value as \(25\%\) of the pizza.

    It is important to keep in mind that each party might value portions of the whole differently. For example, a vegetarian would probably put zero value on the pepperoni half of the pizza.

    Example 2

    Suppose that 4 classmates are splitting equally a \(\$12\) pizza that is half pepperoni, half veggie. Steve likes pepperoni twice as much as veggie. Describe a fair share for Steve.

    Solution

    He would value the veggie half as being worth \(\$4\) and the pepperoni half as \(\$8\), twice as much. If the pizza was divided up into 4 pepperoni slices and 4 veggie slices, he would value a pepperoni slice as being worth \(\$2\), and a veggie slice as being worth \(\$1\).

    If we weren’t able to guess the values, we could take a more algebraic approach. If Steve values a veggie slice as worth x dollars, then he’d value a pepperoni slice as worth \(2x\text{ dollars }–\text{ twice as much}\). Four veggie slices would be worth \(4 \cdot x = 4x\) dollars, and 4 pepperoni slices would be worth \(4 \cdot 2x = 8x\) dollars. Altogether, the eight slices would be worth \(4x + 8x = 12x\) dollars. Since the total value of the pizza was \(\$12\), then \(12x = \$12\). Solving we get \(x = \$1\); the value of a veggie slice is \(\$1\), and the value of a pepperoni slice is \(2x = \$2\).

    A fair share for Steve would be one pepperoni slice and one veggie slice (\(\$2 + \$1 = \$3\) value), \(1\frac{1}{2}\) pepperoni slices (\(1\frac{1}{2} \cdot \$2 = \$3\) value), 3 veggie slices (\(3 \cdot \$1 = \$3\) value), or a variety of more complicated possibilities.

    Try it Now 1

    Suppose Kim is another classmate splitting the pizza, but Kim is vegetarian, so won’t eat pepperoni. Describe a fair share for Kim.

    Answer

    Kim will value the veggie half of the pizza at the full value, \(\$12\), and the pepperoni half as worth \(\$0\). Since a fair share is \(25\%\), a fair share for Kim is one slice of veggie, which she’ll value at \(\$3\). Of course, Kim only getting one slice doesn’t really seem very fair, but if every player had the same valuation as Kim, this would be the only fair outcome. Luckily, if the classmates splitting the pizza are friends, they are probably cooperative, and will talk about what kind of pizza they like.

    You will find that many examples and exercises in this topic involve dividing food – dividing candy, cutting cakes, sharing pizza, etc. This may make this topic seem somewhat trivial, but instead of cutting a cake, we might be drawing borders dividing Germany after WWII. Instead of splitting a bag of candy, siblings might be dividing belongings from an inheritance. Mathematicians often characterize very important and contentious issues in terms of simple items like cake to separate any emotional influences from the mathematical method.

    Because of this, our requirement that the players not communicate about their preferences can seem silly. After all, why wouldn’t four classmates talk about what kind of pizza they like if they’re splitting a pizza? Just remember that in issues of politics, business, finance, divorce settlements, etc. the players are usually less cooperative and more concerned about the other players trying to get more than their fair share.

    There are two broad classifications of fair division methods: those that apply to continuously divisible items, and those that apply to discretely divisible items. Continuously divisible items are things that can be divided into pieces of any size, like dividing a candy bar into two pieces or drawing borders to split a piece of land into smaller plots. Discretely divisible items are when you are dividing several items that cannot be broken apart easily, such as assets in a divorce (house, car, furniture, etc).


    This page titled 5.1: Introduction is shared under a CC BY-SA 3.0 license and was authored, remixed, and/or curated by David Lippman (The OpenTextBookStore) via source content that was edited to the style and standards of the LibreTexts platform.