|
因为有很多置换结果π∈QiSk,m最大化这些,我们得到系统问题有一个有界的非负值,比如W,在z处达到sayat*和π*. ThusnXi=1kXl=1hi(l)vi(z*i(l))=W,(A.1)和彩票z*对于置换函数π是可行的*, i、 e.z*i(l)≥ z*i(l+1)表示所有i∈ [n] ,l∈ [k] andXi公司∈Rjz公司*i(π*i(l))≤ CJ适用于所有j∈ [m] ,l∈ [k] 。(A.2)如果这不是真的,那么目标函数Θ(π)的最小值*, z*, λ) 关于λ-∞ 而不是W≥ 对偶问题(II)的值等于W。考虑函数Θd:Rm×k+→ R、 通过最大化问题(II)中的目标函数,给出n,关于固定λ的π和d z≥ 0,Θd(λ):=最大πi∈Sk公司i、 z:zi(l)≥zi(l+1)i、 lΘ(π,z,λ)。我们注意到函数Θd(λ)是下半连续的,因为函数Θ(π,z,λ)在λ中是连续的。自(vi(·)起,i) 如果是凹严格递增函数,则存在一个足够大的有限λ,使得0≤ M:=Θd(λ)<∞. 因此,在λj(l)定义的域上,实现了Θd(λ)的最小值∈ [0,M/(minjcj)]对于所有j,l。由于这是一个有界区域,且函数Θd(λ)是下半连续的,因此存在λ*使得Θd(λ*) = 最小λ≥0Θd(λ)=W。自Θd(λ)起*) = W,我们有Θ(π*, z*, λ*) ≤ W然而,根据(A.1)、(A.2)和f,λ*j(l)≥ 对于所有j,l,我们得到Θ(π*, z*, λ*) ≥ W因此Θ(π*, z*, λ*) = W因此,定义Θd(λ)的最大值*) 在z实现*, π*. 这意味着π*isatis fies(4.1)for all i.引理的证明5.1。Let'zi≥ 0和τ>0。让z*我∈ Zi(\'Zi)应确保Vavgi(\'Zi)=Pkl=1hi(l)vi(z*i(l))。我们有,(z*i(l)+τ)l∈[k]∈ Zi(\'Zi+τ)和Vavgi(\'Zi+τ)≥kXl=1hi(l)vi(z*i(l)+τ)>kXl=1hi(l)vi(z*i(l))=Vavgi((R)zi),其中严格不等式来自于vi(·)严格递增的因子。
|