|
假设系统使用了比例支付机制,没有破产成本。定义如表1所示。然后采用最优现金分配策略,使成本函数D=wT(`p)最小化- p) +sTd可通过求解以下混合整数线性规划得到:maxp,c,dwTp- 标准(12)受toTc约束≤ C、 (13)C≥ 0, (14)0 ≤ P≤\'p,(15)p≤ πTp+e+c,(16)π- 圆周率≤ 对于i=1,2,··,N,(17)di∈ {0,1},对于i=1,2,···,N.(18)证明。让(p*, C*, D*) 是混合整数线性规划(12–18)的解。我们首先表明,p*isa清算支付向量,即对于每个i,我们有p*i=\'PIP或p*i=NXj=1∏jip*j+ei+ci。假设某个节点k不是这种情况,即p*k</PK和p*k<NXj=1∏jkp*j+ek+ck。我们构造了一个向量p,它等于p*在除第k个分量以外的所有分量中。我们将p的第k分量设为pk=p*k+,其中>0小到足以确保pk<pk和pk<NXj=1∏jkpj+ek+ck。由于∏isa矩阵具有非负项,对于任何i6=k,我们有:pi=p*i<NXj=1∏jip*j+ei+ci<NXj=1∏jipj+ei+ci。此外,“pk”-pk<\'pk-P*K≤ “pkdk。因此,(p,c*, D*) 也在(12–18)的可行范围内,并且实现了比(p*, C*, D*). 这与(p*, C*, D*) is第18-12号决议。因此,p*是一个结算支付载体。其次,我们证明了d*i=i’pi-P*i> 0。如果“pi”- P*i> 0,然后是d*由于约束条件(17)和(18),i=1。如果“pi”- P*i=0,则约束(17)始终为真。在这种情况下,si>0意味着,为了最大化目标函数,d*我必须是零。因此,d*i=i’pi-P*i> 0。到目前为止,我们已经证明了p*和d*分别是现金注入向量c的清算支付向量和默认指标向量*. 我们现在用矛盾的方法证明c*是最佳的现金注入地点。
|