|
我们有vj``(bj``,0-j``)≥vi`(si`,0-i`)。此外,通过c单交叉,我们有c vj``(bj``,si`,0-{ij`}`)-vj``(si`,0-i`)≥vi`(bj``,si`,0-{ij`}`)-vi`(si`,0-i`)。结合以上两个不等式,我们得到vi`(bj``,si`,0-{ij`}`)≤vj``(bj``,0-j``)+c vj``(bj``,si`\')+c vj``(bj``,si`,0-i```)-vj``(Si`,0-i`)≤(c+1)vj``(Bj``,si`,0-{ij`}`),其中最后一个不等式是由于估值函数的单调性。通过应用推论3.6,我们得到max{γ,c+1}·vj``(bj``,s-j``)≥vi`(bj``,s-j``)≥~vi`(s)。由于我们在i没有得到项目的情况下,她的效用为0,并且(ii)保持。情况2:当进入all-in agent时,i被分配项目`。注意,在本例中,vj``(b`)=pi`((bi,b-i),(a,a-i))(由于认识到pi`,并且j`具有最高的私有化值)。我们有thatui(((bi,b-i),(ai,a-i));s)=vi`(s)-pi`((bi,b-i),(a,a-i))=vi`(s)-vj``(b\')≥~vi`(s)-vj``(bj``,s-j``)。因此,(ii)保持不变。有了这些不等式,我们现在继续证明引理4.8和4.9.4.3.2引理4.8的有界自证明。考虑以下对代理I均衡策略的偏离。Agent对一个替代信号进行ISAMONLE t(R)F,计算一个匹配的MI=em(si,T-I),并对miishe在MI中匹配的项进行ALL-INS。如第4.3.1节所示,all-in报告为ai`=1,如果`=mii,否则为0,而bimii=simii。我们的目标是显示2eq(σ)≥self。我们注意到:eq≥xies(R)f(b,a)σ(s)[ui((b,a);s)]≥xies,Tf(b,a)σ(s)mi=em(si,t-i)ui(bi,ai,b-i,a-i);s^≥Xies,T^f(b,a)^σ(s)MI=em(si,T-I)“VIMII(simii,0-IMII)-MAXJ6=I:AJMII=1{vjmii(bjmii,0-JMII)}#。(9)在上面,不等式成立是因为福利大于效用,第二不等式成立是因为均衡假设,第三不等式来自下界(i)引理4.10。考虑EQ中的不等式项。(9):xies,téfmi=em(si,t-i)hvimii(simii,0-imii)i=xieséfmi=em(s)hvimii(simii,0-imii)i=esx(i,`)∈em(s)vi`(si`,0-i`)=SELF,(10)其中的等式是通过重命名的。至于eq中的第二项。(9),筛选代理i,Es,t=f(b,a)=σ(s)mi=em(si,t-i)“maxj6=i:ajmii=1{vjmii(bjmii,0-jmii)}#=Es,t=f(b,a)=σ(si,t-i)mi=em(s)”maxj6=i:ajmii=1{vjmii(bjmii,0-jmii)}#=Es,t=f(b,a)=σ(t)mi=em(s)“maxj6=i:ajmii=1{vjmii(bjmii,0-jmii)}#≤Es,t=f a)'Aσ(t)mi=em(s)”maxj:ajmii=1{vjmii(bjmii,0-jmii)}#,其中的相等性是通过重命名的,第二个是因为该术语不使用(bi,ai)。回想一下,Xi(b,a)表示代理i在投标程序(b,a)下收到的项目子集。我们有xies,tèf(b,a)'Aσ(s)mi=em(si,t-i)“maxj6=i:ajmii=1{vjmii(bjmii,0-jmii)}#≤Es,tèf(b,a)'Aσ(t)mi=em(s)”ximaxj:ajmii=1{vjmii(b,a)'Aσ(t)xix`∈Xi(b,a)vi`(bi`,0-i`)≤etóf(b,a)'Aσ(t)“xivi(Xi(b,a);t)#=Eq(σ),(11),其中,firerst等式是由同时私有化二价拍卖的分配规则导出的,而第二个不等式是由不出价假设导出的。将方程(9)-(11)结合起来,在自身上得到了期望的界。4.3.3在本节中,我们证明了引理4.9。为此,我们使用以下引理:引理4.11。对于每两个代理i和j,项`和信号profoile s,max{γ,c}·~vj`(s)≥~vi`(s)-vi`(Si`,0-i`)。证明。考虑代理j,设K6=j是某个代理,使得~vj`(s)=vj`(0k`,s(-k)`)。我们考虑了两种情况:情况K6=I:在这种情况下,~vj`(s)≥vj`(0k\',S-K`)-VJ`(SI`,0-I`)≥(VI`(0k`),s-k`)-vi`(Si`,0-i`))/max{γ,c}≥(~vi`(s)-vi`(Si`,0-i`))/max{γ,c},其中第二个不等式来自引理3.5,第三个不等式来自截断值的确认。情况k=i:在这种情况下,~vj`(s)≥vj`(0i`,S-i`)-vj`(0)≥vi`(0i`,S-i`)-vi`(0))/max{γ,c}≥vi`(0i`,S-i`)-vi`(0))/max{γ,c}≥vi`-vi`(Si`,0-i`))/max{c},其中第二个不等式来自引理3.5,第三个不等式来自他人信号中的Ubmodularity(定义2.2)。引理4.9的证明。
|