机器学习笔记（一）：最小二乘法和梯度下降

一、最小二乘法

1.一元线性拟合的最小二乘法

先选取最为简单的一元线性函数拟合助于我们理解最小二乘法的原理。

要让一条直接最好的拟合红色的数据点，那么我们希望每个点到直线的残差都最小。
设拟合直线为 $y_i=b+a{x}_i$,那这些数据的所有误差和为：$S={\sum }_{i=1}^n(y-b-a{x}_i{)}^2$
因此，为了能得到最小的误差所对应的$b,a$的值，需要分别对$S$关于$b,a$求导，并且令导数为0：

$$\frac{\partial S}{\partial b}=-2\sum _{i=1}^n(y_i-b-a{x}_i)=0$$

$$\frac{\partial S}{\partial a}=-2\sum _{i=1}^n(y_i-b-a{x}_i)x_i=0$$
解得：
$$a=\frac{n\sum x_i{y}_i-\sum x_i\sum y_i}{n\sum x_i^2-(\sum x_i{)}^2}$$

$$b=\overline{y}-a\overline{x}$$

具体推导过程：

$$\frac{\partial S}{\partial b}=-2\sum _{i=1}^n(y_i-b-a{x}_i)=0$$

$$\frac{\partial S}{\partial a}=-2\sum _{i=1}^n(y_i-b-a{x}_i)x_i=0$$

令$\frac{\partial D}{\partial a}=0$,$\frac{\partial D}{\partial a}$,求解a和b,令$n\bar{x}={\sum }_{i=1}^n{x}_i,n\bar{y}={\sum }_{i=1}^n{y}_i$
因此得：
$$n\bar{y}-na-bn\bar{x}=0$$

$$\sum _{i=1}^n{x}_i{y}_i-a\sum _{i=1}^n{x}_i-b\sum _{i=1}^n{x}_i^2=0$$

得：

$$b=\bar{y}-a\bar{x}$$

$$\sum _{i=1}^n{x}_i{y}_i-\bar{y}\sum _{i=1}^n{x}_i+b\bar{x}\sum _{i=1}^n{x}_i^2=0$$

最终得
$$b=\bar{y}-a\bar{x}$$

$$a=\frac{{\sum }_{i=1}^n{x}_i{y}_i-\bar{y}{\sum }_{i=1}^n{x}_i}{{\sum }_{i=1}^n{x}_i^2-\bar{x}{\sum }_{i=1}^n{x}_i}=\frac{{\sum }_{i=1}^n(x_i-\bar{x})(y_i-\bar{y}{)}^2}{{\sum }_{i=1}^n(x_i-\bar{x}{)}^2}$$ (求和性质)

求和性质：具体可以参考Introductory Econometrics A Modern Approach (Fourth Edition) 一书（计量经济学导论，第4版，杰弗里·M·伍德里奇 著）的附录A。

求和性质证明：
（1）$$\sum _{i=1}^n(x_i-\bar{x}{)}^2=\sum _{i=1}^n(x_i^2-2x_i\bar{x}+{\bar{x}}^2)$$

$$=\sum _{i=1}^n{x}_i^2-2\bar{x}\sum _{i=1}^n{x}_i+\sum _{i=1}^n{\bar{x}}^2$$

$$=\sum _{i=1}^n-2n{\bar{x}}^2+n{\bar{x}}^2$$

$$=\sum _{i=1}^n{x}_i^2-n{\bar{x}}^2=\sum _{i=1}^n{x}_i^2-\bar{x}\sum _{i=1}^n{x}_i$$ （分母得证）

(2)$$\sum _{i=1}^n(x_i-\bar{x})(y_i-\bar{y})$$

$$=\sum _{i=1}^n(x_i{y}_i-x_i\bar{y}-\bar{x}{y}_i+\bar{x}\bar{y})$$

$$=\sum _{i=1}^n{x}_i{y}_i-\sum _{i=1}^n{x}_i\bar{y}-\sum _{i=1}^n\bar{x}{y}_i+\sum _{i=1}^n\bar{x}\bar{y}$$

$$=\sum _{i=1}^n{x}_i{y}_i-n\bar{x}\bar{y}-n\bar{x}\bar{y}+n\bar{x}\bar{y}$$

$$=\sum _{i=1}^n{x}_i{y}_i-\bar{y}\sum _{i=1}^n{x}_i$$ (分子得证)

将算法转化为python语言：

import numpy as np
import matplotlib.pyplot as plt
from pylab import mpl
"""
一元线性拟合
采用的拟合数据为xi=1,2,3,4,5,6,7
对应的相应函数值yi=0.5,2.5,2.4,3.5,6,5.5
"""
x=[1,2,3,4,5,6,7]
y=[0.5,2.5,2,4,3.5,6,5.5]

"""
离散点图像绘制
"""
plt.scatter(x,y)
plt.xlabel("x")
plt.ylabel("y")
mpl.rcParams['font.sans-serif'] = ['SimHei']
mpl.rcParams['axes.unicode_minus'] = False
plt.title("散点图")
plt.show()

"""
计算拟合曲线参数a,b
"""
size = len(x)
sum_x=0
sum_y=0
average_x=0
average_y=0
sum_xy=0
sum_sqare_x=0
b=0
for i in range(size):
    sum_x+=x[i]
    sum_y+=y[i]
    sum_xy+=x[i]*y[i]
    sum_sqare_x+=pow(x[i],2)  
average_x=sum_x/size
average_y=sum_y/size
a= (sum_xy-average_y*sum_x)/(sum_sqare_x-average_x*sum_x)
b=(average_y-a*average_x)
print("a=",a)
print("b=",b)
    

a= 0.8392857142857143
b= 0.07142857142857117

"""
绘制拟合曲线
"""
data_new_y=[]
i = 0
plt.scatter(x,y,label='sin')
plt.title("一元线性拟合")
plt.xlabel("x")
plt.ylabel("y")
for i in range(size):
    data_new_y.append(a*x[i]+b)
   
plt.plot(x,data_new_y,color='black')
plt.show()

2.多元线性拟合的最小二乘法

在预测中，可能结果受到多个变量的影响，那么我们的拟合曲线就由$y=a_0+a_{1}x$转变为$y=B_0+B_1{x}^{(1)}+B_2{x}^{(2)}+...+B_m{x}^{(m)}$

(x的上标代表变量的编号而不是次方)

对于多变量，可以引入线性方程组和矩阵的概念得到最优解。

列出线性方程组：
$$B_0+B_1{x}_1^1+...+B_m{x}_1^m=y_1$$

$$B_0+B_1{x}_2^1+...+B_m{x}_2^m=y_2$$

$$B_0+B_1{x}_i^1+...+B_m{x}_i^m=y_i$$

$$B_0+B_1{x}_n^1+...+B_m{x}_n^m=y_n$$

上式记为矩阵形式为：

$$\left[\begin{array}{cccc}1& x_1^1& \dots & x_n^1\\ 1& x_1^2& \dots & x_n^1\\ \dots & \dots & \dots & \dots \\ 1& x_n^m& \dots & x_n^m\end{array}\right]\left[\begin{array}{c}{B}_0\\ B_1\\ \dots \\ B_m\end{array}\right]=\left[\begin{array}{c}{y}_1\\ y_2\\ \dots \\ y_n\end{array}\right]$$

可以简化为：

$$A\cdot B=Y$$

最小二乘形式：

$$\min {\Vert AB-Y\Vert }^2$$

得到最终的最优解为：

$$\hat{B}=(A^{T}A{)}^{-1}{A}^{T}Y$$

具体推导过程：

多变量线性回归代价函数为：
$$J({\theta }_0,{\theta }_1,\dots ,{\theta }_n)=\frac{1}{2m}\sum _{i=1}^m(h_{\theta }(x^{(i)}-y^{(i)}){)}^2$$
其中：
$$h_{\theta }(x)={\theta }^{T}X={\theta }_0{x}_0+{\theta }_{1}x1+\cdots +{\theta }_n{x}_n$$

正规方程式通过求解下面的方程来找出使得代价函数最小的参数：
$$\frac{\partial }{\partial {\theta }_j}j({\theta }_j)=0$$

设有m个训练实例，每个实例有n个特征，则训练实例集为：
$$X=\left[\begin{array}{ccc}{x}_0^1& \dots & x_n^1\\ \dots & \dots & \dots \\ x_0^m& \dots & x_n^m\end{array}\right]$$

其中$x_j^{(i)}$表示第i个实例第j个特征

参数特征为：$$\theta =[{\theta }_0,{\theta }_1,\dots ,{\theta }_n{]}^T$$

故代价函数为：
$$J({\theta }_0,{\theta }_1,\dots ,{\theta }_n)=\frac{1}{2m}(X\ast \theta -Y{)}^T(X\ast \theta -Y)=\frac{1}{2m}(Y^{T}Y-Y^{T}X\theta -{\theta }^T{X}^{T}Y+{\theta }^T{X}^{T}X\theta )$$

进行求导，等价于如下的形式：
$$\frac{1}{2m}(\frac{\partial Y^{T}Y}{\partial \theta }-\frac{\partial Y^{T}X\theta }{\partial \theta }-\frac{\partial {\theta }^T{X}^{T}Y}{\partial \theta }+\frac{\partial {\theta }^T{X}^{T}X\theta }{\partial \theta })$$

• 其中第一项：
  $$\frac{\partial Y^{T}Y}{\partial \theta }=0$$

• 第二项
  $$Y^{T}X\theta =[y^{(1)},y^{(2)},\dots ,y^{(m)}]X=\left[\begin{array}{ccc}{x}_0^1& \dots & x_n^1\\ \dots & \dots & \dots \\ x_0^m& \dots & x_n^m\end{array}\right][{\theta }_0,{\theta }_1,\dots ,{\theta }_n{]}^T=(x_0^{(1)}{y}^{(1)}+\cdots +x_0^{(m)}{y}^{(m)}){\theta }_0+(x_1^{(1)}{y}^{(1)}+\cdots +x_1^{(m)}{y}^{(m)}){\theta }_1+\cdots +(x_n^{(1)}{y}^{(1)}+\cdots +x_n^{(m)}{y}^{(m)}){\theta }_n$$

该矩阵求导，有：
$$\frac{\partial Y^{T}X\theta }{\partial \theta }=\left[\begin{array}{c}\frac{\partial Y^{T}X\theta }{\partial {\theta }_0}\\ \dots \\ \frac{\partial Y^{T}X\theta }{\partial {\theta }_n}\end{array}\right]=\left[\begin{array}{c}{x}_0^{(1)}{y}^{(1)}+\cdots +x_0^{(m)}{y}^{(m)}\\ \dots \\ x_n^{(1)}{y}^{(1)}+\cdots +x_n^{(m)}{y}^{(m)}\end{array}\right]=X^{T}Y$$

• 第三项：
  $${\theta }^T{X}^{T}Y=[{\theta }_0,{\theta }_1,\dots ,{\theta }_n]\left[\begin{array}{ccc}{x}_0^{(1)}& \dots & x_n^{(1)}\\ \dots & \dots & \dots \\ x_0^{(m)}& \dots & x_n^{(m)}\end{array}\right][y^{(1)},y^{(2)},\dots ,y^{(m)}{]}^T=(x_0^{(1)}{\theta }_0+\cdots +x_n^{(1)}{\theta }_n)y^{(1)}+(x_0^{(2)}{\theta }_0+\cdots +x_n^{(2)}{\theta }_n)y^{(2)}+\cdots +(x_0^{(m)}{\theta }_0+\cdots +x_n^{(m)}{\theta }_n)y^{(m)}$$

求导得：
$$\frac{\partial {\theta }^T{X}^{T}Y}{\partial \theta }=\left[\begin{array}{c}\frac{\partial {\theta }^T{X}^{T}Y}{\partial {\theta }_0}\\ \dots \\ \frac{\partial {\theta }^T{X}^{T}Y}{\partial {\theta }_n}\end{array}\right]=\left[\begin{array}{c}{x}_0^{(1)}{y}^{(1)}+\cdots +x_0^{(m)}{y}^{(m)}\\ \dots \\ x_n^{(1)}{y}^{(1)}+\cdots +x_n^{(m)}{y}^{(m)}\end{array}\right]=X^{T}Y$$

• 第四项：
  $${\theta }^T{X}^{T}X=(X^{T}X)({\theta }_0^{(2)}+{\theta }_1^{(2)}+\cdots +{\theta }_n^{(2)})$$

其中${\theta }^T{X}^{T}X$为标量，可看成一个常数

故求导得：
$$\frac{\partial {\theta }^T{X}^{T}X\theta }{\partial \theta }=\left[\begin{array}{c}\frac{\partial {\theta }^T{X}^{T}X\theta }{\partial {\theta }_0}\\ \dots \\ \frac{\partial {\theta }^T{X}^{T}X\theta }{\partial {\theta }_n}\end{array}\right]=2(X^{T}X)\left[\begin{array}{c}{\theta }_0\\ \dots \\ {\theta }_n\end{array}\right]=2X^{T}X\theta$$

综上，正规方程为：
$$\frac{1}{2m}(-2X^{T}Y+2X^{T}X\theta )=0$$

最终可得特征参数的表示为：
$$\theta =(X^{T}X{)}^{-1}{X}^{T}Y$$
算法转化为Python语言：

from numpy.linalg import inv
from numpy import dot,transpose
x=[[1,6,2],[1,8,1],[1,10,0],[1,14,2],[1,18,0]]
y=[[7],[9],[13],[17.5],[18]]
print(dot(inv(dot(transpose(x),x)),dot(transpose(x),y)))

[[1.1875 ]
[1.01041667]
[0.39583333]]
这样就得到了需要拟合多元直线的参数向量。

二、梯度下降算法

梯度下降算法(批量梯度下降)也适用于求线性回归的拟合曲线，我们设拟合的曲线为：

$$h_{\theta }(x)={\theta }_0+{\theta }_1{x}_1+{\theta }_2{x}_2$$

那么我们的误差函数设为：$ J(\theta)= \frac{1}{2}\sum_{i=1}^{m(h_{\theta}(x}{i})-y^{i})2 $,要求误差函数的极小值，我们引入了梯度下降算法的概念。

梯度下降原理：将函数比作一座山，我们站在某个山坡上，往四周看，从哪个方向向下走一小步，能够下降的最快。

由之前所述，求θ系数的问题演变成了求J(θ)的极小值问题，这里使用梯度下降法。而梯度下降法中的梯度方向由J(θ)对θ的偏导数确定，由于求的是极小值，因此梯度方向是偏导数的反方向。
$$\frac{\partial }{\partial {\theta }_i}J(\theta )=\frac{\partial }{\partial {\theta }_i}\frac{1}{2}(h_{\theta }(x)-y{)}^2$$

$$=2\ast \frac{1}{2}(h_{\theta }(x)-y)\frac{\partial }{\partial {\theta }_i}(h_{\theta }(x)-y)$$

$$=(h_{\theta }(x)-y)\frac{\partial }{\partial {\theta }_i}({\theta }_0+{\theta }_1{x}_1+{\theta }_2{x}_2+\cdots +{\theta }_n{x}_n-y)$$
(除了${\theta }_i{x}_i$项，其余项均为无关项)

所以，上式为：
$$=(h_{\theta }(x)-y)\frac{\partial }{\partial {\theta }_i}{\theta }_i{x}_i$$
$$=(h_{\theta }(x)-y)x_i$$

代入公式，最后可以得出关于$\theta$的表达式：
$${\theta }_i={\theta }_i-\alpha (h_{\theta }(x)-y)x_i$$
$$={\theta }_i-\alpha \sum _{i=1}^m(h_{\theta }(x^{(i)})-y^{(i)})x_i^{(i)}$$

使用梯度下降算法的步骤：

1）对θ赋初始值，这个值可以是随机的，也可以让θ是一个全零的向量。

2）改变θ的值，使得目标损失函数J(θ)按梯度下降的方向进行减少。$\theta=\theta-\alpha\frac{\partial J(\theta)}{\partial \theta} $

其中$\alpha$为学习率或步长，需要人为指定，若过大会导致震荡即不收敛，若过小收敛速度会很慢。

3）当下降的高度小于某个定义的值，则停止下降。

python语言实现：

import numpy as np
import matplotlib.pyplot as plt
from pylab import mpl

# 构造训练数据
x = np.arange(0,10,0.2)
m=len(x)
x0 = np.full(m,1)
input_data = np.vstack([x0,x]).T
y= 2*x+5+np.random.randn(m)
plt.scatter(x,y)
plt.xlabel("x")
plt.ylabel("y")
mpl.rcParams['font.sans-serif'] = ['SimHei']
mpl.rcParams['axes.unicode_minus'] = False
plt.title("散点图")
plt.show()

#设置终止条件
loop_max = 10000
epsilon = 1e-3

count = 0 #循环次数
finish = 0 #终止次数
#初始权值theta
theta = np.random.randn(2)
error = np.zeros(2)
alpha = 0.001 # 学习速率
while count < loop_max:
    count +=1
    sum_m = np.zeros(2)
    for i in range(m):
        dif = (np.dot(theta,input_data[i])-y[i])*input_data[i]
        sum_m = sum_m + dif # 当alpha取值过大时，sum_m会在迭代过程中溢出
    theta = theta - alpha * sum_m #当alpha取值过大时，会导致振荡
    
    #判断是否已经收敛
    if np.linalg.norm(theta-error) < epsilon:
        finish = 1
        break
    else:
        error = theta

plt.scatter(x,y)
plt.plot(x,theta[1]*x+theta[0],'red')
plt.xlabel("x")
plt.ylabel("y")
mpl.rcParams['font.sans-serif'] = ['SimHei']
mpl.rcParams['axes.unicode_minus'] = False
plt.title("拟合图")
plt.show()

三、最小二乘法和梯度下降的区别

• 1.最小二乘法不需要选择学习速率

• 2.最小二乘法不需要进行迭代

• 3.最小二乘法时间复杂度更高，在数据量较大的情况下速度比梯度下降慢

总结：在数据量少时可以选择最小二乘法，在数据量大时，选择梯度下降拟合函数更加适宜。