|
这里有一个反例。考虑罗杰斯-维拉特网络(N,π,\'p,x,α,β)和支付向量p,其中N={1,2},π=0 11 0, \'\'p=, x个=, p=,α = 0.5, β = 0.5. 根据定义2.12,p是(N,π,’p,x,α,β)的清算向量,因为它满足绝对优先权和有限责任。然而,通过(2.11),ΦRV+(p)=25>p=15。因此,p不是ΦRV+的固定点。下一个定理是第2.3节的主要结果。在定理2.7的spir it中,对于signedEisenberg-Noe网络,它为Rogersverart网络(N,π,’p,x,α,β)提供了清除向量的MILP特征。定理2.15。对于每个x∈ Rn+,表示为∧RV+(x)根据pi,MILPmaximize f(p)(2.12)的最佳值≤ αxi+βnXj=1πjipj+πpisi,i∈ N、 (2.13)pisi≤ xi+nXj=1πjipj,i∈ N、 (2.14)0≤ 圆周率≤ ?pi,si∈ {0,1},i∈ N、 (2.15)式中f:Rn+→ R是严格递增的线性函数;对于每个x∈ Rn\\Rn+,设置∧RV+(x)=-∞对于不确定性。如果(p,s)是上述MILP的最优解,那么p是(N,π,(R)p,x,α,β)的清除向量。附录A.4给出了定理2.15的证明。备注2.16。函数∧RV+通常不凹。备注2.17。让我们评论一下定理2.7和定理2.15中的MILP问题。虽然这两个问题都有一个通过二进制变量的离散特征,但这个特征的性质彼此非常不同。在定理2.7中,二进制变量用于量化ΦEN定义中从“第一轮”到“第二轮”的开关,定义见上述定义2.5。在这种情况下,除了二进制变量外,在问题公式中还使用了一个大的常量。另一方面,在定理2.15中使用了二元变量来模拟ΦRV+中的不连续性,当α<1或β<1时,会出现这种不连续性。在这种情况下,不使用大常数M的公式是可能的。备注2.18。
|