边际收益与次模函数
“the marginal gain”(边际收益) 是指在向一个集合 S S S 中添加一个元素 v v v 所带来的函数值 f f f 的增加量。具体来说,边际收益 Δ f \Delta f Δf 表示为:
Δ f = f ( S ∪ { v } ) − f ( S ) \Delta f = f(S \cup \{v\}) - f(S) Δf=f(S∪{v})−f(S)
这里, f ( S ∪ { v } ) f(S \cup \{v\}) f(S∪{v}) 是在集合 S S S 中加入元素 v v v 后的函数值,而 f ( S ) f(S) f(S) 是原集合 S S S 的函数值。因此,边际收益就是添加元素 v v v 前后函数值的差异。
在描述中,函数 f f f 被称为次模函数(submodular function),如果它满足一种自然的"收益递减"性质:对于任何一个元素 v v v 和任意两个满足 S ⊆ T S \subseteq T S⊆T 的集合 S S S 和 T T T,向较小的集合 S S S 中添加元素 v v v 所带来的边际收益,至少要和向较大的集合 T T T 中添加相同元素 v v v 所带来的边际收益相等或更大。形式化地说,就是:
f ( S ∪ { v } ) − f ( S ) ≥ f ( T ∪ { v } ) − f ( T ) f(S \cup \{v\}) - f(S) \geq f(T \cup \{v\}) - f(T) f(S∪{v})−f(S)≥f(T∪{v})−f(T)
这意味着,集合越大,添加同一个元素所带来的增益会越小,体现了收益递减的特性。