Minimal Winning Coalition Enumeration¶
Enumeration method — instantiates Pivotal Participation Leverage Mapping
Lists every coalition that wins but would lose if any single member left, exposing the players who sit in all of them (indispensable) and none of them (powerless).
Minimal Winning Coalition Enumeration maps the structure of winning rather than scoring it. A minimal winning coalition is a set of members that clears the decision rule but has no vote to spare — drop any one member and it loses. Enumerate the full set of them and the power map falls out of the structure directly: a player who appears in every minimal winning coalition is a veto player (no win happens without them); a player in none is a dummy (decorative, never necessary); the rest are substitutable, powerful in some coalitions and dispensable in others. Where the power indices compress all of this into a single number per member, this mechanism keeps the whole set of sets — preserving exactly which combinations win, which is the information a negotiator actually bargains over.
Example¶
A parliament has 100 seats split among four parties — A 45, B 25, C 20, D 10 — and a government needs 51 to form. Enumerate the minimal winning coalitions: {A,B} (70), {A,C} (65), {A,D} (55), and {B,C,D} (55). Each is winning, and each loses if any single member walks. Now read the structure. Party A sits in three of the four coalitions but not the fourth ({B,C,D} governs without it) — so A is a powerful near-hub, not an absolute veto player. Party D, the smallest at 10 seats, appears in two coalitions: it can complete a majority with A alone, or fill out the B-C-D bloc. D is a genuine kingmaker, not a rounding error. And no party sits in zero coalitions, so there are no dummies and several viable governments exist. That map — not the seat counts — is what tells each party its real bargaining position.
How it works¶
- Take the roster and the rule. Start from the explicit set of players (with weights) and the quota that defines a win.
- Generate winning coalitions. Find every subset that meets or exceeds the quota.
- Reduce to minimal. Discard any coalition that still wins after shedding a member, keeping only the ones where every member is necessary.
- Read the structure. Intersect all minimal coalitions to find veto players; the players in none are dummies; the counts and shapes reveal how many distinct paths to a win exist.
Keeping the coalition set — rather than collapsing it to a score — is the method's signature and its use.
Tuning parameters¶
- Decision rule / quota — simple majority, supermajority, or a weighted threshold; raising the bar enlarges the minimal coalitions and can turn a small player into a required member.
- Minimality definition — strict minimal-winning (no spare votes) vs. least-cost winning (cheapest to assemble); different notions surface different pivotal sets.
- Player aggregation — treat a faction as one player or as its members; splitting a bloc can create or dissolve a veto player.
- Feasibility filter — enumerate all combinatorially possible coalitions, or only the ideologically and practically viable ones; filtering trades completeness for realism.
- Enumeration completeness — full enumeration (exact, small bodies) vs. heuristic search for the interesting coalitions once the roster grows.
When it helps, and when it misleads¶
Its strength is showing the shape of power: who is indispensable, who is decorative, and how many independent routes to a win exist. It is the natural home for spotting veto players and kingmakers, and for seeing that a body has either one unavoidable gatekeeper or many interchangeable paths.
Its failures are combinatorial and behavioral. The number of coalitions explodes with the roster, so full enumeration is infeasible for large bodies; and, like the power indices, it treats every combination as equally available, ignoring that ideology or enmity rules many out — so the possible pivotal set overstates the plausible one. The misuse is presenting a combinatorial kingmaker as a political certainty, or enumerating only the coalitions that flatter a preferred deal. The corrective is to filter by feasibility and overlay preference data before treating any minimal coalition as a live option.[n1]
How it implements the components¶
pivotal_set_or_minimal_winning_coalition_map— it is this map: the enumerated set of minimal winning coalitions, with veto players and dummies read straight off it.decision_rule_or_threshold_model— enumeration operationalizes the quota-and-weights rule to decide which coalitions count as winning.participation_unit_map— it works from an explicit roster of the players eligible to join coalitions.
It does not compress the structure into a single power number per member (that is Banzhaf Power Index and the Shapley–Shubik Power Index) or test one named actor's live removal (that is Dependency Removal Counterfactual).
Related¶
- Instantiates: Pivotal Participation Leverage Mapping — it supplies the minimal-winning-coalition structure underlying the map.
- Sibling mechanisms: Banzhaf Power Index · Shapley–Shubik Power Index · Weighted Voting Simulation · Veto-Point Review · Pivotality Counterfactual Matrix · Quorum Sensitivity Table
Editorial Notes¶
Form Classification¶
Form family: Analysis, Modeling & Optimization
Rationale: Minimal Winning Coalition Enumeration operates as a computation, comparison, model, or analytic representation used to infer, estimate, or choose because it lists every coalition that wins but would lose if any single member left, exposing the players who sit in all of them (indispensable) and none of them (powerless).
Independent corroboration: The frozen evidence defines Minimal Winning Coalition Enumeration as 'Lists every coalition that wins but would lose if any single member left, exposing the players who sit in all of them (indispensable) and none of them (powerless)', so its operative form is Analysis, Modeling & Optimization.
Review outcome: Independent reviewer agreement; high confidence.
Origin Attribution¶
Primary origin: Political Science
Origin pattern: Cross-disciplinary synthesis
Present-day reach: Multi-domain
Rationale: Minimal winning coalitions and pivotal actors are canonical coalition-theory concepts in political science.
Related originating lineages:
- Economics & Finance — Cooperative game theory materially formalized coalition values and power indices.
- Mathematics — Combinatorics supplies exhaustive coalition enumeration.
Review resolution: Both independent reviews place the primary provenance in political_science. The queued differences (domain_reach_disagreement) concern secondary metadata, not primary lineage. The final retains economics_finance, mathematics only where a reviewer supplied a formative-lineage rationale; downstream use or broad applicability by itself is not treated as origin. origin_mode=cross_disciplinary_synthesis because the supplied rationales identify formative contributions that are composed in the mechanism's present form. domain_reach=multi_domain records established application breadth separately from provenance. confidence=high preserves the more cautious evidence assessment. encyclopedia_synthesis=false records whether either reviewer identified deliberate corpus-level composition.
Review outcome: Reconciled after independent review; high confidence.
Notes¶
[n1] A minimal winning coalition wins with no vote to spare; William Riker's size principle argues that rational coalition-builders tend toward exactly these, since surplus members only dilute each one's share. A player in every minimal winning coalition is a veto player (Tsebelis's term); one in none is a dummy. ↩