|
在定理4.9的证明中,我们证明了对于“s”和“s”,等式(C(\'s\'),R(\'s\'))=(C(s\'),R(s\'))在附加lin+2as(C(\'s\',lin+2),R(\'s\',lin+2))=(C(s\',lin 2),R(s\',lin 2))后向前推进。通过类比和归纳,我们得到以下结果:如果两个IPMs的CRs是sam e,那么所有IPMs的CRs也是通过任意一致IPMs的串联从sand s获得的,即如果C(s)=C(s)和R(s)=R(s),那么对于所有k∈ N、 s∈ 如果(s,s)和(s,s)是IPMs,则以下情况成立:C((s,s))=C((s,s))和R((s,s))=R((s,s))。因此,在附加其他IPMS时,算法只需考虑其中一个IPMS,这会大大加快所有模型蜡烛及其结果的计算速度。第13R页。L"ow、S.Maier Paape和A.Plateng 4.12。继续例2.5,我们可以应用结果。为了简化符号,我们在这里设置li:=i。在算法上,我们发现,在推论4.10的意义上,n=11的值非常大。图6所示定理4.9证明中的构造示例有以下数据:s=(1,2,3,4,3,2,1,0,1,2,3,4,3),|s|=13,(C(s),R(s))=(开=1,关=3,高=4,低=0,入口=3,出口=1),s′=(1,2,3,4,3,2,1,0,1,2,3,4),|s′=12,(C(s′),R(开,关=1′,高=4′,入口=1′,出口=4′,(1、2、2、3、3、2、1、1、0、1、1、2、2、2、3、3、4、3、3、3、3、3、3、3、3、3、3、3、3、3、3、3、3、3、3、3、3、4、4、4、4、4、4、4、4、3、11、11、(C(s)、R(s)、R(s)R(s)R(s)们)们(s)们(s)们)们)们(R(s)们)们(s)们)们)们(C(C(s)们(s)们(s)们(s)们)们)们)们(C(C(s)们(s)们(s)们(s(s)们)们)们)们(C(s)、R(s(s)们(s)们)们(s)们(s)们)们)们(s)们)们)们)l(C)IPMS’s’s’s’s’s’s’s’s’s’s’s’s’s’s’s’s’s’s’s’s’s’s’s’s’s’s’s’s’s’s’s’s’s’s’s’s’。0=l1=l2=l3=l4=l(d)IPMS,结果与s相同,但较小。图6:具有相同CR的较小IPM的构造(参见定理4.9和示例4.12的证明)。
|