Maximum of element weights
ID: maximum-of-element-weights
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 .
New to topics? Read the docs here!