定理3:在(2)中,假设: (1)x为(2)的局部最优解且 I 0.1≤i<m 2)f(x)与c(x∈r)在x点可微 (3)c(x)∈\)在x点连续; 则S=1∈R"v/(x)yd<0 与G={∈k"Y(ya>0,∈r 交为空定理3: 在(2)中，假设： (1) * x 为(2)的局部最优解且 I * = i ci (x * )= 0,1 i  m； (2) f (x) 与 ( )( ) * c x i I i  在 * x 点可微； (3) ( )( ) * c x i I \ I i  在 * x 点连续； 则  ( ) 0 * S = d  R f x d  T n 与  ( )  * * G d R c x d 0,i I T i n =     交为空．