一、主要思想：最大间隔
间隔（最小距离；函数间隔与几何间隔）、对偶（KKT条件；拉格朗日乘数法）、核方法（低维直接算高维内积；Gram 矩阵半正定）
二、hard-margin
线性可分
三、soft-margin
基本上线性可分，允许存在一点点错误。
引入松弛变量
四、kernel trick
非线性
待更新
五、SMO
六、一般的约束优化问题和 KKT 条件
