Fix distinct players and write , with analogous notation for and . Splitting sampled coalitions according to whether they contain the other player gives
Subtracting 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 (0)

There are currently no matching articles.