定义
-
属性空间:所有属性值张量组成的集合
-
版本空间:使得所有错误度为0的假设组成的空间
-
奥卡姆剃刀:若有多个假设符合观察,选取最简单的那个假设
-
NFL定理:对于两个不同的学习算法,在所有问题出现机会相等前提下,两者的性能期望值相同。实际情况下,所有问题出现的机会不完全相同,我们要找到符合最大出现问题的算法
-
判别式模型:直接对条件概率P(y∣X)进行建模,判断在X条件下y发生的概率。线性模型,LDA,SVM,NN都是判别式模型
生成式模型:对X,Y的联合概率分布建模,通过bayes公式求得P(y∣X),选取使P(y∣X)最大的y。HMM,NB,高斯混合模型都是生成式模型
-
维数灾难:学习器的性能随着特征个数的增加不会一直提升,当低维映射到高维的时候,学习器在训练集的性能肯定是提升的,但是泛化性能下降,其实维数灾难就是在维度上的过拟合。同时高维度会造成矩阵稀疏,距离计算困难——缓解维数灾难的方法:降维和特征选择
基本数学概念
1. 极大似然估计(MLE),最大后验概率(MAP),最小二乘法,EM
先验概率:根据以往经验分析和得到的概率,不用做实验就知道的概率
后验概率:后验概率是在考虑了一个事实之后的条件概率
极大似然和最大后验
-
MLE
求参数θ,使得P(X|θ)最大
知道分布的具体情况,但是不知道具体的参数,比如说知道了使正态分布,但是不知道μ和σ
求解
argmaxμp(X,μ)
其中p(X,μ)就是似然函数,表征在参数μ下出现观测数据的概率,假设每次观测时独立的
p(x1,x2,...,xn;μ)=∏p(xi;μ)
即求解
argmaxμlog(p(X,μ))=argmaxμ∑logp(xi;μ)
前提假设:
训练样本的分布能代表样本的真实分布。每个样本集中的样本都是所谓独立同分布的随机变量 (iid条件),且有充分的训练样本
-
MAP
求参数θ,使得P(X|θ)*P(θ)最大
由于:
P(θ∣X)=P(X)P(X∣θ)P(θ)
由于P(X)为常数,则MAP即求θ,使得$ P(θ|X)最大,MLE和MAP的区别:MLE是把先验概率P(θ)$认为等于1,即认为θ是均匀分布
-
最小二乘法
最小二乘法是找到一个(组)估计值,使得实际值与估计值的距离最小
基本假设
- 解释变量是确定变量,不是随机变量
- 随机误差项具有零均值,同方差,服从正态分布
- 随机误差项与解释变量之间不相关
-
EM
EM老是跟MLE放在一起,我们来判别一下MLE和EM的不同
MLE:已知数据分布模型,采样的数据,但是不知道模型的具体参数,根据采样数据反推使得采样数据概率最大的模型的参数
EM:相当于是MLE又进阶了一层,已知各个类别的分布模型,以及采样的数据,不知道采样的数据究竟来自于哪个类别,以及每个类别模型的参数
在这个例子里面,本身数据来自于哪个类别这个应该是我们已知的,但实际情况我们并不知道,所以把数据来自于哪个类别成为隐变量Z,则我们就要求解argmaxP(θ∣X,Z).
E步:
给定初始超参数Θt,计算Q=P(Z∣X;Θt)
M步:
根据Q,计算使似然函数最大的Θt+1
推导:
-
在未知子模型的分布αk时,其自变量分布如下P(x;θ)=∑i=1kαkϕ(x;θk)
似然函数:
l(θ)=∑i=1mlogp(xi;θ)
我们需要求得这个似然函数的一个最大值
-
由于我们不知道观察到的序列来自于哪个子模型,则
l(θ)=i=1∑mlogp(xi;θ)=i=1∑mlogZ∑Q(z)p(xi∣z;θ)
其中,m:样本数量;Q(z):子模型的概率分布
由于∑ZQ(z)=1,则上式有
-
l(θ)=i=1∑mlogZ∑Q(z)Q(z)p(xi,z;θ)≥i=1∑mZ∑Q(z)logQ(z)p(xi,z;θ)
上述第二条用了Jensen不等式,因为log是凹函数
-
考虑不等式取得等号的条件Q(z)p(xi,z;θ)=c,同时考虑∑ZQ(z)=1,则有
Q(z)=∑zp(xi,z;θ)p(xi,z;θ)=p(xi;θ)p(xi,z;θ)=p(z∣xi;θ)
-
则有EM算法,初始化θ,E步:根据θ求出Q(z),即第xi个数据来自zi的概率;M步:根据所求出的Q,最大化第二步得到的l(θ),利用MLE求出新的θ
2. 优化方法汇总(GD家族,一阶导数)
优化方法总结
简单说明几个特点:
-
SGD
Θt+1,i=Θt,i−αgt,i
Θt,i:t轮学习中参数θi的取值
BGD:下降速度慢,若cost function为凸函数,保证到全局最优
SGD:下降快,但是容易收敛到局部最优且困在鞍点
MBGD:取一个batch来计算
总的缺点:
- 选取适当的学习率α较为困难,需要再训练过程中给调整学习率的大小(预先设定迭代次数m,执行m次后减小学习率)
- 每个参数的学习率是相同的(不合理!)对于稀疏矩阵不合理,解决方案是对于稀疏矩阵中频率较低的特征设置大学习率,高频特征设置小学习率
-
Momentum
vt=γvt−1+αgt,i
Θ=Θ−vt
会观察历史梯度,若当前梯度方向与历史梯度一直,增强该梯度,否则,衰减该梯度
Nesterov和Momentum的区别

momentum同时计算该点的历史速度和梯度,然后叠加,nestreov是计算该点的速度,计算前进后的梯度,将两者叠加
Nestreov
vt=γvt−1+α∇f(xt+γvt)
xt+1=xt−vt
-
Adagrad
Momentum中对于每个参数的训练使用了相同的学习率,Adagrad可以实现对学习率的调整
Θt+1,i=Θt,i−Gt,ii+ϵαgt,i
Gt,ii=j=1∑t−1gj,i,代表θi从第1轮到第t轮的梯度平方和,ϵ为平滑项,避免分母为0
缺点:中后期分母项越来越大,导致梯度趋近于0
容易困在局部极值点
-
RMSprop
Θt+1,i=Θt,i−Et+ϵαgt,i
其中:
Et=0.9Et−1+0.1gt2,将Adagrad中的累加变为平均值,缓解梯度下降过快问题
-
Adam
不仅把学习率改了,连梯度也改了
mt=β1mt−1+(1−β1)gt
vt=β2vt−1+(1−β2)gt2
m^t=1−β1tmt
v^t=1−β2tvt
Θt+1=Θt−v^t+ϵαm^t
在稀疏矩阵时,常用Adagrad,RMSprop,Adam,因为可以动态调整学习率
3.优化方法汇总(Newton家族,二阶导数)
为什么深度学习不采用newton家族的算法作为优化算法:
答:牛顿法需要用到梯度和Hessian矩阵(二阶梯度矩阵),很难写出深度神经网络你和函数的表达式,更不用说求解梯度和Hessian矩阵了,即使能够求解,在输入特征维度较高的时候,Hessian矩阵大小是n*n,耗费内存较高,求逆更是做梦;另外,当为凸函数的时候,牛顿法一定会下降,但是非凸的时候不一定
-
牛顿法
基本思想:在现有极小点估计值的附近对f(x)做二阶泰勒展开,进而找到极小点的下一个估计值


2.拟牛顿法
为了解决牛顿法中Hessian矩阵的问题,构造Hessian矩阵的近似矩阵来还原Hessian矩阵,常有DFP,BFGS算法


4.距离的度量
对于距离的度量需要满足一些基本的性质:
非负性:
同一性:
对称性:
三角不等式:
常用的度量距离的方案:
- 闵科夫斯基距离(适用于度量连续或者有序的类别特征)
- VDM距离(无序的类别特征)
特征工程
1. 特征选择
2. 正负样本不均衡
-
调整二分类中的阈值
-
选用ROC或F1指标
-
过采样和欠采样
过采样:重复正比例数据,实际上没有为模型引入更多数据,过分强调正比例数据,会放大正比例噪音对模型的影响
欠采样:丢弃大量数据,和过采样一样会存在过拟合的问题
SMOTE:加强版的过采样,基本思想是对少数类样本插值,合成少数类样本的新样本,从少树类样本集T中随机选取一个样本,再从T中选取K个近邻(距离的定义多种多样)。1.从这k个近邻中随机选取一个样本,2. 从0-1中随机选取一个数 3.插值得到一个新的样本 4.重复上述步骤
3. 特征组合
模型评估
1. 评估方法:
留出法
交叉验证法
自助法(bootstrap):
每次随机从样本空间D中有放回采样一个样本,重复m次,得到有m个样本的样本空间D’
n→+∞lim(1−m1)m=e1≈0.368
即通过自主采样,初始数据集中约有36.8%的样本未出现在采样数据集D’中,可用这部分数据作为测试集,这就是包外估计 ;自助法会引入估计偏差,常采用留出法和交叉验证法
2. 回归和分类问题的性能度量
见:常见回归和分类损失函数比较
回归问题:
-
平方损失:
缺点:对异常值较为敏感,不够鲁棒
MSE=m1∑(f(xi)−yi)2
-
绝对值损失
特点:对异常值表现较好,缺点是不是处处可导,不容易优化
∣y−f(x)∣
-
Huber损失
对于分类问题来讲,损失函数中的f(x)并不是预测出来的0或1的值,对于LRf(x)=wx+b,对于adaboost来讲,f(x)=∑j=1tgj(x),最终的分类结果是sign(f(x)),对于SVM,f(x)=yi(wxi+b)可以认为是到各个点到分类间隔的距离
分类问题:
-
0-1损失
特点:不连续,非凸,优化困难
L(x)={01iff(x)=yiff(x)!=y
-
交叉熵损失(LR)——类别为{-1,1}
L(y,f(x))=∑log(1+e−yf(x))
推导:
g(f(x))=P(y=1∣x)=1+e−f(x)1
则:
P(y=−1∣x)=1−P(y=1∣x)=1+ef(x)1
利用极大似然思想,使得
F(x)=∏(1+e−yif(xi)1)
F(x)最大,则两边同取对数,得到
L(y,f(x))=log(1+e−yf(x))
求min(L)即可
-
交叉熵损失——类别为{0,1}
L(y,f(x))=∑ylogf(x)+(1−y)log(1−f(x))
求argmax(L)
-
对数似然代价函数(当为二分类时,与交叉熵相等):
L(y,f(x))=i=1∑mj=1∑∣D∣p(yi,yi′)log(f(xij))
其中
yn':第n个样本的预测label
yn:第n个样本的真实label
f(xn):学习器将第n个样本预测为y_i’的概率
p(y,y′)={01ify′!=yify′=y
-
Hinge Loss
L(y,f(x))=max(0,1−yf(x))
- 指数损失(Adaboost):
L(y,f(x))=e−yf(x)

3.P-R,ROC,AUC
|
预测结果(+) |
预测结果(-) |
真实情况(+) |
TP |
FN |
真实情况(-) |
FP |
TN |
-
准确率
Accuracy=ntotalncorrect=totalTP+TN
受样本不均衡影响较大
-
精确率
Precision=TP+FPTP
-
召回率
Recall=TP+FNTP
-
P-R曲线
纵轴为精确率,横轴为召回率,当一个学习器A的P-R曲线被另一个B完全包住,则性能A优于B,当两个PR曲线有交叉时,看与y=x的相交点的横轴坐标,越大证明性能越好
P-R曲线上的点的含义:在某一阈值下,学习器将大于该阈值的输出为+,小于该阈值的输出为-,与此相对应的Precision和Recall
-
F1-score
F1=precision+recall2×precision×recall
两者的调和平均值,介于0-1之间
-
ROC曲线
TPR=TP+FNTP=Recall
FPR=FP+TNFP
AUC为ROC曲线下的面积,一般处于0.5-1之间,因为若AUC<0.5,把预测的正样本变成负样本,把负样本变成正样本,就可以得到一个更好的分类器
ROC曲线的绘制,变换学习器预测为正类的阈值,得到在不同阈值下,学习器对应的TPR以及FPR,连接即为ROC曲线
4. 偏差与方差
偏差度量了学习算法的期望预测与真实结果的偏离程度,刻画了算法本身的拟合能力
bias=(fˉ(x)−y)2
方差度量了同样大小的训练集变动导致的学习性能的变化,刻画了数据扰动的影响
误差=偏差+方差
噪声表达了当前任务上任何学习算法所能达到的期望泛化误差的下界
随着训练程度的增加,偏差逐渐减小,方差逐渐增大,即欠拟合是偏差大,方差小,过拟合是方差大,偏差小
5. 过拟合和欠拟合
过拟合:偏差小,方差大
解决方案:
- 获取更多的训练数据
- 降低模型复杂度
- 正则化方法
- 集成学习bagging
欠拟合:偏差大,方差小
解决方案:
- 添加新特征(升维度)
- 增加模型复杂度
- 减小正则化系数
调参方法