Transferable Utility Cooperative Games
Input
- Set of agents
- A coalition is a subset of agents; is the grand coalition
- Characteristic function: mapping coalitions to the utility that the coalition members can generate by working together, satisfying
- normalization:
- non-negativity: for
- monotonicity: for
Outcome
- Coalition Structure: is partition of agents into coalitions ( is not fixed)
- Payoff Vector: distributing utility generated by coalitions to agents, satisfying
- for all
- for each
TU Cooperative Games: Solution Concepts
Core Stability
Core: The core of a TU game , denoted , is the set of all outcomes in which no coalition has an incentive to deviate, i.e.
For an outcome , we call a deviating / blocking coalition if
Outcomes in the Core Maximize Total Generated Utility: Let be a TU game. For , we have
for each coalition structure
- The core of a TU game might be empty!
-Core: An outcome of a TU game is in the -core if for all .
- cost for moving / laziness
Power Indices
Idea: Distribute utility according to agentsโ โinfluenceโ in the game
Naive Ideas: (Average) Marginal contributions, i.e. adding agents one by one to the coalition
- when we do not average, the ordering of the agents changes the result
Shapley Value: The Shapley value of agent is
- : set of all permutations of (i.e. bijective mappings from to )
- For and , let be the set of all predecessors of in
- The marginal contribution of some agent with respect to permutation is
- Probabilistic Interpretation: Randomly choose an agent ordering. is the expected marginal contribution of to the coalition of their predecessors
Charaterization of the Shapley Value:
- Nullity: If is a dummy agent, then
- Dummy Agent: An agent is a dummy agent if for each
- Efficiency:
- Symmetry: For two symmetric agents
- Symmetric Agents: Two agents are symmetric if for each
- Additivity: For two TU games and and agent , in is equal to in plus in
Check for this properties before calculating Shapley values
Computing Shapley Value
Idea: All permutations with identical have the same iterate over preceding subsets instead of permutations
Algorithm: For some coalition , there are permutations with