Solution

ID: past-exam-of-the-computer-science-course-of-the-university-of-oxford/2018/computational-game-theory/3/b/solution

Take three players and define the simple cooperative game
It is a superadditive coalitional game: two disjoint coalitions cannot both have value one because each would need player 1. If one has value one, their union does too; if neither does, the desired inequality is immediate.
The vector belongs to the core of a cooperative game. More strongly, it is the unique core vector: singleton constraints give nonnegative coordinates, efficiency gives sum one, and the value-one coalitions and force .
In a random player ordering, player 1 is pivotal unless it comes first, giving Shapley value . Player 2 is pivotal only in order , and player 3 only in order . Thus
The coalition receives only , so the Shapley value is outside the core. This proves that superadditivity and nonempty core do not imply Shapley stability.

New to topics? Read the docs here!