Yes: this is a monotone set function. Assume , as required by its definition at the empty set. If , every weight considered in the maximum over is considered in the maximum over , hence . If and , the minimum over is at most every weight in , hence again . No sign condition on the weights is needed.
For every and , including , the marginal increment is
For the empty set, this uses . The monotone set function property from (i) gives when . Consequently
Thus diminishing returns holds, so is a submodular set function by (b).

Articles by others on the same topic (0)

There are currently no matching articles.