另一些约束成立严格不等式，即 8,(x)>0,ie1. (7.2.10) 满足(7.2.9)的约束称为在元处起作用约束。 满足（7.2.10)的约束称为在x处不起作用约束。 起作用约束下标集I={ig()=0} 定义了起作用约束后，就能用集合 G={dVg,(x)'d>0,i∈I (7.2.11) 取代定理7.2.1中的可行方向锥D另一些约束成立严格不等式，即 起作用约束下标集 { | ( ) 0} i I i g x = = 定义了起作用约束后，就能用集合 ( ) 0, . i g x i I   (7.2.10) 0 { ( ) 0, } T G d g x d i I =    i (7.2.11) 满足（7.2.9）的约束称为在 x 处起作用约束。 满足（7.2.10）的约束称为在 x 处不起作用约束。 取代定理7.2.1中的可行方向锥D