Strong Nash equilibrium

A strategy profile from which no coalition can jointly deviate so that every coalition member becomes strictly better off.

Version

v1 · 2026-09-28 · History

Domain-specific #

12323

Domain group

Social Sciences

Origin domain

Economics & Finance

Subdomain

Game Theory → Economics & Finance

Core Idea

A strong Nash equilibrium (SNE) strengthens ordinary Nash equilibrium by testing coordinated deviations. At a candidate profile, choose any coalition, let its members change strategies jointly, and hold all outsiders fixed. If every coalition member can become strictly better off, the profile is not strong.

Singleton coalitions are included, so every SNE is a Nash equilibrium. The converse fails because unilateral stability does not rule out mutually beneficial coordination. Requiring all members to improve distinguishes the blocking test from aggregate welfare improvement or a deviation that compensates losers only implicitly.

Strong equilibrium is demanding and may not exist. Coalition-proof Nash equilibrium is different: it asks whether deviations are self-enforcing. Applications such as voting use SNE to eliminate plentiful ordinary equilibria, but the solution concept does not promise uniqueness or social optimality.

Structural Signature

Sig role-phrases:

• players and strategies. Define the game and feasible joint profiles. Constitutive carrier. If altered: Changing feasible strategy sets changes deviations and equilibrium.
• candidate profile. Fixes the actions being tested. Constitutive state. If altered: SNE is a property of a profile in a specified game.
• coalition. Allows any nonempty subset of players to coordinate changes. Constitutive strengthening. If altered: Restricting to singleton coalitions yields ordinary Nash stability.
• outsiders fixed. Holds nonmembers' actions at the candidate profile. Constitutive counterfactual. If altered: Allowing outsiders to respond defines a different stability concept.
• strict benefit for all members. Makes a deviation blocking only when every coalition member improves. Decision criterion. If altered: A gain for some coalition members with one loser does not defeat SNE.
• nonexistence boundary. Recognizes that coalition robustness is demanding and may have no solution. Boundary. If altered: Failure to find SNE is not a computational proof that the game is ill-posed.

What It Is Not

• Not ordinary Nash equilibrium. Unilateral immunity is necessary but not sufficient.
• Not Pareto efficiency alone. A profile can resist coalitions under fixed outsiders without globally maximizing welfare, and efficiency alone need not be stable.
• Not coalition-proof equilibrium. SNE does not limit attention to internally self-enforcing deviations.
• Not majority rule. A coalition is any subset and all its members must strictly gain.

Scope of Application

SNE applies to strategic-form games where coalition deviations and individual payoffs are well defined.

• Voting games. Filters outcomes vulnerable to coordinated voter changes.
• Public-goods games. Tests group deviations beyond unilateral free riding.
• Network formation. Examines joint rewiring under fixed outsiders.
• Mechanism design. Evaluates coalition resistance of implemented outcomes.
• Equilibrium comparison. Contrasts Nash, strong, and coalition-proof stability.

Clarity

The definition resolves three quantifiers: every coalition, some joint deviation, and strict gain for every member. Writing them explicitly prevents aggregate coalition gain or a single member's improvement from being mistaken for a blocking deviation.

Manages Complexity

A game with n players has exponentially many coalitions and potentially many joint deviations. SNE compresses that large search into a robustness label, while an actual proof still needs structural arguments or exhaustive bounds.

Abstract Reasoning

1. Specify players, feasible strategies, and payoff functions.
2. Fix the candidate strategy profile.
3. Enumerate or characterize each nonempty coalition while holding outsiders fixed.
4. Search for a joint deviation that strictly raises every member's payoff.
5. Accept strong equilibrium only if no coalition passes that blocking test.

Knowledge Transfer

The test transfers literally across games with comparable coalition and payoff structure. Organizational uses of 'strong agreement' are analogy unless strategies, outsiders, feasible joint deviations, and individual strict benefits are specified.

Examples

Canonical

At profile s, neither player can profit alone. Testing the grand coalition shows every alternative joint action makes at least one player weakly worse; with only two players, no coalition blocks s, so it is strong.

Mapped back: players and strategies → two-player strategic game; candidate profile → s; coalition → two singletons and grand coalition; outsiders fixed → none for grand coalition; other player fixed for singleton; strict benefit for all members → each alternative fails for someone; nonexistence boundary → not triggered.

Applied / In Practice

In an approval-voting game with a Condorcet winner, voters coordinate around the winner and no coalition can change ballots to make every member strictly prefer the resulting outcome. The source notes such strong equilibria can exist, with uniqueness requiring stronger majority conditions.

Mapped back: players and strategies → voters and approval ballots; candidate profile → ballots electing Condorcet winner; coalition → any voter subset; outsiders fixed → nonmembers keep ballots; strict benefit for all members → no common strict improvement; nonexistence boundary → existence depends on election structure.

Structural Tensions

T1: robustness vs. existence. Testing all coalitions gives a powerful stability guarantee but can eliminate every profile. Diagnostic: Does the application need a solution even when full coalition immunity fails?

T2: coalition power vs. deviation credibility. SNE blocks even deviations that might unravel internally; coalition-proof equilibrium screens credibility. Diagnostic: Should an unstable coalition plan count as a threat?

Structural–Framed Character

SNE is strongly structural: coalition sets, payoff inequalities, and counterfactual deviations determine the verdict. Application-specific preferences are inputs, not interpretive looseness. Its character: exhaustive coalition robustness under fixed outsiders.

Structural Core vs. Domain Accent

Skeletal core. A state is stable when no subset can jointly change it so every member strictly benefits.

Domain-bound accent. Players, strategies, payoffs, coalition deviations, and fixed outsiders make this a game-theoretic solution concept.

Why not prime. Coalition stability may recur, but SNE is an exact equilibrium predicate within formal games.

Instantiates / Related Primes

This entry is a kind of Equilibrium.

• Related — Nash equilibrium. Singleton coalitions recover unilateral stability.
• Related — coalition-proof Nash equilibrium. It applies an additional self-enforcement filter.

Relationships to Other Abstractions

Current abstraction Strong Nash equilibrium Domain-specific

Parents (1) — more general patterns this builds on

• Strong Nash equilibrium is a kind of Equilibrium Prime

  A strong Nash equilibrium is an equilibrium robust against jointly beneficial coalition deviations.

Hierarchy path (1) — routes to 1 parentless root

• Strong Nash equilibrium → Equilibrium → Fixed Point

Neighborhood in Abstraction Space

Strong Nash equilibrium sits in a crowded region of the domain-specific corpus (28^th percentile for distinctiveness): several abstractions share nearly its structure, so a description that fits it tends to fit its neighbors too.

Family — Allocation, Ranking & Bargaining Models (11 abstractions)

Nearest neighbors

• Rubinstein bargaining model — 0.92
• Max-dominated strategy — 0.91
• Correlated equilibrium — 0.91
• Evaluation function — 0.89
• Game — 0.88

Computed from structural-signature embeddings · 2026-10-08

Not to Be Confused With

• Nash equilibrium. Tell: Were only unilateral deviations tested?
• Coalition-proof Nash equilibrium. Tell: Must a blocking deviation itself be stable against further deviations?
• Pareto optimum. Tell: Is the question collective efficiency or coalition deviation from one profile?
• k-strong equilibrium. Tell: Are all coalition sizes tested or only those up to k?

References

• Frozen Wikipedia discovery revision: https://en.wikipedia.org/wiki/Strong_Nash_equilibrium (revision 1275030469).

The frozen Wikipedia revision is discovery provenance. The retained source set was reviewed for identity, formal or operational relation, and scope. The encyclopedia's structural synthesis is bounded to those claims; a thin authority surface is recorded as a nonblocking source-strengthening repair rather than concealed.