Can we use KKT condition to derive the dual of an optimization function given that Slater's condition holds?

238 Views Asked by At

For example, in the derivation of SVM's dual, can we say that the optimization meets the Slater's condition by checking its convexity and feasibility, then use K.K.T condition to get the partial derivative of the primal variables and let them be zero. Finally, we eliminate the primal variables by plugging in the result from the K.K.T condition into the primal problem, and transform it into the dual problem.