详细讲述支持向量机,包括线性、非线性、核函数等知识,以及推导过程。