Characteristic Function Games

Motivating example: a taxi trip

Consider the following situation:

3 players share a taxi. Here are the costs for each individual journey:

  • Player 1: 6

  • Player 2: 12

  • Player 3: 42

As illustrated here:

A diagram showing the trip the taxi takes where all the stops are in a line. The first player has a cost of 6, the second a cost of 12, the third a cost of 42.

How can we represent this situation mathematically?

Definition of a characteristic function game

A characteristic function game G is given by a pair \((N,v)\) where \(N\) is the number of players and \(v:2^{[N]}\to\mathbb{R}\) is a characteristic function which maps every coalition of players to a payoff.

Question

For the taxi fare what is the characteristic function?

Definition of a monotone characteristic function game

A characteristic function game \(G=(N,v)\) is called monotone if it satisfies \(v(C_2)\geq v(C_1)\) for all \(C_1\subseteq C_2\).

A diagrammatic representation of monotonicity.

Question

Which of the following characteristic function games are monotone:

  1. The taxi fare.

  2. \(G=(3,v_1)\) with \(v_1\) defined as:

\[\begin{split}v_1(C)=\begin{cases} 0,&\text{if }C=\emptyset\\ 6,&\text{if }C=\{1\}\\ 12,&\text{if }C=\{2\}\\ 42,&\text{if }C=\{3\}\\ 10,&\text{if }C=\{1,2\}\\ 42,&\text{if }C=\{1,3\}\\ 42,&\text{if }C=\{2,3\}\\ 42,&\text{if }C=\{1,2,3\}\\ \end{cases}\end{split}\]

Definition of a superadditive characteristic function game

A characteristic function game \(G=(N,v)\) is called superadditive if it satisfies \(v(C_1\cup C_2)\geq v(C_1)+v(C_2).\)

A diagrammatic representation of superadditivity.

Question

Which of the following characteristic function games are superadditive:

  1. The taxi fare.

  2. \(G=(3,v_2)\) with \(v_2\) defined as:

\[\begin{split}v_2(C)=\begin{cases} 0,&\text{if }C=\emptyset\\ 6,&\text{if }C=\{1\}\\ 12,&\text{if }C=\{2\}\\ 42,&\text{if }C=\{3\}\\ 18,&\text{if }C=\{1,2\}\\ 48,&\text{if }C=\{1,3\}\\ 55,&\text{if }C=\{2,3\}\\ 80,&\text{if }C=\{1,2,3\}\\ \end{cases}\end{split}\]

[Maschler2013] is recommended for further reading.