,序号。所以我们要证明这一点∈ [N] (2.3)中的项是非负的当且仅当i∈ S、 根据定义3.5,i的表达式(2.3)∈ 当我们按下指示灯1Sn时,SNI已经为非负-1(对于n=1,我们设置S:=), 始终小于或等于原始指示器1S。因为S=S∪ . . . ∪ SN,这证明(2.3)对于所有i∈ S、 相比之下,尽管我∈ D方程式(2.3)必须采用严格的负值,否则I将延伸至S∪. . . ∪SN+1根据严格的默认规则,其中Nis是N中的最小数字,因此S=S∪ . . . ∪ SN,这显然是一个矛盾。(2) 用S表示,SN根据严格的违约规则,在第n轮中幸存的公司。如(1)所示,一个简单的归纳参数表明Sn S代表所有n∈ [N] 当两者和D满足(2.2)和(2.3)时。(3) 我们已经在提案3.3中表明,(3.6)始终适用于“≤”. 对于逆不等式,假设X(T),XN(T)满足(2.2)和(2.3)时用∑代替S。在严格的缺省规则下,对同一命题的证明表明,由于G∑的dag结构,我们必然有∑ S、 因此,当前命题的第(2)部分完成了这个假设。引理的顶部3.8。假设G有一个循环,例如,形式为(i,n)→“”G。→(R)G(ik,nk)→\'G(i,n)。那么,至少有一条边必须属于(3.9)中四条边集合中的第一条,否则我们将有n<n<…<nk<n,这很荒谬。但是如果循环有一个形式的边((il,Nil),(il+1,nl+1))和il∈ paG(il+1)∩ ndG(il+1),G中不存在连接(il+1,nl+1)和(il,Nil)的磷灰石,因为在(3.9)之前,这将导致从il+1到il的路径,并且与il∈ ndG(il+1)。然而,这反过来又与(i,n),(ik,nk)形成一个周期,单位为?G。