1、朴素贝叶斯:有以下几个地方需要注意:1. 如果给出的特征向量长度可能不同,这是需要归一化为通长度的向量(这里以文本分类为例),比如说是句子单词的话,则长度为整个词汇量的长度,对应位置是该单词出现的次数。2. 计算公式如下:其中一项条件概率可以通过朴素贝叶斯条件独立展开。要注意一点就是 的计算方法,而由朴素贝叶斯的前提假设可知, =,因此一般有两种,一种是在类别为 ci 的那些样本集中,找到 wj 出现次数的总和,然后除以该样本的总和;第二种方法是类别为 ci 的那些样本集中,找到 wj 出现次数的总和,然后除以该样本中所有特征出现次数的总和。3. 如果 中的某一项为 0,则其联合概率的乘积也可
2、能为 0,即 2 中公式的分子为 0,为了避免这种现象出现,一般情况下会将这一项初始化为 1,当然为了保证概率相等,分母应对应初始化为 2(这里因为是 2 类,所以加 2,如果是 k 类就需要加 k,术语上叫做 laplace 光滑, 分母加 k 的原因是使之满足全概率公式)。朴素贝叶斯的优点:对小规模的数据表现很好,适合多分类任务,适合增量式训练。缺点 :对输入数据的表达形式很敏感。决策树:决策树中很重要的一点就是选择一个属性进行分枝,因此要注意一下信息增益的计算公式,并深入理解它。信息熵的计算公式如下:其中的 n 代表有 n 个分类类别(比如假设是 2 类问题,那么 n=2)。分别计算这
3、2 类样本在总样本中出现的概率 p1 和 p2,这样就可以计算出未选中属性分枝前的信息熵。现在选中一个属性 xi 用来进行分枝,此时分枝规则是:如果 xi=vx 的话,将样本分到树的一个分支;如果不相等则进入另一个分支。很显然,分支中的样本很有可能包括 2 个类别,分别计算这 2 个分支的熵 H1 和 H2,计算出分枝后的总信息熵 H=p1*H1+p2*H2.,则此时的信息增益 H=H-H。以信息增益为原则,把所有的属性都测试一边,选择一个使增益最大的属性作为本次分枝属性。决策树的优点:计算量简单,可解释性强,比较适合处理有缺失属性值的样本,能够处理不相关的特征;缺点:容易过拟合(后续出现了随
4、机森林,减小了过拟合现象);Logistic 回归:Logistic 是用来分类的,是一种线性分类器,需要注意的地方有:1. logistic 函数表达式为:其导数形式为:2. logsitc 回归方法主要是用最大似然估计来学习的,所以单个样本的后验概率为:到整个样本的后验概率:其中:通过对数进一步化简为:3. 其实它的 loss function 为-l() ,因此我们需使 loss function 最小,可采用梯度下降法得到。梯度下降法公式为:Logistic 回归优点:1、实现简单;2、分类时计算量非常小,速度很快,存储资源低;缺点:1、容易欠拟合,一般准确度不太高2、只能处理两分类问
5、题(在此基础上衍生出来的 softmax 可以用于多分类),且必须线性可分;线性回归:线性回归才是真正用于回归的,而不像 logistic 回归是用于分类,其基本思想是用梯度下降法对最小二乘法形式的误差函数进行优化,当然也可以用 normal equation 直接求得参数的解,结果为:而在 LWLR(局部加权线性回归)中,参数的计算表达式为:因为此时优化的是:由此可见 LWLR 与 LR 不同,LWLR 是一个非参数模型,因为每次进行回归计算都要遍历训练样本至少一次。线性回归优点:实现简单,计算简单;缺点:不能拟合非线性数据;KNN 算法:KNN 即最近邻算法,其主要过程为:1. 计算训练样
6、本和测试样本中每个样本点的距离(常见的距离度量有欧式距离,马氏距离等);2. 对上面所有的距离值进行排序;3. 选前 k 个最小距离的样本;4. 根据这 k 个样本的标签进行投票,得到最后的分类类别;如何选择一个最佳的 K 值,这取决于数据。一般情况下,在分类时较大的 K 值能够减小噪声的影响。但会使类别之间的界限变得模糊。一个较好的 K 值可通过各种启发式技术来获取,比如,交叉验证。另外噪声和非相关性特征向量的存在会使 K 近邻算法的准确性减小。近邻算法具有较强的一致性结果。随着数据趋于无限,算法保证错误率不会超过贝叶斯算法错误率的两倍。对于一些好的 K 值,K 近邻保证错误率不会超过贝叶斯
7、理论误差率。注:马氏距离一定要先给出样本集的统计性质,比如均值向量,协方差矩阵等。关于马氏距离的介绍如下:KNN 算法的优点:1. 思想简单,理论成熟,既可以用来做分类也可以用来做回归;2. 可用于非线性分类;3. 训练时间复杂度为 O(n);4. 准确度高,对数据没有假设,对 outlier 不敏感;缺点:1. 计算量大;2. 样本不平衡问题(即有些类别的样本数量很多,而其它样本的数量很少);3. 需要大量的内存;SVM:要学会如何使用 libsvm 以及一些参数的调节经验,另外需要理清楚 svm 算法的一些思路:1. svm 中的最优分类面是对所有样本的几何裕量最大(为什么要选择最大间隔分
8、类器,请从数学角度上说明?网易深度学习岗位面试过程中有被问到。答案就是几何间隔与样本的误分次数间存在关系: ,其中的分母就是样本到分类间隔距离,分子中的 R是所有样本中的最长向量值),即:经过一系列推导可得为优化下面原始目标:2. 下面来看看拉格朗日理论:可以将 1 中的优化目标转换为拉格朗日的形式(通过各种对偶优化,KKD 条件),最后目标函数为:我们只需要最小化上述目标函数,其中的 为原始优化问题中的不等式约束拉格朗日系数。3. 对 2 中最后的式子分别 w 和 b 求导可得:由上面第 1 式子可以知道,如果我们优化出了 ,则直接可以求出 w 了,即模型的参数搞定。而上面第 2 个式子可以
9、作为后续优化的一个约束条件。4. 对 2 中最后一个目标函数用对偶优化理论可以转换为优化下面的目标函数:而这个函数可以用常用的优化方法求得 ,进而求得 w 和 b。5. 按照道理, svm 简单理论应该到此结束。不过还是要补充一点,即在预测时有:那个尖括号我们可以用核函数代替,这也是 svm 经常和核函数扯在一起的原因。6. 最后是关于松弛变量的引入,因此原始的目标优化公式为:此时对应的对偶优化公式为:与前面的相比只是 多了个上界。SVM 算法优点:可用于线性/非线性分类,也可以用于回归;低泛化误差;容易解释;计算复杂度较低;缺点:对参数和核函数的选择比较敏感;原始的 SVM 只比较擅长处理二
10、分类问题;Boosting:主要以 Adaboost 为例,首先来看看 Adaboost 的流程图,如下:从图中可以看到,在训练过程中我们需要训练出多个弱分类器(图中为 3 个),每个弱分类器是由不同权重的样本(图中为 5 个训练样本)训练得到(其中第一个弱分类器对应输入样本的权值是一样的),而每个弱分类器对最终分类结果的作用也不同,是通过加权平均输出的,权值见上图中三角形里面的数值。那么这些弱分类器和其对应的权值是怎样训练出来的呢?下面通过一个例子来简单说明。书中(machine learning in action)假设的是 5 个训练样本,每个训练样本的维度为2,在训练第一个分类器时 5
11、 个样本的权重各为 0.2. 注意这里样本的权值和最终训练的弱分类器组对应的权值 是不同的,样本的权重只在训练过程中用到,而 在训练过程和测试过程都有用到。现在假设弱分类器是带一个节点的简单决策树,该决策树会选择 2 个属性(假设只有 2 个属性)的一个,然后计算出这个属性中的最佳值用来分类。Adaboost 的简单版本训练过程如下:1. 训练第一个分类器,样本的权值 D 为相同的均值。通过一个弱分类器,得到这 5 个样本(请对应书中的例子来看,依旧是 machine learning in action)的分类预测标签。与给出的样本真实标签对比,就可能出现误差(即错误)。如果某个样本预测错误
12、,则它对应的错误值为该样本的权重,如果分类正确,则错误值为 0. 最后累加 5 个样本的错误率之和,记为。2. 通过 来计算该弱分类器的权重 ,公式如下:3. 通过 来计算训练下一个弱分类器样本的权重 D,如果对应样本分类正确,则减小该样本的权重,公式为:如果样本分类错误,则增加该样本的权重,公式为:4. 循环步骤 1,2,3 来继续训练多个分类器,只是其 D 值不同而已。测试过程如下:输入一个样本到训练好的每个弱分类中,则每个弱分类都对应一个输出标签,然后该标签乘以对应的 ,最后求和得到值的符号即为预测标签值。Boosting 算法的优点:低泛化误差;容易实现,分类准确率较高,没有太多参数可
13、以调;缺点:对 outlier 比较敏感;聚类:根据聚类思想划分:1. 基于划分的聚类 :K-means, k-medoids(每一个类别中找一个样本点来代表 ),CLARANS.k-means 是使下面的表达式值最小:k-means 算法的优点:(1)k-means 算法是解决聚类问题的一种经典算法,算法简单、快速。(2)对处理大数据集,该算法是相对可伸缩的和高效率的,因为它的复杂度大约是O(nkt),其中 n 是所有对象的数目,k 是簇的数目,t 是迭代的次数。通常 kn。这个算法通常局部收敛。(3)算法尝试找出使平方误差函数值最小的 k 个划分。当簇是密集的、球状或团状的,且簇与簇之间区
14、别明显时,聚类效果较好。缺点:(1)k- 平均方法只有在簇的平均值被定义的情况下才能使用,且对有些分类属性的数据不适合。(2)要求用户必须事先给出要生成的簇的数目 k。(3)对初值敏感,对于不同的初始值,可能会导致不同的聚类结果。(4)不适合于发现非凸面形状的簇,或者大小差别很大的簇。(5)对于 “噪声“和孤立点数据敏感,少量的该类数据能够对平均值产生极大影响。2. 基于层次的聚类:自底向上的凝聚方法,比如 AGNES。自上向下的分裂方法,比如 DIANA。3. 基于密度的聚类:DBSACN,OPTICS,BIRCH(CF-Tree),CURE.4. 基于网格的方法:STING, WaveCl
15、uster.5. 基于模型的聚类:EM,SOM,COBWEB.以上这些算法的简介可参考聚类(百度百科)。推荐系统:推荐系统的实现主要分为两个方面:基于内容的实现和协同滤波的实现。基于内容的实现:不同人对不同电影的评分这个例子,可以看做是一个普通的回归问题,因此每部电影都需要提前提取出一个特征向量(即 x 值),然后针对每个用户建模,即每个用户打的分值作为 y 值,利用这些已有的分值 y 和电影特征值 x 就可以训练回归模型了( 最常见的就是线性回归)。这样就可以预测那些用户没有评分的电影的分数。(值得注意的是需对每个用户都建立他自己的回归模型)从另一个角度来看,也可以是先给定每个用户对某种电影
16、的喜好程度(即权值),然后学出每部电影的特征,最后采用回归来预测那些没有被评分的电影。当然还可以是同时优化得到每个用户对不同类型电影的热爱程度以及每部电影的特征。具体可以参考 Ng 在 coursera 上的 ml 教程:https:/www.coursera.org/course/ml基于协同滤波的实现:协同滤波(CF )可以看做是一个分类问题,也可以看做是矩阵分解问题。协同滤波主要是基于每个人自己的喜好都类似这一特征,它不依赖于个人的基本信息。比如刚刚那个电影评分的例子中,预测那些没有被评分的电影的分数只依赖于已经打分的那些分数,并不需要去学习那些电影的特征。SVD 将矩阵分解为三个矩阵的
17、乘积,公式如下所示:中间的矩阵 sigma 为对角矩阵,对角元素的值为 Data 矩阵的奇异值(注意奇异值和特征值是不同的),且已经从大到小排列好了。即使去掉特征值小的那些特征,依然可以很好的重构出原始矩阵。如下图所示:其中更深的颜色代表去掉小特征值重构时的三个矩阵。果 m 代表商品的个数, n 代表用户的个数,则 U 矩阵的每一行代表商品的属性,现在通过降维 U 矩阵(取深色部分)后,每一个商品的属性可以用更低的维度表示(假设为 k 维)。这样当新来一个用户的商品推荐向量 X,则可以根据公式 X*U1*inv(S1)得到一个 k 维的向量,然后在 V中寻找最相似的那一个用户(相似度测量可用余
18、弦公式等),根据这个用户的评分来推荐(主要是推荐新用户未打分的那些商品)。具体例子可以参考网页: SVD 在推荐系统中的应用。另外关于 SVD 分解后每个矩阵的实际含义可以参考 google 吴军的数学之美一书(不过个人感觉吴军解释 UV 两个矩阵时好像弄反了,不知道大家怎样认为)。或者参考 machine learning in action 其中的 svd 章节。pLSA:pLSA 由 LSA 发展过来,而早期 LSA 的实现主要是通过 SVD 分解。pLSA 的模型图如下:公式中的意义如下:具体可以参考 2010 龙星计划:机器学习中对应的主题模型那一讲LDA:主题模型,概率图如下:和
19、pLSA 不同的是 LDA 中假设了很多先验分布,且一般参数的先验分布都假设为Dirichlet 分布,其原因是共轭分布时先验概率和后验概率的形式相同。GDBT :GBDT(Gradient Boosting Decision Tree) 又叫MART(Multiple Additive Regression Tree),好像在阿里内部用得比较多(所以阿里算法岗位面试时可能会问到),它是一种迭代的决策树算法,该算法由多棵决策树组成,所有树的输出结果累加起来就是最终答案。它在被提出之初就和 SVM 一起被认为是泛化能力(generalization)较强的算法。近些年更因为被用于搜索排序的机器学
20、习模型而引起大家关注。GBDT 是回归树,不是分类树。其核心就在于,每一棵树是从之前所有树的残差中来学习的。为了防止过拟合,和 Adaboosting 一样,也加入了 boosting 这一项。关于 GDBT 的介绍可以可以参考: GBDT(MART) 迭代决策树入门教程 | 简介。Regularization:作用是(网易电话面试时有问到):1. 数值上更容易求解;2. 特征数目太大时更稳定;3. 控制模型的复杂度,光滑性。复杂性越小且越光滑的目标函数泛化能力越强。而加入规则项能使目标函数复杂度减小,且更光滑。4. 减小参数空间;参数空间越小,复杂度越低。5. 系数越小,模型越简单,而模型越
21、简单则泛化能力越强(Ng 宏观上给出的解释)。6. 可以看成是权值的高斯先验。异常检测:可以估计样本的密度函数,对于新样本直接计算其密度,如果密度值小于某一阈值,则表示该样本异常。而密度函数一般采用多维的高斯分布。如果样本有 n 维,则每一维的特征都可以看作是符合高斯分布的,即使这些特征可视化出来不太符合高斯分布,也可以对该特征进行数学转换让其看起来像高斯分布,比如说 x=log(x+c), x=x(1/c)等。异常检测的算法流程如下:其中的 也是通过交叉验证得到的,也就是说在进行异常检测时,前面的 p(x)的学习是用的无监督,后面的参数 学习是用的有监督。那么为什么不全部使用普通有监督的方法
22、来学习呢(即把它看做是一个普通的二分类问题)?主要是因为在异常检测中,异常的样本数量非常少而正常样本数量非常多,因此不足以学习到好的异常行为模型的参数,因为后面新来的异常样本可能完全是与训练样本中的模式不同。另外,上面是将特征的每一维看成是相互独立的高斯分布,其实这样的近似并不是最好的,但是它的计算量较小,因此也常被使用。更好的方法应该是将特征拟合成多维高斯分布,这时有特征之间的相关性,但随之计算量会变复杂,且样本的协方差矩阵还可能出现不可逆的情况(主要在样本数比特征数小,或者样本特征维数之间有线性关系时)。上面的内容可以参考 Ng 的 https:/www.coursera.org/cour
23、se/mlEM 算法:有时候因为样本的产生和隐含变量有关(隐含变量是不能观察的),而求模型的参数时一般采用最大似然估计,由于含有了隐含变量,所以对似然函数参数求导是求不出来的,这时可以采用 EM 算法来求模型的参数的(对应模型参数个数可能有多个),EM 算法一般分为 2 步:E 步:选取一组参数,求出在该参数下隐含变量的条件概率值;M 步:结合 E 步求出的隐含变量条件概率,求出似然函数下界函数(本质上是某个期望函数)的最大值。重复上面 2 步直至收敛。公式如下所示:M 步公式中下界函数的推导过程:EM 算法一个常见的例子就是 GMM 模型,每个样本都有可能由 k 个高斯产生,只不过由每个高斯
24、产生的概率不同而已,因此每个样本都有对应的高斯分布(k 个中的某一个),此时的隐含变量就是每个样本对应的某个高斯分布。GMM 的 E 步公式如下(计算每个样本对应每个高斯的概率):更具体的计算公式为:M 步公式如下(计算每个高斯的比重,均值,方差这 3 个参数):关于 EM 算法可以参考 Ng 的 cs229 课程资料 或者网易公开课: 斯坦福大学公开课 :机器学习课程。 Apriori:Apriori 是关联分析中比较早的一种方法,主要用来挖掘那些频繁项集合。其思想是:1. 如果一个项目集合不是频繁集合,那么任何包含它的项目集合也一定不是频繁集合;2. 如果一个项目集合是频繁集合,那么它的任
25、何非空子集也是频繁集合;Aprioir 需要扫描项目表多遍,从一个项目开始扫描,舍去掉那些不是频繁的项目,得到的集合称为 L,然后对 L 中的每个元素进行自组合,生成比上次扫描多一个项目的集合,该集合称为 C,接着又扫描去掉那些非频繁的项目,重复看下面这个例子:元素项目表格:如果每个步骤不去掉非频繁项目集,则其扫描过程的树形结构如下:在其中某个过程中,可能出现非频繁的项目集,将其去掉(用阴影表示)为:上面的内容主要参考的是 machine learning in action 这本书。FP Growth:FP Growth 是一种比 Apriori 更高效的频繁项挖掘方法,它只需要扫描项目表
26、2 次。其中第 1 次扫描获得当个项目的频率,去掉不符合支持度要求的项,并对剩下的项排序。第 2 遍扫描是建立一颗 FP-Tree(frequent-patten tree)。接下来的工作就是在 FP-Tree 上进行挖掘。比如说有下表:它所对应的 FP_Tree 如下:然后从频率最小的单项 P 开始,找出 P 的条件模式基,用构造 FP_Tree 同样的方法来构造 P 的条件模式基的 FP_Tree,在这棵树上找出包含 P 的频繁项集。依次从 m,b,a,c,f 的条件模式基上挖掘频繁项集,有些项需要递归的去挖掘,比较麻烦,比如 m 节点,具体的过程可以参考博客:Frequent Pattern 挖掘之二(FP Growth 算法) ,里面讲得很详细。