|
为了便于解释,我们将简化的经验福利Fn表示为带参数V的集合函数∈ 2N,其中疫苗分配的二元载体v∈ {0,1}和V对应于V={i∈ N:vi=1}:Fn(V)=V|W V+C|V- 1 | N×1^W v- v|^W 1N×1,(20)式中^C=^c。。。^cN, 1N×1=...,^W=^w^w··^w1N^w^w··^w2N。。。。。。。。。。。。^wN 1^wN 2··^wN N, (21)^wij=-Aijgi | Ni |N(βaiSiajIj+βaiSibjIj+βbiSiajIj+βbiSibjIj)。(22)然后我们表示受基数约束|V|的可行分配集V的类≤ d由Vd提供≡ {V∈ 2N:|V |≤ d} 。由于接种额外的个体不能减少自身费用,Fn是一个非递减集函数,即对于任何V 五、 Fn(五)≤ Fn(V)。如(20)所示,Fn的二次函数形式可以与一个称为割函数的经典子模函数相联系。割函数在组合优化和图论中得到了很好的研究。我们应用了该文献中的一些结果(如Bach(2011))。引理4.1。让我们∈ RN×Nand^C∈ 注册护士。然后设置函数Fn:v7→ v|^W v+C|v-|N×1^W v- v | W 1N×1是子模当且仅当^wij≤ 0I6=j。关于Fn的非递减性质的形式证明,参见定理4.1的证明。证据见附录。注意,这个引理中所示的子模块化的必要和充分条件不同于矩阵^W的负半唯一性。由于^wijar中的所有参数都是非负的,所以我们必须有^wij≤ 0, i、 j=1。。。,N.这立即导致以下定理:定理4.1。目标函数Fn(V)是一个非递减的子模函数,用于任何邻接矩阵、协变量值和参数估计。定理4.1是本文的关键结果。它描述了目标函数的两个重要性质;单调性和子模块性。
|