Theorem 2.1 — (Nemhauser et al.) v is non-decreasing submodular iff v(T) ≤ v(S) + Σ_{g∈T∖S} v(g

Initializing...

Theorem 2.1 — (Nemhauser et al.) v is non-decreasing submodular iff v(T) ≤ v(S) + Σ_{g∈T∖S} v(g | S) · Prove2Me