强对偶关系与KKT条件