KKT条件(精)