---
title: LLM Coalition Formation Game (LCFG)
url: https://www.emergentmind.com/topics/llm-coalition-formation-game-lcfg
type: topic
---

# LLM Coalition Formation Game (LCFG)

The **LLM Coalition Formation Game (LCFG)** is a formal model of coalition formation in multi-agent large-language-model systems in which LLM agents are treated as strategic players that partition themselves into cooperative groups for a task episode. In its explicit formulation, LCFG is a **hedonic game** \(G=(N,v,\{\succsim_i\}_{i\in N})\) with exclusive partitions, per-capita coalition preferences, and formal stability notions such as Nash stability, individual stability, and core stability; it is paired with a prompting protocol, **Coalition-of-Thought (CoalT)**, for coalition reasoning by LLMs [2604.14386].

## 1. Conceptual scope and problem setting

LCFG addresses a problem that differs from standard two-player or action-selection analyses. The central object is not a bilateral strategy profile, but a **partition** of a finite set of LLM agents into coalitions, where each agent belongs to exactly one coalition in a task episode. The explicit motivation for exclusivity is practical constraints such as **API budgets, compute limits, and context-window limits** [2604.14386].

In the formal agent model, each agent is written as
\[
a_i=(m_i,\theta_i,\mathbf{c}_i),
\]
where \(m_i\in\mathcal{M}\) is the model architecture, \(\theta_i\in\Theta=[0,2]\times\Sigma^*\) is the configuration consisting of temperature \(\tau\in[0,2]\) and system prompt \(s\in\Sigma^*\), and \(\mathbf{c}_i\in[0,1]^d\) is a capability profile over \(d\) skill dimensions [2604.14386]. This makes coalition formation explicitly capability-sensitive rather than purely structural.

The framework is designed for settings in which utilities depend on **coalition membership** and **group composition**, and where the outcome is a **partition** of the agent set. This places LCFG within the broader coalition-formation literature, but with a specific emphasis on prompt-sensitive, boundedly rational LLM agents rather than fully rational abstract players [2604.14386].

## 2. Formal game model

An LCFG instance is defined as
\[
G=(N,v,\{\succsim_i\}_{i\in N}),
\]
where \(N=\{a_1,\ldots,a_n\}\) is the set of LLM agents, \(v:2^N\to\mathbb{R}\) is a coalition value function, and \(\succsim_i\) is agent \(a_i\)'s preference relation over coalitions containing \(a_i\), informed by per-capita value \(v_i(S)=v(S)/|S|\) [2604.14386].

The coalition value function is
\[
v(S)=\phi\left(\bigoplus_{a_i\in S}\mathbf{c}_i\right)-\psi(|S|),
\]
with \(\phi:[0,1]^d\to\mathbb{R}\) as capability aggregation, \(\oplus\) as componentwise maximum, and \(\psi:\mathbb{N}\to\mathbb{R}\) as coordination cost. The paper instantiates
\[
\phi(\mathbf{c})=\|\mathbf{c}\|_1/d
\quad\text{and}\quad
\psi(k)=\alpha\cdot k^\beta
\]
with default empirical calibration
\[
\alpha=0.15,\qquad \beta=1.3.
\]
Capability aggregation by componentwise maximum means that a coalition’s effective skill vector is determined by its best member on each capability dimension, while \(\psi\) imposes superlinear coordination overhead [2604.14386].

A coalition structure is a partition
\[
\pi=\{C_1,\ldots,C_k\}
\]
such that the \(C_j\) are disjoint and \(\bigcup_j C_j=N\). Agent preferences are hedonic because each agent’s ranking depends only on the coalition it belongs to, not on the organization of outsiders. The paper explicitly states that LCFG is a **hedonic game**, but does **not** explicitly identify it as additively separable or fractional; it is a value-based hedonic game with equal per-capita sharing [2604.14386].

The primary stability notion is **Nash stability**:
\[
\forall a_i\in C\in\pi,\ \forall C'\in \pi\cup\{\emptyset\}:\quad C\succsim_i C'\cup\{a_i\}.
\]
This means no agent would rather leave its current coalition to join another coalition or become a singleton. The paper also discusses **individual stability**, where the receiving coalition must not be harmed, and **core stability**, where no group of agents can jointly deviate so that all members strictly benefit [2604.14386].

## 3. Bounded rationality, consistency, and convergence

A defining feature of LCFG is that LLM preferences are not treated as perfectly rational oracle outputs. Instead, agents are modeled as **\(\epsilon\)-rational**:
\[
v_i(S)>v_i(T)+\epsilon \implies S\succ_i T,
\]
where \(v_i(S)=v(S)/|S|\). This means that if two coalitions differ by more than \(\epsilon\), the higher-valued coalition must be preferred; when the value gap is smaller, inconsistent or near-random behavior is permitted [2604.14386].

The paper reports empirical estimates
\[
\hat{\epsilon}=0.15\ \text{for GPT-4},\quad
\hat{\epsilon}=0.14\ \text{for Claude-3},\quad
\hat{\epsilon}=0.22\ \text{for Llama-3-70B},
\]
with the corresponding 95% confidence intervals \([0.12,0.18]\), \([0.11,0.17]\), and \([0.18,0.26]\) [2604.14386]. Preference **consistency** is treated separately: an agent has consistency \(p_i\in[0,1]\) if repeated queries for the same coalition comparison return the same answer with probability \(p_i\).

The deterministic theory uses three structural assumptions: the **\(\delta\)-value gap condition**, **potential alignment**, and **capability monotonicity**. The value-gap condition requires that for all distinct coalitions \(S,T\ni a_i\), either \(v_i(S)=v_i(T)\) or \(|v_i(S)-v_i(T)|\ge\delta\). Potential alignment is defined by
\[
\Phi(\pi)=\sum_{C\in\pi}v(C),
\]
with every improving unilateral deviation increasing \(\Phi\). Capability monotonicity requires that if \(\mathbf{c}_i\le \mathbf{c}_j\) componentwise, then \(v(S\cup\{a_i\})\le v(S\cup\{a_j\})\) [2604.14386].

Under these assumptions, Theorem 1 states that if \(\epsilon<\delta/2\), a Nash-stable partition exists and can be found in polynomial time. Theorem 3 gives a convergence bound under asynchronous unilateral deviations:
\[
O(n^2\cdot \Delta_v/\delta),
\qquad
\Delta_v=\max_S v(S)-\min_S v(S).
\]
Theorem 4 separates **verification** and **computation**: verifying Nash stability of a given partition is in \(P\), with \(O(n^2)\) preference queries under explicit value computation, while computing a Nash-stable partition is NP-hard in general hedonic games and remains so for LCFG when the capability dimension \(d\) is unbounded; under capability monotonicity and potential alignment, both verification and computation are polynomial [2604.14386].

Because the empirical \(\epsilon\) values exceed \(\delta/2\), the practically relevant regime is probabilistic rather than deterministic. The paper gives a **consistency-driven lower bound**
\[
\Pr[\text{Nash-stable}] \ge p^{K_{\text{eff}}} q^{K_n-K_{\text{eff}}}\gamma(G),
\]
with \(p\) the consistency on critical decisions, \(q\approx 1\) on easy decisions, \(K_{\text{eff}}\) the number of effectively critical decisions, and \(\gamma(G)\) the probability that consistent dynamics reach a Nash-stable partition [2604.14386]. This shifts the emphasis from perfect rationality to repeatable preference elicitation.

## 4. Coalition-of-Thought and empirical evidence

Preferences in LCFG are elicited through prompting. The paper studies **Standard prompting**, **Vanilla chain-of-thought**, **Self-Consistency**, and **Coalition-of-Thought (CoalT)**. CoalT structures each coalition comparison into five steps: **Capability Analysis**, **Complementarity Assessment**, **Value Estimation**, **Coordination Cost Analysis**, and **Preference Declaration** [2604.14386].

The empirical study uses **GPT-4, Claude-3, and Llama-3** agents across **2,400 episodes**. The task setting is collaborative question answering with three capability dimensions: **Mathematical reasoning**, **Factual knowledge**, and **Logical analysis**. The paper reports four research questions: whether LLM agents converge to stable coalition structures, whether CoalT outperforms baselines, whether heterogeneous coalitions outperform homogeneous ones, and how CoalT components contribute to performance [2604.14386].

| Condition | Nash stability | Consistency |
|---|---:|---:|
| Standard | 41.8% | 0.64 |
| Vanilla CoT | 58.4% | 0.74 |
| CoalT | 73.2% | 0.86 |

CoalT also improves convergence and welfare: the reported convergence metric is \(11.4_{\pm 4.1}\), compared with \(18.3_{\pm 7.2}\) for Standard and \(14.2_{\pm 5.8}\) for Vanilla CoT, while welfare rises to \(0.81_{\pm .08}\) under CoalT [2604.14386]. The paper reports \(p<0.001\) for the key improvements in Nash stability.

The architecture-level results introduce a stability–welfare contrast. Under CoalT, **GPT-4 only** coalitions achieve **78.5%** stability, **Claude only** coalitions **81.2%**, **Llama only** coalitions **62.3%**, while **mixed** coalitions achieve **73.2%** stability but the highest reported welfare, **0.81** [2604.14386]. This suggests that heterogeneous coalitions can be welfare-superior even when homogeneous stronger-model groups are more stable.

The ablation results show that the largest individual contributor is **Complementarity assessment**: full CoalT yields **73.2%**, whereas removing Complementarity drops performance to **65.4%**, and removing all CoalT steps yields the Vanilla CoT result of **58.4%** [2604.14386].

## 5. Relation to coalition-formation theory

LCFG draws on several strands of coalition-formation research. The generic merge-and-split framework of Apt and Witzel formalizes coalition formation through local **merge** and **split** rules over partitions, and proves that if a \(\mathbb{D}_c\)-stable partition exists, every iteration of merge and split yields the same partition; this gives a general convergence template for coalition restructuring [0709.0435]. Levando’s non-cooperative formulation instead embeds coalition structure formation directly into a family of nested simultaneous games \(\Gamma(K)\), with partitions described by **Young diagrams**, strategy sets indexed by candidate coalition structures, and a coalition structure formation mechanism \(R(K)\); mixed equilibrium exists for every \(K\) [2107.00711].

Other neighboring models broaden the design space beyond LCFG’s exclusive hedonic partitions. Overlapping coalition formation allows a player to participate in multiple cooperative groups simultaneously through a **resource contribution vector** \(\mathcal{R}=(R_1,\dots,R_N)\), and the resulting overlapping coalitional structure can be stabilized by local resource-unit deviations [1402.2479]. Layered coalitional games add hierarchy: an upper-layer overlapping coalition formation game in partition form can be coupled to a lower-layer coalitional graphical game, so that upper-layer coalition value is generated endogenously by lower-layer interaction [1501.00620]. In partition-form games with deviation overhead, the **weak and strong \(\epsilon\)-core** characterize grand-coalition stability, while merge-based distributed algorithms can yield coalition structures in a **coalition structure stable set** [1402.5265]. In congestion-style partition-form games, coalition worth \(\nu_{\mathcal{C}}^{\mathcal{P}}\) depends on the partition and on the Nash equilibria of the induced game among coalitions, and stability can be analyzed through robust blocking under pessimistic anticipation [2410.06797].

Taken together, these results indicate that the LCFG of [2604.14386] is a specific point in a larger design space: it adopts **exclusive partitions**, **hedonic preferences**, and **per-capita coalition value**, whereas the broader literature also supports overlapping membership, partition-form externalities, layered architectures, and merge-and-split stability.

## 6. Language, dynamic coalitions, and open problems

A common simplification is to equate coalition structure with a static partition. Natural-language-based multi-agent interaction suggests a different representation. In **Diplomacy**, coalition structure can be modeled as a **weighted undirected multigraph**
\[
C=(N,E,Agmt,wt),
\]
where bilateral agreements are edges and multiple simultaneous agreements induce a multilateral network rather than a partition [2502.16339]. The paper’s agreement weighting rule,
\[
wt_i(\alpha)=V_i(\alpha)\,V_j^i(\alpha),\qquad
wt(\alpha)=wt_i(\alpha)\,wt_j(\alpha),
\]
combines strategic value with the subjective belief that the other player will honor the agreement [2502.16339]. This suggests that language-mediated LCFGs may require commitment graphs, honor probabilities, and subjective belief models rather than only static coalition partitions.

Several open issues follow directly. First, the LCFG of [2604.14386] assumes exclusive partitions, while overlapping and layered models show that coalition value can depend on simultaneous multi-membership and cross-layer interaction [1402.2479]. Second, exact deterministic stability is restricted to the regime \(\epsilon<\delta/2\), but empirical LLMs operate outside that regime, so the practically relevant notion is consistency-driven probabilistic stability rather than exact existence [2604.14386]. Third, dynamic and language-based coalition formation raises the issue of whether coalition structure should be represented as a **partition**, a **multigraph of agreements**, or a hybrid object [2502.16339]. Fourth, the broader non-cooperative coalition-structure literature shows that efficient outcomes do not uniquely identify coalition membership; the same payoff profile can arise under different realized partitions, so answer quality alone does not identify whether LLM agents genuinely formed a coalition [2107.00711].

The current LCFG formulation therefore supplies formal foundations for stable coalition formation in LLM agent networks, but it does not exhaust the topic. It defines one tractable and empirically validated coalition model—hedonic, partition-based, capability-driven, and consistency-sensitive—while the surrounding literature points toward extensions with overlapping coalitions, partition-form externalities, merge-and-split dynamics, layered structures, and language-mediated commitment networks [2604.14386].

Source: https://www.emergentmind.com/topics/llm-coalition-formation-game-lcfg