Fix distinct players and write , with analogous notation for and . Splitting sampled coalitions according to whether they contain the other player givesSubtracting yields the Banzhaf difference identity,In a weighted voting game, means that has greater total weight than . Thus for every : if the lighter coalition reaches the quota, the heavier one does too. Every summand is nonnegative, proving . Equality remains possible even when the weights differ.
Articles by others on the same topic
There are currently no matching articles.