定理设c*>0.如上面定义记 h(s)=∑|h(s)H(s)=(h(s),…h2(s))(10) 1)若存在某个,使得条件F mn c1≥h(s) (11) 成立则条件E对所以的≥s均成立 2)必存在某个使得条件F成立 定理表明对充分大的条件F都是成 立的因此我们只要对在S前的逐一判 断条件E是否成立即可:如果有某个tE 不成立,则c不可达到;否则,c能达到2). . , . min ( ) 1). , : ( ) | ( ) |, ( ) ( ( ), , ( )) * 0, ( ) , 0 0 * 1 1 必存在某个 使得条件 成 立 成 立 则条件 对所以的 均成立 若存在某个 使得条件 定 理 设 如上面定义记 s t i s k k i i s F E t s c s s F s h s s h s h s s   = =   = (11) (10) h h h c h  定理表明,对充分大的t,条件Ft ,Et都是成 立的.因此,我们只要对在s0前的t逐一判 断条件Et是否成立即可:如果有某个t, Et 不成立,则c*不可达到;否则,c*能达到