机器学习-损失函数
来源：刘帝伟 （中国统计网特邀认证作者）
编辑：Gemini
损失函数（loss function）是用来估量你模型的预测值f(x)与真实值Y的不一致程度，它是一个非负实值函数,通常使用L(Y, f(x))来表示，损失函数越小，模型的鲁棒性就越好。损失函数是经验风险函数的核心部分，也是结构风险函数重要组成部分。
模型的结构风险函数包括了经验风险项和正则项，通常可以表示成如下式子：
θ∗=argminθ1N∑i=1NL(yi,f(xi;θ))+λ Φ(θ)
θ
∗
=
arg
min
θ
1
N
∑
i
=
1
N
L
(
y
i
,
f
(
x
i
;
θ
)
)
+
λ
Φ
(
θ
)
其中，前面的均值函数表示的是经验风险函数，L代表的是损失函数，后面的
Φ
">
Φ
Φ
是正则化项（regularizer）或者叫惩罚项（penalty term），它可以是L1，也可以是L2，或者其他的正则函数。
整个式子表示的意思是
找到使目标函数最小时的
θ
θ
值
。下面主要列出几种常见的损失函数。
一、log对数损失函数（逻辑回归
）
有些人可能觉得逻辑回归的损失函数就是平方损失，其实并不是
。
平方损失函数可以通过线性回归在假设样本是高斯分布的条件下推导得到，而逻辑回归得到的并不是平方损失。
在逻辑回归的推导中，它假设样本服从
伯努利分布（0-1分布），
然后求得满足该分布的似然函数，接着取对数求极值等等。而逻辑回归并没有求似然函数的极值，而是把极大化当做是一种思想，进而推导出它的经验风险函数为：
最小化负的似然函数（即max F(y, f(x)) —-> min -F(y, f(x)))
。从损失函数的视角来看，它就成了log损失函数了。
log损失函数的标准形式
：
L
(
Y
,
P
(
Y
|
X
))
=−
log
P
(
Y
|
X
)
L
(
Y
,
P
(
Y
X
)
)
=
−
log
P
(
Y
X
)
刚刚说到，取对数是为了方便计算极大似然估计，因为在MLE中，直接求导比较困难，所以通常都是先取对数再求导找极值点。
损失函数L(Y, P(Y|X))表达的是样本X在分类Y的情况下，使概率P(Y|X)达到最大值（换言之，
就是利用已知的样本分布，找到最有可能（即最大概率）导致这种分布的参数值；或者说什么样的参数才能使我们观测到目前这组数据的概率最大
）。
因为log函数是单调递增的，所以logP(Y|X)也会达到最大值，因此在前面加上负号之后，最大化P(Y|X)就等价于最小化L了。
逻辑回归的P(Y=y|x)表达式如下（为了将类别标签y统一为1和0，下面将表达式分开表示）：
将它带入到上式，通过推导可以得到logistic的损失函数表达式，如下：
逻辑回归最后得到的目标式子如下：
上面是针对二分类而言的。
这里需要解释一下：
之所以有人认为逻辑回归是平方损失，是因为在使用梯度下降来求最优解的时候，它的迭代式子与平方损失求导后的式子非常相似，从而给人一种直观上的错觉。
这里有个PDF可以参考一下：Lecture 6: logistic regression.pdf.
二、平方损失函数（最小二乘法, Ordinary Least Squares ）
最小二乘法是线性回归的一种，OLS将问题转化成了一个凸优化问题。
在线性回归中，它假设样本和噪声都服从高斯分布（为什么假设成高斯分布呢？
其实这里隐藏了一个小知识点，就是
中心极限定理
，可以参考【central limit theorem】），最后通过极大似然估计（MLE）可以推导出最小二乘式子。
最小二乘的基本原则是：
最优拟合直线应该是使各点到回归直线的距离和最小的直线，即平方和最小
。
换言之，OLS是基于距离的，而这个距离就是我们用的最多的欧几里得距离。
为什么它会选择使用欧式距离作为误差度量呢（即Mean squared error， MSE），主要有以下几个原因：
简单，计算方便；
欧氏距离是一种很好的相似性度量标准；
在不同的表示域变换后特征性质不变。
平方损失（Square loss）的标准形式如下：
L
(
Y
,
f
(
X
))
=(
Y
−
f
(
X
)
)
2
L
(
Y
,
f
(
X
)
)
=
(
Y
−
f
(
X
)
)
2
当样本个数为n时，此时的损失函数变为：
Y-f(X)
表示的是残差，整个式子表示的是
残差的平方和
，而我们的目的就是最小化这个目标函数值（注：该式子未加入正则项），也就是最小化残差的平方和（residual sum of squares，RSS）。
而在实际应用中，通常会使用均方差（MSE）作为一项衡量指标，公式如下：
上面提到了线性回归，这里额外补充一句，我们通常说的线性有两种情况，一种是因变量y是自变量x的线性函数，一种是因变量y是参数
α
">
α
α
的线性函数。在机器学习中，通常指的都是后一种情况。
三、指数损失函数（Adaboost）
学过Adaboost算法的人都知道，它是前向分步加法算法的特例，是一个加和模型，损失函数就是指数函数。在Adaboost中，经过m此迭代之后，可以得到
f
m
(
x
)
">
f
m
(
x
)
f
m
(
x
)
:
Adaboost每次迭代时的目的是为了找到最小化下列式子时的参数
α
">
α
α
和G：
而指数损失函数(exp-loss）的标准形式如下
可以看出，Adaboost的目标式子就是指数损失，在给定n个样本的情况下，Adaboost的损失函数为：
关于Adaboost的推导，可以参考Wikipedia：AdaBoost或者《统计学习方法》P145.
四、Hinge损失函数（SVM）
在机器学习算法中，hinge损失函数和SVM是息息相关的。在
线性支持向量机
中，最优化问题可以等价于下列式子：
下面来对式子做个变形，令：
于是，原式就变成了：
如若取
λ
=
1
2
C
">
λ
=
1
2
C
λ
=
1
2
C
，式子就可以表示成：
可以看出，该式子与下式非常相似：
前半部分中的
l
">
l
l
就是hinge损失函数，而后面相当于L2正则项。
Hinge 损失函数的标准形式
L
(
y
)
=max
(0,
1
−
y
y
~
),
y
=±
1
L
(
y
)
=
max
(
0
,
1
−
y
y
~
)
,
y
=
±
1
可以看出，当|y|>=1时，L(y)=0。
补充一下：在libsvm中一共有4中核函数可以选择，对应的是
-t
参数分别是：
0-线性核；
1-多项式核；
2-RBF核；
3-sigmoid核。
五、其它损失函数
除了以上这几种损失函数，常用的还有：
0-1损失函数
绝对值损失函数
下面来看看几种损失函数的可视化图像，对着图看看横坐标，看看纵坐标，再看看每条线都表示什么损失函数，多看几次好好消化消化。
OK，暂时先写到这里，休息下。最后，需要记住的是：参数越多，模型越复杂，而越复杂的模型越容易过拟合。过拟合就是说模型在训练数据上的效果远远好于在测试集上的性能。此时可以考虑正则化，通过设置正则项前面的hyper parameter，来权衡损失函数和正则项，减小参数规模，达到模型简化的目的，从而使模型具有更好的泛化能力。
End.
往期精彩文章：
-
第一个被认为“科学家”的人:泰勒斯
-
数学思维比数学运算更重要
-
二十世纪的十大科学骗局
-
瞎扯现代数学的基础
-
x背后的轶闻趣事
-
主宰这个世界的10大算法
-
16个让你烧脑让你晕的悖论
-
机器学习中距离和相似性度量方法
-
传说中的快排是怎样的
-
玻璃秘史：一个人 改变了全世界
-
程序人生的四个象限和两条主线
-
比特币的原理及运作机制
-
概率论公式，你值得拥有
-
分类算法之朴素贝叶斯算法
-
采样定理：有限个点构建出整个函数
