线性可分支持向量机（理解红色部分结论）