|
我们有以下分解结果:定理3.1。对于任何固定π,都存在平衡参数r*, m级*, δ*和z*这样(i)对于每个玩家,i,m*隔离用户问题用户*i、 hi,vi),(ii)δ*解决网络问题NET[δ;m*, π、 A,c],(iii)m*i(l)=δ*i(l)r*i(l)对于所有i,l,(iv)δ*i(l)=z*i(l)- z*所有i、l和(v)z的i(l+1)*解决固定排列系统问题SYS\\u FIX[z;π,h,v,A,c]。证据由于SYS\\u FIX[z;π,h,v,A,c]是一个凸优化问题,我们知道存在z*= (z)*i(l),i∈ [n] ,l∈ [k] ),α*= (α*i(l),i∈ [n] ,l∈ [k] )和λ*= (λ*j(l),j∈ [m] ,l∈ [k] )以使hi(l)v′i(z*i(l))=ρ*i(l)- α*i(l)+α*i(l- 1),我,l、 (3.5)z*i(l)≥ z*i(l+1),α*i(l)≥ 0, α*i(l)(z)*i(l)- z*i(l+1))=0,我,l、 (3.6)Xi∈Rjz公司*i(πi(l))≤ cj,λ*j(l)≥ 0, λ*j(l)[cj-xi∈Rjz公司*i(πi(l))]=0,j l、 (3.7)式中ρ*i(l):=Xj∈Jiλ*j(π-1i(l)),并且z*解决固定排列系统问题SYS\\u FIX[z;π,h,v,A,c]。因此,语句(v)适用于z的选择*. 让r*i(l):=Pls=1ρ*i(s),δ*i(l):=z*i(l)- z*i(l+1)和d m*i(l):=δ*i(l)r*i(l)对于所有i,l.从(3.5),我们有ρ*i(1)>0,因为vi(·)严格递增,hi(1)>0和α*i(0)=0。因此,速率向量r*isatis fies(3.4)适用于所有i。还请注意,通过构造,向量r*, δ*, z*和m*满足定理的陈述(iii)和(iv)。现在,我们表明(i)陈述成立。修复播放机i。观察用户问题用户*i、 hi,vi]具有凹面物镜f函数,因为hi(l)>0,r*i(l)>0且vi(·)为凹形。区分用户问题用户的目标功能*i、 hi,vi]关于mi=m时的mi(l)*i、 wegetlXs=1hi(s)v′i(z*i(s))r*i(l)- 从(3.5)中,我们得到lxs=1hi(s)v′i(z)*i(l))=lXs=1ρ*一(s)- α*i(l)=r*i(l)- α*i(l)。因此,lXs=1hi(s)v′i(z*i(s))r*i(l)- 1 = -α*i(l)r*i(l)≤ 0,其中等式为i ffα*i(l)=0。
|