机器学习中讲解SVM：
1.我们下面讨论hard margin应间隔(线性可分的情况也就是可以把两类点完全区分出来)：
鞍点公式证明：
我们原来的求解问题可以转化成下面的式子：
把两个式子代入到拉格朗日公式中
根据强KKT条件
2.soft margin软间隔讨论：
SVM
原文：https://www.cnblogs.com/fenglivoong/p/12823525.html
把两个式子代入到拉格朗日公式中
根据强KKT条件
