Solution

ID: past-exam-of-the-computer-science-course-of-the-university-of-oxford/2023/combinatorial-optimisation/1/c/ii/solution

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).

New to topics? Read the docs here!