Constrained Submodular Set Function