In this section, we derive the dual variant of the linear hard-margin SVM problem, a computationally favorable formulation.