库恩一塔克条件是约束优化问题极值存在的_____条件。