Shapley–Shubik power index

The Shapley–Shubik power index (SSPI) is a measure of a participant’s a priori voting power in a decision-making body. It was introduced by Lloyd S. Shapley and Martin Shubik in 1954 as an application of the Shapley value from cooperative game theory to simple yes–no voting games.[1] The index assigns to each player the probability of being pivotal—that is, the first to turn a losing coalition into a winning one—over all possible orderings of voters.

Definition

[edit]

Let there be n voters with weights (possibly all 1) and a quota q for passage. For any permutation (ordering) of the voters, the pivotal voter is the first whose addition to the running total weakly meets q. The Shapley–Shubik index for voter i is the fraction of all n! permutations in which i is pivotal; indices sum to 1 across voters.[2]

Mathematical formulation

[edit]

Let N be the voter set and v(S)∈{0,1} indicate whether coalition S⊆N is winning. For player i, where Π is the set of all permutations of N and P_i^π is the set of players preceding i in permutation π. The bracketed term is 1 iff i is pivotal in π.[3]

Historical background

[edit]

Shapley and Shubik’s original 1954 paper introduced the index as a way to quantify individual influence in committees, parliaments, and other decision-making bodies.[1] Their work built on cooperative game theory and the Shapley value, adapting it for monotonic binary voting games. Subsequent research expanded the theory, connected it to other power indices, and applied it to legislative design, corporate governance, and international organizations.

Properties

[edit]

The SSPI satisfies standard axioms for power measures in simple games:[2]

  • Efficiency: .
  • Symmetry: equally situated voters have equal indices.
  • Dummy: a voter who never turns any losing coalition into a winner has index 0.
  • Additivity/transfer: behavior is consistent under sums of games.

It is sensitive to both the quota and the distribution of weights. Unlike the Banzhaf power index, which averages over coalitions, SSPI averages over orderings and therefore embeds an ordering-based notion of pivotality.[3]

Worked examples

[edit]

Four-member weighted body

[edit]

Let weights be A=3, B=2, C=1, D=1 with quota q=4. Enumerating the 24 permutations shows A pivotal in 12, and each of B, C, D pivotal in 4. Thus A has 0.50, while B=C=D=1/6.

Shareholder meeting

[edit]

With shares (40, 30, 30) and q=51, the pivotal-probability rule yields indices (0.50, 0.25, 0.25). The largest shareholder’s influence exceeds proportional ownership.

Supermajority example

[edit]

For five equal voters and q=4 (a 4/5 supermajority), each voter’s index equals 0.2: symmetry implies equal power even under a high quota, though actual passage rates drop.

Computational complexity and algorithms

[edit]

Direct enumeration uses n! permutations. For weighted majority games, dynamic programming over weight sums reduces computation to pseudo-polynomial time O(n·W), where W is the total weight, or O(n·2^n) over coalitions; sampling methods estimate indices with probabilistic error bounds.[4][5] Computing Shapley-value-based indices in general cooperative games is #P-complete, implying no polynomial-time algorithm exists unless P=#P.[6]

Applications

[edit]
  • Legislatures and councils. SSPI is used to quantify influence under different seat allocations and quotas, including supermajorities and veto rules.[7]
  • International organizations. Analyses of the United Nations Security Council and the Council of the European Union compare permanent-member veto power and weighted voting under treaty reforms.[2]
  • Corporate governance. Shareholder power under dual-class structures or staggered thresholds can diverge substantially from proportional ownership.[3]
  • Constitutional and institutional design. Designers assess how proposed rule changes (quotas, membership, weights) affect ex ante influence before adoption.[7]

Variants and extensions

[edit]

Researchers have extended the index to settings with abstention, probabilistic approval, communication structures, and hierarchical or multiple-issue games; the SSPI appears as a special case of the Shapley value under simple games and uniform ordering probabilities.[2][3] Methods based on the multilinear extension and marginal-contribution distributions provide efficient approximations in large electorates.[8]

Comparison with other indices

[edit]

Compared with the Banzhaf index, SSPI weights permutations rather than coalitions; when all coalitions are equally likely and players are independent, the two measures can diverge, particularly under extreme quotas or skewed weights. Deegan–Packel and Johnston indices emphasize minimal winning coalitions and criticality patterns, offering alternative normative interpretations.[2][3]

Criticism and limitations

[edit]

The SSPI assumes (i) all orderings are equally likely and (ii) players vote independently of preferences, parties, or agenda control. Real-world bodies can violate these assumptions via party discipline, procedural rules, logrolling, or agenda setting, making ex post influence differ from ex ante power.[7] Nonetheless, the index remains a benchmark because it is axiomatic, transparent, and comparable across designs.

Current research and debates

[edit]

Recent work studies (a) scalable Monte-Carlo estimators with confidence guarantees, (b) correlated or strategic voting models, (c) robustness of power under membership changes, and (d) computational social-choice “control” problems that seek to alter an actor’s power by adding or removing players or weight—many of which are computationally intractable (e.g., NP^PP-complete).[5][9]

Examples

[edit]

Suppose decisions are made by majority rule in a body consisting of A, B, C, D, who have 3, 2, 1 and 1 votes, respectively. The majority vote threshold is 4. There are 4! = 24 possible orders for these members to vote:

ABCD ABDC ACBD ACDB ADBC ADCB
BACD BADC BCAD BCDA BDAC BDCA
CABD CADB CBAD CBDA CDAB CDBA
DABC DACB DBAC DBCA DCAB DCBA

For each voting sequence the pivot voter – that voter who first raises the cumulative sum to 4 or more – is bolded. Here, A is pivotal in 12 of the 24 sequences. Therefore, A has an index of power 1/2. The others have an index of power 1/6. Curiously, B has no more power than C and D. When you consider that A's vote determines the outcome unless the others unite against A, it becomes clear that B, C, D play identical roles. This reflects in the power indices.

Suppose that in another majority-rule voting body with members, in which a single strong member has votes and the remaining members have one vote each. In this case the strong member has a power index of (unless , in which case the power index is simply ). Note that this is more than the fraction of votes which the strong member commands. Indeed, this strong member has only a fraction of the votes. Consider, for instance, a company which has 1000 outstanding shares of voting stock. One large shareholder holds 400 shares, while 600 other shareholders hold 1 share each. This corresponds to and . In this case the power index of the large shareholder is approximately 0.666 (or 66.6%), even though this shareholder holds only 40% of the stock. The remaining 600 shareholder have a power index of less than 0.0006 (or 0.06%). Thus, the large shareholder holds over 1000 times more voting power as each other shareholder, while holding only 400 times as much stock.[10]

The above can be mathematically derived as follows. Note that a majority is reached if at least votes are cast in favor. If , the strong member clearly holds all the power, since in this case (i.e., the votes of the strong member alone meet the majority threshold). Suppose now that and that in a randomly chosen voting sequence, the strong member votes as the th member. This means that after the first member have voted, votes have been cast in favor, while after the first members have voted, votes have been cast in favor. The vote of strong member is pivotal if the former does not meet the majority threshold, while the latter does. That is, , and . We can rewrite this condition as . Note that our condition of ensures that and (i.e., all of the permitted values of are feasible). Thus, the strong member is the pivotal voter if takes on one of the values of up to but not including . Since each of the possible values of is associated with the same number of voting sequences, this means that the strong member is the pivotal voter in a fraction of the voting sequences. That is, the power index of the strong member is .

Applications

[edit]

The index has been applied to the analysis of voting in the Council of the European Union.[11]

The index has been applied to the analysis of voting in the United Nations Security Council. The UN Security Council is made up of fifteen member states, of which five (the United States of America, Russia, China, France and the United Kingdom) are permanent members of the council. For a motion to pass in the Council, it needs the support of every permanent member and the support of four non permanent members. This is equivalent to a voting body where the five permanent members have eight votes each, the ten other members have one vote each and there is a quota of forty four votes, as then there would be fifty total votes, so you need all five permanent members and then four other votes for a motion to pass. Note that a non-permanent member is pivotal in a permutation if and only if they are in the ninth position to vote and all five permanent members have already voted. Suppose that we have a permutation in which a non-permanent member is pivotal. Then there are three non-permanent members and five permanent that have to come before this pivotal member in this permutation. Therefore, there are ways of choosing these members and so 8! × different orders of the members before the pivotal voter. There would then be 6! ways of choosing the remaining voters after the pivotal voter. As there are a total of 15! permutations of 15 voters, the Shapley-Shubik power index of a non-permanent member is: . Hence the power index of a permanent member is .

Python implementation

[edit]

This is a simple implementation of the above example in Python.

from math import factorial, floor

def normalize(x):
    total = sum(x)
    return [float(x) / total for x in x]
	
def enumerate_coalitions(n):
    if n == 0:
        yield []
    else:
        for coalition in enumerate_coalitions(n - 1):
            yield coalition
            yield coalition + [n]
	
def power_index(seats, threshold=None):
    if threshold is None:
        threshold = floor(sum(seats) / 2) + 1
    result = [0] * len(seats)
	for coalition in enumerate_coalitions(len(seats) - 1):
		for pivot in range(len(seats)):
			coalition_seats = sum(seats[(pivot + i) % len(seats)] for i in coalition)
			if (coalition_seats < threshold and threshold <= coalition_seats + seats[pivot]):
				result[pivot] += factorial(len(coalition)) * factorial(len(seats) - len(coalition) - 1)
	return normalize(result)

print(power_index([3, 2, 1, 1]))

See also

[edit]

References

[edit]
  1. ^ a b Shapley, Lloyd S.; Shubik, Martin (1954). "A Method for Evaluating the Distribution of Power in a Committee System". American Political Science Review. 48 (3): 787–792. doi:10.2307/1951053. Retrieved 2025-09-08.
  2. ^ a b c d e Felsenthal, Dan S.; Machover, Moshé (1998). The Measurement of Voting Power: Theory and Practice, Problems and Paradoxes. Edward Elgar. ISBN 978-1-85898-641-7. {{cite book}}: Check |isbn= value: checksum (help)
  3. ^ a b c d e Taylor, Alan D.; Zwicker, William S. (1999). Simple Games: Desirability Relations, Trading, Pseudoweightings. Princeton University Press. ISBN 978-0-691-01058-3. {{cite book}}: Check |isbn= value: checksum (help)
  4. ^ Matsui, Tomomi; Matsui, Yasuko (2000). "A survey of algorithms for calculating power indices of weighted majority games". Journal of the Operations Research Society of Japan. 43 (1): 71–86. doi:10.15807/jorsj.43.71.
  5. ^ a b Bachrach, Yoram; Porat, Erez (2008). Approximating Power Indices (PDF). Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems. pp. 943–950. Retrieved 2025-09-08.
  6. ^ Deng, Xiaotie; Papadimitriou, Christos H. (1994). On the Complexity of Cooperative Solution Concepts. Proceedings of the 10th Conference on Uncertainty in Artificial Intelligence. pp. 151–158. Retrieved 2025-09-08.
  7. ^ a b c Laruelle, Annick; Valenciano, Federico (2008). Voting and Collective Decision-Making: Bargaining and Power. Cambridge University Press. ISBN 978-0-521-88668-5. {{cite book}}: Check |isbn= value: checksum (help)
  8. ^ Owen, Guillermo (1972). "Multilinear Extensions and the Shapley Value". Naval Research Logistics Quarterly. 19 (2): 199–206. doi:10.1002/nav.3800190204.
  9. ^ Faliszewski, Piotr; Rothe, Jörg (2024). "Control by Adding Players to Change or Maintain the Shapley–Shubik or the Penrose–Banzhaf Power Index". Journal of Artificial Intelligence Research. 79: 311–350. Retrieved 2025-09-08.
  10. ^ Shapley, L. S.; Shubik, M. (1954). "A Method for Evaluating the Distribution of Power in a Committee System". American Political Science Review. 48 (3): 787–792. doi:10.2307/1951053. hdl:10338.dmlcz/143361. JSTOR 1951053. S2CID 143514359.
  11. ^ Varela, Diego; Prado-Dominguez, Javier (2012-01-01). "Negotiating the Lisbon Treaty: Redistribution, Efficiency and Power Indices". Czech Economic Review. 6 (2): 107–124.
[edit]