|
并且,只有当节点在被选择时具有一个公平单位(到默认值的距离等于1)时,才可能发生默认值。在此之前,每次选择均分时,均分仅减少1。此外,在默认情况下,总是有机会在节点上进行交互。然而,如果我们在当前步骤中选择的部分信息10下对未干预违约传染的节点进行干预,或者在选择时有多个剩余权益单位,则在流程结束之前的以下步骤中可能不会选择该节点,在这种情况下,我们在不减少违约数量的情况下实施了冗余干预。然后我们提供一个数学证明。设wk为步骤k和w中选择的节点:=(wk)k∈[1,m]是整个过程中所选节点序列的实现。考虑控制序列u:=(uk)k∈[1,m]对于一些v∈ [n] 还有一些k∈ [1,m],uvk≥ 1当v 6=wk或v=wk但cvk时-lvk级≥ 2、回想一下cvk-lvkdenotes节点v在k处的剩余权益或“违约距离”。设t为控制序列u下终端时间tn的实现。给定初始条件(d-(v) ,d+(v),ev)v∈[n] ,w和u,cv:=(cvk)k∈[1,m]和lv:=(lvk)k∈[1,m]表示v∈ [n] 已确定。构建另一个控制序列u:=(uk)k∈[1,m]对于相同的初始条件(d-(v) ,d+(v),ev)v∈[n] ,满足(1)~uηk=uηkforη6=v和k∈ [1米]。(2) 设▄cv:=(▄cvk)k∈【1,m】对应于节点v的|u和w,然后(5.0.1)|uvk+1=(如果|cvk- lvk=1,wk+1=v和▄ck<ct,k=0。t型- 1,0其他换言之,u和|u是相同的,不同的是干预不应用于节点vuntil v在选择时与默认值的距离为1。根据(5.0.1),cvt≤ cvt。
|