机器学习——SVM算法（一）：支持向量机的推导