贪婪算法有多好?Submodularity告诉你

文章目录

  • 贪婪算法有多好?Submodularity告诉你
    • submodularity condition
  • Submodularity + Monotonicity = $1-\frac{1}{e}$ approximation.
    • Cardinality constraint
    • Knapsack Constraint
    • Matroid Constraint
  • 参考资料

贪婪算法有多好?Submodularity告诉你

贪婪算法可以说是最符合我们人类直觉的算法了,甚至有的时候贪婪算法就可以得到目标的最优解,比如说最小生成树算法。那么我们自然就会想知道,它能达到最优值吗?如何判断?实际上一个叫Matroid的东西是可以帮助我们判断是否能达到最优值的。但是如果不能达到最优,它到底有多近似呢?submodularity optimization对这个问题给予了一个答案。

我们形式化地定义一下这个贪婪算法的问题,对于元素N,我们希望找到一个使得f最大的最优子集 S ∈ N \displaystyle S\in N SN,即 m a x S ∈ N f ( S ) \displaystyle max_{S\in N} f( S) maxSNf(S),其中 f : 2 N → R \displaystyle f:2^{N}\rightarrow \mathbb{R} f:2NR

这样的问题很显然,我们是不可能去遍历所有的子集来找这个最优解的,所以在什么条件下,这样的问题才可以求解?

submodularity condition

接下来,我们会对f做一些约束,赋予他一个叫monotone和submodularity的性质。我们可以把f想象成是一个评价雷达覆盖范围的函数,当我们在不同的点选择放置雷达的时候,他有可能会跟现有的一些雷达的范围有重合,但是可以肯定的是,当我们在不停放置雷达的时候,覆盖范围是肯定不会减少的,只会变得越来越大。即如果有集合 S ⊂ T \displaystyle S\subset T ST一定有 f ( S ) ⩽ f ( T ) \displaystyle f( S) \leqslant f( T) f(S)f(T)这称为monotone 单调性。

因此,单调性是我们希望函数拥有的第一个性质。

而第二个性质就是submodularity性质。
贪婪算法有多好?Submodularity告诉你_第1张图片

对于同一个地方,在雷达覆盖范围比较小的时候加入一个雷达(左图),它的效果肯定比在雷达覆盖范围比较大的时候加一个雷达的效果要好(右图)。基于此我们可以给出一个定义:

Definition 1 函数 f : 2 N → R f:2^{N}\rightarrow \mathbb{R} f:2NR成为submodular当且仅当对于所有的子集 S ⊂ T ⊂ N \displaystyle S\subset T\subset N STN 和 所有 x ∈ N \ T \displaystyle x\in N\backslash T xN\T
f ( S ∪ { x } ) − f ( S ) ≥ f ( T ∪ { x } ) − f ( T ) {\displaystyle f(S\cup \{x\})-f(S)\geq f(T\cup \{x\})-f(T)} f(S{x})f(S)f(T{x})f(T)

这里T就是雷达覆盖范围比较大的时候,S就是覆盖范围比较小的时候,显然对S“雪中送炭”的效果要更加好。

Proposition 1 f   是 \displaystyle f\ 是 f submodular 当且仅当 A , B ⊂ N \displaystyle A,B\subset N A,BN

f ( A ∩ B ) + f ( A ∪ B ) ≤ f ( A ) + f ( B ) {\displaystyle f(A\cap B)+f(A\cup B)\leq f(A)+f(B)} f(AB)+f(AB)f(A)+f(B)

证明:令 A = T , B = S ∪ { x } \displaystyle A=T,B=S\cup \{x\} A=T,B=S{x}这就是我们上面的定义的式子,实际上因为 A ∩ B ⊂ B \displaystyle A\cap B\subset B ABB根据定义我们可以推出:
f ( A ) − f ( A ∩ B ) ≥ f ( A ∪ B ) − f ( B ) f ( { A ∩ B } ∪ { A } ) − f ( A ∩ B ) ≥ f ( B ∪ A ) − f ( B ) {\displaystyle f(A)-f(A\cap B)\geq f(A\cup B)-f(B)}\\ {\displaystyle f(\{A\cap B\} \cup \{A\} )-f(A\cap B)\geq f(B\cup A)-f(B)} f(A)f(AB)f(AB)f(B)f({AB}{A})f(AB)f(BA)f(B)
在不等号左边,A可以换种写法,是 { A ∩ B } \displaystyle {\displaystyle \{A\cap B\}} {AB}然后再并上的A,于是我们就得到上面的这条公式。

接下来再介绍几个有用的性质,submodular函数的求和还是submodular函数,submodular函数的加权求和(权重非负)也还是submodular函数。这个性质让我们可以定义一些很简单的submodular函数,然后把他们加起来组成一个复杂的函数。

Submodularity + Monotonicity = 1 − 1 e 1-\frac{1}{e} 1e1 approximation.

现在你的函数有了这两个性质,而且任务找到一个大小为k的子集S使得f达到最大,那么不同大小的k会造成什么影响呢?该理论的一个漂亮的地方是,如果你函数有Submodularity和Monotonicity这两个性质那么至少63%的效果是可以保证的。当然在实际中,常常可以高于这个值。以下定理给出了该描述的一个正式证明,该函数在使用贪婪算法,每一步都选择一个最优的元素x来最大化f时,他一定能得到一个1-1/e(63%)的近似。为了证明这个bound,我们给出几个定义以及一些有用的定理。

Definition 2 f : 2 N → R f:2^{N}\rightarrow R f:2NR, S ⊆ N S\subseteq N SN, 对于与S的marginal contribution 定义为一个关于S的函数 f S f_{S} fS
∀ T ⊆ N , f S ( T ) = f ( S ∪ T ) − f ( S ) \forall T\subseteq N,f_{S}( T) =f( S\cup T) -f( S) TN,fS(T)=f(ST)f(S)
这个表示在已有集合S的前提下增加一个T的增量。根据submodular的性质,显然submodular等价于 ∀ S ⊆ T ⊆ N , ∀ e ∈ N \ T \displaystyle \forall S\subseteq T\subseteq N,\forall e\in N\backslash T STN,eN\T, f T ( e ) ⩽ f S ( e ) \displaystyle f_{T}( e) \leqslant f_{S}( e) fT(e)fS(e).事实上,这里定义的marginal contribution可以看做是在离散数据上微分的推广,这里测量的正是一种增量。

Proposition 2 以下三个命题是等价的:

  1. f is submodular
  2. f S \displaystyle f_{S} fS is submodular
  3. f S \displaystyle f_{S} fS is subadditive

证明:
1⟹ 2: 设 T ⊂ M \displaystyle T\subset M TM,于是可以推出下面等式成立:
f S ( T ∪ e ) − f S ( T ) = f ( S ∪ T ∪ e ) − f ( S ) − f ( S ∪ T ) + f ( S ) = f ( S ∪ T ∪ e ) − f ( S ∪ T ) ≥ f ( S ∪ M ∪ e ) − f ( S ∪ M ) = f S ( M ∪ e ) − f S ( M ) \begin{aligned} f_{S}( T\cup e) -f_{S}( T) & =f( S\cup T\cup e) -f( S) -f( S\cup T) +f( S)\\ & =f( S\cup T\cup e) -f( S\cup T)\\ & {\displaystyle \geq } f( S\cup M\cup e) -f( S\cup M) =f_{S}( M\cup e) -f_{S}( M) \end{aligned} fS(Te)fS(T)=f(STe)f(S)f(ST)+f(S)=f(STe)f(ST)f(SMe)f(SM)=fS(Me)fS(M)

2⟹3: 由上一个条件可知 f S \displaystyle f_{S} fS也是submodular函数,因此我们只需证明submodular函数都是subadditive就可以了。
B = { e 1 , . . . , e n } , B i = { e 1 , . . . , e i } \displaystyle B=\{e_{1} ,...,e_{n}\} ,B_{i} =\{e_{1} ,...,e_{i}\} B={e1,...,en},Bi={e1,...,ei}
f ( A ∪ B ) = f ( A ) + f ( A ∪ B ) − f ( A ) = f ( A ) + ∑ i = 1 n f ( A ∪ B i ) − f ( A ∪ B i − 1 ) ⩽ f ( A ) + ∑ i = 1 n f ( B i ) − f ( B i − 1 ) = f ( A ) + f ( B ) \begin{aligned} f( A\cup B) & =f( A) +f( A\cup B) -f( A)\\ & =f( A) +\sum ^{n}_{i=1} f( A\cup B_{i}) -f( A\cup B_{i-1})\\ & \leqslant f( A) +\sum ^{n}_{i=1} f( B_{i}) -f( B_{i-1})\\ & =f( A) +f( B) \end{aligned} f(AB)=f(A)+f(AB)f(A)=f(A)+i=1nf(ABi)f(ABi1)f(A)+i=1nf(Bi)f(Bi1)=f(A)+f(B)

上述不等式是因为 f ( A ∪ B i − 1 ∪ e i ) − f ( A ∪ B i − 1 ) ⩽ f ( B i − 1 ∪ e i ) − f ( B i − 1 ) \displaystyle f( A\cup B_{i-1} \cup e_{i}) -f( A\cup B_{i-1}) \leqslant f( B_{i-1} \cup e_{i}) -f( B_{i-1}) f(ABi1ei)f(ABi1)f(Bi1ei)f(Bi1)
3⟹1: 考虑 S ⊆ T ⊆ N , e ∈ N \ T \displaystyle S\subseteq T\subseteq N,e\in N\backslash T STN,eN\T T ′ = T \ S \displaystyle T'=T\backslash S T=T\S

f T ( e ) = f S ( T ′ ∪ e ) − f S ( T ′ ) ⩽ f S ( T ′ ) + f S ( e ) − f S ( T ′ ) = f S ( e ) \begin{aligned} f_{T}( e) & =f_{S}( T'\cup e) -f_{S}( T')\\ & \leqslant f_{S}( T') +f_{S}( e) -f_{S}( T') =f_{S}( e) \end{aligned} fT(e)=fS(Te)fS(T)fS(T)+fS(e)fS(T)=fS(e)

证毕。
接下来给出一个非常重要的引理

Corollary 1 设f是submodular函数,则

∀ S ⊆ T ⊆ N ,   f ( T ) ⩽ f ( S ) + ∑ e ∈ T \ S f S ( e ) \forall S\subseteq T\subseteq N,\ f( T) \leqslant f( S) +\sum _{e\in T\backslash S} f_{S}( e) STN, f(T)f(S)+eT\SfS(e)

如果f是monotone submodular 那么S不需要是T是子集

∀ S ⊆ N , ∀ T ⊆ N , f ( T ) ⩽ f ( S ) + ∑ e ∈ T \ S f S ( e ) \forall S\subseteq N,\forall T\subseteq N,f( T) \leqslant f( S) +\sum _{e\in T\backslash S} f_{S}( e) SN,TN,f(T)f(S)+eT\SfS(e)

证明:如果f是submodular的,那么根据其subadditive性质:

f S ( T ) = f S ( T \ S ) ⩽ ∑ e ∈ T \ S f S ( e ) f_{S}( T) =f_{S}( T\backslash S) \leqslant \sum _{e\in T\backslash S} f_{S}( e) fS(T)=fS(T\S)eT\SfS(e)

因为 f S ( T ) = f ( S ∪ T ) − f ( S ) \displaystyle f_{S}( T) =f( S\cup T) -f( S) fS(T)=f(ST)f(S),若 S ⊆ T \displaystyle S\subseteq T ST显然有 f ( S ∪ T ) = f ( T ) \displaystyle f( S\cup T) =f( T) f(ST)=f(T),若 S ̸ ⊆ T \displaystyle S\not{\subseteq T} S̸T,根据monoton性质,有 f ( T ) ⩽ f ( S ∪ T ) \displaystyle f( T) \leqslant f( S\cup T) f(T)f(ST),于是 f ( T ) − f ( S ) ⩽ f ( S ∪ T ) − f ( S ) \displaystyle f( T) -f( S) \leqslant f( S\cup T) -f( S) f(T)f(S)f(ST)f(S),
证毕。

Cardinality constraint

现在我们第一个想要推的定理就是使用贪婪法得到的长度不超过K的子集与最优子集的差距最少也有 1 − 1 e \displaystyle 1-\frac{1}{e} 1e1。不妨假设 f ( ϕ ) = 0 \displaystyle f( \phi ) =0 f(ϕ)=0,(如果不为0,可以减去一个常数让他为0),先来考虑一个最简单的约束条件,我们希望找到长度最多为K的最优子集,使用贪婪算法来搜索:
S ∗ = arg ⁡ max ⁡ S : ∣ S ∣ ⩽ K f ( S ) S^{*} =\arg\max_{S:|S|\leqslant K} f( S) S=argS:SKmaxf(S)

并使用如下贪婪算法去搜索:
贪婪算法有多好?Submodularity告诉你_第2张图片
可以证明上述算法 S G S_G SG的近似程度为(1- 1/e):

Theorem 1 S G \displaystyle S_{G} SG achieves a (1- 1/e)-approximation of the optimum.
证明:
S i = { e 1 , . . . , e i } \displaystyle S_{i} =\{e_{1} ,...,e_{i}\} Si={e1,...,ei}表示 S G \displaystyle S_{G} SG是由贪婪算法在第i步返回的结果,且 S ∗ \displaystyle S^{*} S为最优的集合。

f ( S ∗ ) ⩽ f ( S i − 1 ) + ∑ e ∈ S ∗ \ S i − 1 f S i − 1 ( e ) = f ( S i − 1 ) + ∑ e ∈ S ∗ \ S i − 1 f ( S i − 1 ∪ e ) − f ( S i − 1 ) ⩽ f ( S i − 1 ) + ∑ e ∈ S ∗ \ S i − 1 f ( S i ) − f ( S i − 1 ) ⩽ f ( S i − 1 ) + K ( f ( S i ) − f ( S i − 1 ) ) \begin{aligned} f\left( S^{*}\right) & \leqslant f( S_{i-1}) +\sum _{e\in S^{*} \backslash S_{i-1}} f_{S_{i-1}}( e)\\ & =f( S_{i-1}) +\sum _{e\in S^{*} \backslash S_{i-1}} f( S_{i-1} \cup e) -f( S_{i-1})\\ & \leqslant f( S_{i-1}) +\sum _{e\in S^{*} \backslash S_{i-1}} f( S_{i}) -f( S_{i-1})\\ & \leqslant f( S_{i-1}) +K( f( S_{i}) -f( S_{i-1})) \end{aligned} f(S)f(Si1)+eS\Si1fSi1(e)=f(Si1)+eS\Si1f(Si1e)f(Si1)f(Si1)+eS\Si1f(Si)f(Si1)f(Si1)+K(f(Si)f(Si1))
第一个不等式来自与推论1。第二个不等式是因为在贪婪算法中,在第i步加入的e一定是最优的,即 f ( S i ) ⩾ f ( S i − 1 ∪ e ) \displaystyle f( S_{i}) \geqslant f( S_{i-1} \cup e) f(Si)f(Si1e),第三个不等于号是因为我们约束 ∣ S ∣ ⩽ K \displaystyle |S|\leqslant K SK,所以最多只有K个求和。
同时减去 K f ( S ∗ ) \displaystyle Kf\left( S^{*}\right) Kf(S)
f ( S i − 1 ) + K f ( S i ) − K f ( S i − 1 ) − K f ( S ∗ ) ⩾ f ( S ∗ ) − K f ( S ∗ ) K f ( S i ) − K f ( S ∗ ) ⩾ f ( S ∗ ) − K f ( S ∗ ) + K f ( S i − 1 ) − f ( S i − 1 ) f ( S i ) − f ( S ∗ ) ⩾ K − 1 K ( f ( S i − 1 ) − f ( S ∗ ) ) ⩾ ( K − 1 K ) 2 ( f ( S i − 2 ) − f ( S ∗ ) ) . . . \begin{aligned} f( S_{i-1}) +Kf( S_{i}) -Kf( S_{i-1}) -Kf\left( S^{*}\right) & \geqslant f\left( S^{*}\right) -Kf\left( S^{*}\right)\\ Kf( S_{i}) -Kf\left( S^{*}\right) & \geqslant f\left( S^{*}\right) -Kf\left( S^{*}\right) +Kf( S_{i-1}) -f( S_{i-1})\\ f( S_{i}) -f\left( S^{*}\right) & \geqslant \frac{K-1}{K}\left( f( S_{i-1}) -f\left( S^{*}\right)\right)\\ & \geqslant \left(\frac{K-1}{K}\right)^{2}\left( f( S_{i-2}) -f\left( S^{*}\right)\right)\\ & ... \end{aligned} f(Si1)+Kf(Si)Kf(Si1)Kf(S)Kf(Si)Kf(S)f(Si)f(S)f(S)Kf(S)f(S)Kf(S)+Kf(Si1)f(Si1)KK1(f(Si1)f(S))(KK1)2(f(Si2)f(S))...

然后我们一直将 S i − 1 , S i − 2 , . . . \displaystyle S_{i-1} ,S_{i-2} ,... Si1,Si2,...往下展开从而有

f ( S i ) ⩾ ( 1 − ( 1 − 1 K ) i ) f ( S ∗ ) \begin{aligned} f( S_{i}) & \geqslant \left( 1-\left( 1-\frac{1}{K}\right)^{i}\right) f\left( S^{*}\right) \end{aligned} f(Si)(1(1K1)i)f(S)

又因为 ( 1 − 1 K ) K ≤ 1 e (1-\frac{1}{K})^K \le \frac{1}{e} (1K1)Ke1,所以

f ( S i ) ⩾ ( 1 − 1 e ) f ( S ∗ ) \begin{aligned} f( S_{i}) & \geqslant \left( 1-\frac{1}{e}\right) f\left( S^{*}\right) \end{aligned} f(Si)(1e1)f(S)

证毕。

Knapsack Constraint

接来下介绍一下另一种约束,有时候,其集合长度不一定是固定的,每将一个元素加进集合都可能导致一些成本,所以,考虑在一定成本下,找到最优的集合就很重要。考虑成本函数 c : N → R + \displaystyle c:N\rightarrow R^{+} c:NR+和预算 B ∈ R + \displaystyle B\in R^{+} BR+,考虑如下优化问题:
S ∗ ∈ arg ⁡ max ⁡ S :   c ( S ) ⩽ B f ( S ) S^{*} \in \arg\max_{S:\ c( S) \leqslant B} f( S) SargS: c(S)Bmaxf(S)

在这种约束下,有很多种不同的贪婪策略,不同的策略会有不同的界,一个最简单的策略就是从每次选择最大提升的元素加入S,变成每次选择性价比最高元素加入集合S。
贪婪算法有多好?Submodularity告诉你_第3张图片

Matroid Constraint

那么什么时候,贪婪算法可以得到最优解呢? 答案是,如果我们在搜索子集的时候,搜索空间中所有的子集都是“独立”的,那么我们是有可能用贪婪算法找到最优解的。而Matriod定义了这么一种独立的性质.
贪婪算法有多好?Submodularity告诉你_第4张图片
想要进一步了解可以访问以下参考资料。

参考资料

When Greedy Algorithms are Good Enough: Submodularity and the (1 – 1/e)-Approximation
When Greedy Algorithms are Perfect: the Matroid
Notes on Greedy Algorithms for Submodular Maximization
Submodular Function Maximization

你可能感兴趣的:(人工智能)