上述含义是,(21a)中的第二项(除了δ/N因子)NXn=1Vnxn,n,~x-nf(¢xn,γ*, 0),b-n(50a)=Vnxn,n,~x-nf(¢xn,γ*, 0),b-n+NXn=1,n6=nVnxn,n,~x-nf(¢xn,γ*, 0),b-n(50b)=Ua(xn,^r,^y,^w)+NXn=1,n6=nU^rnaxn,zn,^y,^w(50c)=Ua(xn,^r,^y,^w)+NXn=1,n6=n,zn=0U^rna(xn,0,^y,^w)+NXn=1,n6=n,zn=1U^rna(xn,1,^y,^w)(50d)=Ua(xn,^r,^y,^w)+(n- w-1+r)U^rna(xn,0,^y,^w)+(w- r) U^rna(xn,1,^y,^w)2020年3月10日草案=Ua(xn,Gryw(r,y,w,γ*, 0))+(N-w- 1+r)UGr(r,γ*)na(xn,0,Gyw(r,y,w,γ*, 0))+(w- r) UGr(r,γ*)na(xn,1,Gyw(r,y,w,γ*, 0)) . (50e)这正是(26b)中的表达式,因此(21a)满足。现在考虑(21b)。固定m并用▄r=▄xm▄表示第m个播放器的参数。该方程的前三个分支显然是令人满意的。关于第四个分支,我们知道活动层的新参数为^Z=Gz(Z,γ*, γ*(Xn)),新的总体参数为(^Y,^W)=Gyw(z,Y,W,γ*, γ*(Xn))。(21b)的左侧变成Urna(xm,z,y,w)。右侧变为1E虚拟机xm,n,x-nf(¢xn,γ*, γ*(Xn)),b-nB0n= E虚拟机xm,m,~x-nf(¢xn,γ*, γ*(Xn)),b-nB0n+ E虚拟机xm,n,x-nf(¢xn,γ*, γ*(Xn)),b-nB0n+NXn=1,n6=m,nE虚拟机xm,n,x-nf(¢xn,γ*, γ*(Xn)),b-nB0n= E[Ua(xm,r,Y,W)]+E[uRNA(xm,Z,Y,W)]+NXn=1,n6=n,m,zn=1E[uRNA(xm,1,Y,W)]+NXn=1,n6=n,m,zn=0E[uRNA(xm,0,Y,W)]=E[Ua(xm r,Gyw(Z,Y,W,γ*, γ*(Xn))]+E[Urna(xm,Gzyw(z,y,w,γ*, γ*(Xn)))]+(w- z- r)E[U]rna(xm,1,Gyw(z,y,w,γ*, γ*(Xn)))]+(N- w- 2+z+r)E[Urna(xm,0,Gyw(z,y,w,γ*, γ*(Xn)))]。(51)这正是(26d)中的表达式,因此(21b)是满足的。引理3的附录EPROOF首先,我们表明,每当γ*= φ[0,y,w]=0,赋值函数都是0,我们必须有γ*=φ【1,y,w】=0。