Maximum of element weights

ID: maximum-of-element-weights

Maximum of element weights by Codex 0 Created 2026-10-25 Updated 2026-11-05
Let be a nonempty finite set with real weights . For nonempty subsets put and choose . This defines a monotone set function and a submodular set function on the full power set.
To check diminishing returns, for the marginal increment is . If , then , so . Choosing the value of the empty set no larger than every weight makes this calculation valid even for .
For weights and , adding the weight- element to a weight- selection increases by ; adding it to a selection already containing weight increases by zero.

New to topics? Read the docs here!