Put for . Under the bijection , the weights satisfy and . Consequently
Subtracting proves the alternative Shapley value expression
For the dual coalitional game , its marginal contribution at predecessor set is
The same weight-preserving complement bijection therefore gives , and both equal the displayed expression. The Shapley value is invariant under coalitional duality. This Shapley self-duality calculation complements within , not within without accounting for the distinguished player.
Shapley self-duality 2026-10-07
Complementing predecessor sets within preserves their Shapley value weights, since the factorials and interchange. For the dual coalitional game, the corresponding marginal contribution equals the original contribution at that complementary set. Hence the values coincide. The same bijection gives .