## Diagram: Coalition Structures in Cooperative Game Theory
### Overview
The image is a technical diagram illustrating different conceptualizations of coalitions and their values within cooperative game theory. It visually contrasts how the same set of players can be grouped into coalitions and how the value assigned to a coalition can depend on its internal structure (partition or graph). The diagram is divided into two primary sections: a left panel showing coalitions in "characteristic form" and "partition form," and a right panel showing coalitions in "graph form."
### Components/Axes
The diagram contains no traditional chart axes. Its components are:
* **Player Icons:** Blue human-shaped icons, each labeled with a number (1, 2, 3, 4, 5).
* **Coalition Boundaries:** Red circles enclosing sets of player icons to denote membership in a coalition.
* **Arrows:** Indicate the formation or labeling of a coalition from a group of players.
* **Text Labels:** Define coalition names (e.g., `S1`, `S2`) and their member sets (e.g., `{1,2,3}`).
* **Mathematical Notation:** Expresses the value function `v` applied to different coalition structures.
* **Graph Elements:** Within the right-side circles, arrows between player icons represent communication or connection links, forming a graph structure (`G¹_S`, `G²_S`).
### Detailed Analysis
**Left Panel: Characteristic vs. Partition Form**
1. **Top Circle (Players 4 & 5):**
* Contains two players, 4 and 5, each in their own inner red circle.
* An arrow points left to the label: `Coalition S₂ = {4}`.
* An arrow points right to the label: `Coalition S₃ = {5}`.
* An arrow points up to the label: `Coalition S₄ = {4, 5}`.
* This visually represents that from the set {4,5}, three distinct coalitions can be formed: two singletons and one grand coalition.
2. **Bottom Circle (Players 1, 2, & 3):**
* Contains three players (1, 2, 3) within a single red circle.
* An arrow points down to the label: `Coalition S₁ = {1, 2, 3}`.
3. **Mathematical Text (Center):**
* **In characteristic form:** `v(S₁, {S₂, S₃}) = v(S₁, {S₄}) = v(S₁)`
* This states that in the standard characteristic function form, the value of the grand coalition `S₁` is independent of how the remaining players {4,5} are partitioned. Whether they are split into two singletons (`{S₂, S₃}`) or form one coalition (`{S₄}`), the value of `S₁` remains `v(S₁)`.
* **In partition form:** `v(S₁, {S₂, S₃}) ≠ v(S₁, {S₄})`
* This states that in the partition function form, the value of coalition `S₁` *does* depend on the structure of the complementary coalition. The value when facing two opponents (`{S₂, S₃}`) is different from the value when facing one opponent (`{S₄}`).
**Right Panel: Graph Form**
1. **Left Circle (Graph G¹_S):**
* Label: `Coalition S = {1,2,3} with graph G¹_S`.
* Contains players 1, 2, and 3.
* **Graph Structure:** Double-headed arrows connect all pairs: 1↔2, 2↔3, and 1↔3. This represents a complete graph where every member can communicate directly with every other member.
2. **Right Circle (Graph G²_S):**
* Label: `Coalition S = {1,2,3} with graph G²_S`.
* Contains players 1, 2, and 3.
* **Graph Structure:** Double-headed arrows connect 1↔2 and 2↔3, but there is **no direct link** between 1 and 3. This represents a path graph where communication between 1 and 3 must go through player 2.
3. **Mathematical Text (Below):**
* **In graph form:** `It is possible that v(G¹_S) ≠ v(G²_S)`
* This states that the value of the coalition `S` can differ based on its internal communication network structure (`G¹_S` vs. `G²_S`), even though the member set is identical.
### Key Observations
1. **Form Dependency:** The core message is that the mathematical "form" (characteristic, partition, or graph) used to model a cooperative game fundamentally changes how coalition values are defined and calculated.
2. **Structural Sensitivity:** Both the partition form and graph form introduce sensitivity to structure that is absent in the characteristic form. The partition form is sensitive to the *external* environment (opponents' structure), while the graph form is sensitive to the *internal* structure (communication links).
3. **Visual Contrast:** The diagram effectively uses the same player set {1,2,3} on both sides to contrast the partition form (where the focus is on the complementary set {4,5}) and the graph form (where the focus is on the internal links within {1,2,3}).
### Interpretation
This diagram serves as a pedagogical tool to explain advanced concepts in cooperative game theory. It demonstrates that the simple characteristic function model (`v(S)`) is often insufficient as it ignores crucial strategic details.
* **The Left Panel** argues that in many real-world scenarios (e.g., bargaining, market competition), a coalition's power or payoff depends not just on who is in the opposing coalition, but on how those opponents are organized among themselves. A unified opponent (`S₄`) presents a different strategic challenge than a fragmented one (`S₂, S₃`).
* **The Right Panel** argues that the internal connectivity of a coalition is a source of value. A fully connected team (`G¹_S`) can coordinate perfectly and may be more efficient or powerful than a team with communication bottlenecks (`G²_S`), even if the members are the same.
The overarching insight is that **coalitional value is not an intrinsic property of a set of players, but an emergent property of the structural relationships—both internal and external—among those players.** The diagram visually codifies the move from set-based analysis to structure-based analysis in cooperative game theory.
