引言

上一节介绍了 Boosting \text{Boosting} Boosting算法思想。并以加性模型 AdaBoost \text{AdaBoost} AdaBoost为例,介绍了理论推导过程。本节将继续介绍 Boosting \text{Boosting} Boosting算法系列的另一个样例—— Gradient Boosting \text{Gradient Boosting} Gradient Boosting

回顾: Boosting \text{Boosting} Boosting算法思想与 AdaBoost \text{AdaBoost} AdaBoost

关于 Boosting \text{Boosting} Boosting算法思想可表示为:在迭代过程中,通过不断学习出新的基学习器 h t ( x ) ( t = 1 , 2 , ⋯   , T ) h_t(x)(t=1,2,\cdots,\mathcal T) ht(x)(t=1,2,,T),使得它们能够更关注之前迭代过程中的基学习器预测误差较大的样本,最终使得基学习器融合的强学习器 能够覆盖更多的样本,并使得这些样本的预测偏差较小

基于加性模型 AdaBoost \text{AdaBoost} AdaBoost算法描述表示如下:
这里仅描述的是‘二分类任务’,关于样本标签 y ( i ) ( i = 1 , 2 , ⋯   , N ) ∈ { − 1 , + 1 } y^{(i)}(i=1,2,\cdots,N) \in \{-1,+1\} y(i)(i=1,2,,N){1,+1}.

输入 ( Input ) (\text{Input}) (Input)训练集 D = { x ( i ) , y ( i ) } i = 1 N \mathcal D = \{x^{(i)},y^{(i)}\}_{i=1}^N D={x(i),y(i)}i=1N;基学习算法 K \mathcal K K;迭代次数 T \mathcal T T
初始化( Initialization \text{Initialization} Initialization) D i n i t = 1 N \begin{aligned} \mathcal D_{init} = \frac{1}{N}\end{aligned} Dinit=N1
算法过程( Algorithmic Process \text{Algorithmic Process} Algorithmic Process) 1. 1. 1. for t = 1 , 2 , ⋯   , T t=1,2,\cdots,\mathcal T t=1,2,,Tdo
2. 2. 2.    h t = K ( D , D t ) ; h_t = \mathcal K(\mathcal D,\mathcal D_t); ht=K(D,Dt);
3. 3. 3.    ϵ t = P x ∼ D t [ h t ( x ) ≠ f ( x ) ] \epsilon_t = \mathcal P_{x \sim \mathcal D_t} \left[h_t(x) \neq f(x)\right] ϵt=PxDt[ht(x)=f(x)]
4. 4. 4.   if ϵ t > 0.5 : \epsilon_t > 0.5: ϵt>0.5:
5. 5. 5.      break
6. 6. 6.   else
7. 7. 7.      α t = 1 2 ln ⁡ ( 1 − ϵ t ϵ t ) \alpha_t = \frac{1}{2} \ln \left(\frac{1 - \epsilon_t}{\epsilon_t}\right) αt=21ln(ϵt1ϵt)
8. 8. 8.      D t + 1 = 1 Z t ⋅ D t ⋅ exp ⁡ { − f ( x ) ⋅ α t h t } \mathcal D_{t+1} = \frac{1}{\mathcal Z_t} \cdot \mathcal D_t \cdot \exp\{-f(x) \cdot \alpha_th_t\} Dt+1=Zt1Dtexp{f(x)αtht}
9. 9. 9. end for
输出( Output \text{Output} Output) H ( x ) = Sign ( ∑ t = 1 T α t h t ) \mathcal H(x) = \text{Sign}(\sum_{t=1}^{\mathcal T} \alpha_th_t) H(x)=Sign(t=1Tαtht)

观察上述算法,对于学习出的基学习器 h t = K ( D , D t ) h_t = \mathcal K(\mathcal D,\mathcal D_t) ht=K(D,Dt),其中 D t \mathcal D_t Dt表示样本的采样权重。也可以理解为样本被关注的程度
5 5 5个样本组成的数据集为例,初始状态下,它们各自的权重信息是相等状态
D i n i t ⇒ [ 1 5 , 1 5 , 1 5 , 1 5 , 1 5 ] \mathcal D_{init} \Rightarrow \left[\frac{1}{5},\frac{1}{5},\frac{1}{5},\frac{1}{5},\frac{1}{5}\right] Dinit[51,51,51,51,51]
经过 t t t次迭代后,得到的权重结果可能是这个样子:
D t ⇒ [ 1 10 , 1 10 , 2 5 , 1 5 , 1 5 ] \mathcal D_t \Rightarrow \left[\frac{1}{10},\frac{1}{10},\frac{2}{5},\frac{1}{5},\frac{1}{5}\right] Dt[101,101,52,51,51]
比较这两组权重,可以发现:对于样本的关注度转移了。可以想象:

  • 对于 x ( 1 ) , x ( 2 ) x^{(1)},x^{(2)} x(1),x(2)两个样本, t t t次迭代之前学习的基学习器 h 1 , ⋯   , h t − 1 h_1,\cdots,h_{t-1} h1,,ht1相比之下能够较容易地将这两个样本预测正确
  • 相反,被分配权重较高的样本,如样本 x ( 3 ) x^{(3)} x(3),它就需要当前迭代的基学习器 h t h_t ht进行学习。如果依然有 f ( x ( 3 ) ) ≠ h t ( x ( 3 ) ) f(x^{(3)})\neq h_t(x^{(3)}) f(x(3))=ht(x(3)),只能再次分配权重,让 t + 1 t+1 t+1次迭代的基学习器 h t + 1 h_{t+1} ht+1去学习 x ( 3 ) x^{(3)} x(3),以此类推。

通过上面的算法流程,可以发现:关于权重分布 D t \mathcal D_t Dt,它并不是我们想要关注的对象。我们真正关注的对象只有 α t \alpha_t αt h t h_t ht。它的更新顺序表示为:
D i n i t ⇒ h 1 , α 1 ⇒ D 1 ⇒ ⋯ ⇒ D T − 1 ⇒ h T , α T ⇒ D T \mathcal D_{init} \Rightarrow h_1,\alpha_1 \Rightarrow \mathcal D_1 \Rightarrow \cdots \Rightarrow \mathcal D_{\mathcal T-1} \Rightarrow h_{\mathcal T},\alpha_{\mathcal T} \Rightarrow \mathcal D_{\mathcal T} Dinith1,α1D1DT1hT,αTDT

关于加性模型 AdaBoost \text{AdaBoost} AdaBoost,在每次迭代学习新的基学习器 过程中,我们只是对训练集 D \mathcal D D进行重新赋权( Re-Weighting \text{Re-Weighting} Re-Weighting)操作。那么对于不接受带权样本的基学习算法 K ′ \mathcal K' K,可以使用重采样( Re-Sampling \text{Re-Sampling} Re-Sampling)实现。
机器学习(周志华著)P177.

  • 不同于重新赋权操作, t t t次迭代过程中重采样操作产生的 D t \mathcal D_t Dt不再是权重分布,而是真真正正的 t − 1 t-1 t1次迭代过程中未被学习正确的样本为主体的样本集合

  • 一般情况下,无论是重新赋权,还是重采样,两种方法没有优劣区别。但重新赋权方法中需要判别 ϵ t = P x ∼ D t [ h t ( x ) ≠ f ( x ) ] \epsilon_t = \mathcal P_{x \sim \mathcal D_t} \left[h_t(x) \neq f(x)\right] ϵt=PxDt[ht(x)=f(x)]的结果是否满足条件,如果不满足条件,会提前停止迭代。

    相反,如果是重采样方法,相当于每一次迭代均重新设置训练集,只要训练集内有样本,就不会出现停止迭代的情况。因而可以持续到预设 T \mathcal T T轮迭代完成。
    由于概率密度积分的约束,因而权重之和必然是1 -> 不会出现采不到样本的情况。

Gradient Boosting \text{Gradient Boosting} Gradient Boosting算法介绍

场景构建

依然假设数据集合 D = { ( x ( i ) , y ( i ) ) } i = 1 N \mathcal D =\{(x^{(i)},y^{(i)})\}_{i=1}^N D={(x(i),y(i))}i=1N,并且定义一个初始状态下预测模型 H i n i t ( x ) \mathcal H_{init}(x) Hinit(x),并初始化它的模型结果
H i n i t ( x ( i ) ) = 0 i = 1 , 2 , ⋯   , N \mathcal H_{init}(x^{(i)}) = 0 \quad i=1,2,\cdots,N Hinit(x(i))=0i=1,2,,N

算法过程

这里以 t t t次迭代为例,并且假设我们基于数据集 D \mathcal D D处理一个回归任务

  • t − 1 t-1 t1次迭代后我们得到的数据集合 D t − 1 \mathcal D_{t-1} Dt1表示如下:
    D t − 1 = { ( x ( i ) , y ( i ) − H t − 1 ( x ( i ) ) ) } i = 1 N \mathcal D_{t-1} = \{(x^{(i)},y^{(i)} - \mathcal H_{t-1}(x^{(i)}))\}_{i=1}^N Dt1={(x(i),y(i)Ht1(x(i)))}i=1N
    其中,样本特征 x ( i ) ( i = 1 , 2 , ⋯   , N ) x^{(i)}(i=1,2,\cdots,N) x(i)(i=1,2,,N)未发生变化;而对应标签表示为真实标签 y ( i ) y^{(i)} y(i) t − 1 t-1 t1时刻预测模型 H t − 1 ( x ) \mathcal H_{t-1}(x) Ht1(x)关于对应样本 x ( i ) x^{(i)} x(i)的预测结果 H t − 1 ( x ( i ) ) \mathcal H_{t-1}(x^{(i)}) Ht1(x(i))之间的残差信息( Residuals \text{Residuals} Residuals):
    t = 1 t=1 t=1时, H 0 ( x ( i ) ) = H i n i t ( x ( i ) ) = 0 \mathcal H_0(x^{(i)}) = \mathcal H_{init}(x^{(i)}) = 0 H0(x(i))=Hinit(x(i))=0。这意味着‘初始时刻’就在原始的数据集合 D \mathcal D D上进行训练。
    y ( i ) − H t − 1 ( x ( i ) ) y^{(i)} - \mathcal H_{t-1}(x^{(i)}) y(i)Ht1(x(i))

  • D t − 1 \mathcal D_{t-1} Dt1作为 t t t次迭代步骤的数据集,并通过学习算法 K \mathcal K K从该数据集训练出一个新的基学习器( Base Learner \text{Base Learner} Base Learner) h t h_t ht
    h t = K ( D t − 1 ) h_t = \mathcal K(\mathcal D_{t-1}) ht=K(Dt1)
    这意味着: h t h_t ht作为学习的并不是关于真实标签的信息,而是 t − 1 t-1 t1时刻的预测模型 H t − 1 ( x ) \mathcal H_{t-1}(x) Ht1(x)对于真实标签拟合不足的部分。也就是说, H t − 1 ( x ) \mathcal H_{t-1}(x) Ht1(x)对于真实标签没有拟合的部分,由新训练的基学习器 h t h_t ht去拟合。

  • 按照上述逻辑,我们需要将 t − 1 t-1 t1时刻预测模型 H t − 1 ( x ) \mathcal H_{t-1}(x) Ht1(x) t t t时刻的基学习器 h t h_t ht融合,得到 t t t时刻的预测模型 H t ( x ) \mathcal H_t(x) Ht(x)
    H t ( x ) = H t − 1 ( x ) + η ⋅ h t \mathcal H_{t}(x) = \mathcal H_{t-1}(x) + \eta \cdot h_t Ht(x)=Ht1(x)+ηht
    观察上式可以发现,多了一个学习率( Learning Rate \text{Learning Rate} Learning Rate) η \eta η。它本质上式一个正则项,也被称作基学习器 h t h_t ht收缩( Shrinkage \text{Shrinkage} Shrinkage)。从常规逻辑的角度,既然 h t h_t ht能够对残差训练集 D t − 1 \mathcal D_{t-1} Dt1进行拟合,那么应该将 h t h_t ht H t − 1 ( x ) \mathcal H_{t-1}(x) Ht1(x)直接融合即可。 η = 1 \eta = 1 η=1

    但真实情况是,这种做法可能会导致过拟合 ( Overfitting ) (\text{Overfitting}) (Overfitting)。因为不断拟合残差的过程,最终可能导致:除去初始的若干次迭代之外,剩余的迭代中基学习器拟合的信息绝大多数是数据的噪声信息。因而使用学习率来约束基学习器 h t h_t ht的拟合信息。

迭代过程与梯度下降法之间的关联关系

关于 H t ( x ) \mathcal H_t(x) Ht(x)的迭代过程类似于梯度下降法( Gradient Descent,GD \text{Gradient Descent,GD} Gradient Descent,GD),不同于梯度下降法的点在于:直接对预测模型自身求解梯度,而不是对模型参数。针对回归任务的目标函数,我们选择均方误差( Mean-Square Error,MSE \text{Mean-Square Error,MSE} Mean-Square Error,MSE)
L = 1 N ∑ i = 1 N ( y ( i ) − y p r e d ( i ) ) 2 \mathcal L = \frac{1}{N} \sum_{i=1}^N \left(y^{(i)} - y_{pred}^{(i)}\right)^2 L=N1i=1N(y(i)ypred(i))2

  • 由于样本之间独立同分布( Independent Identically Distribution,IID \text{Independent Identically Distribution,IID} Independent Identically Distribution,IID)这里仅观察某一个样本标签 y ( i ) y^{(i)} y(i)的目标函数信息:
    L ( i ) = 1 N ( y ( i ) − y p r e d ( i ) ) 2 \mathcal L^{(i)} = \frac{1}{N}\left(y^{(i)} - y_{pred}^{(i)}\right)^2 L(i)=N1(y(i)ypred(i))2
  • 假设迭代到 t t t时刻停止,那么此时的预测模型就是 H t ( x ) \mathcal H_t(x) Ht(x)。因而关于样本标签 y ( i ) y^{(i)} y(i)预测结果 y p r e d ( i ) y_{pred}^{(i)} ypred(i)为:
    y p r e d ( i ) = H t ( x ( i ) ) y_{pred}^{(i)} = \mathcal H_t(x^{(i)}) ypred(i)=Ht(x(i))
  • 根据定义,我们希望基学习器 h t h_t ht能够拟合 H t − 1 ( x ) \mathcal H_{t-1}(x) Ht1(x)拟合不足的部分。关于样本 ( x ( i ) , y ( i ) ) (x^{(i)},y^{(i)}) (x(i),y(i)),有:
    h t ( x ( i ) ) = y ( i ) − H t − 1 ( x ( i ) ) h_t(x^{(i)}) = y^{(i)} - \mathcal H_{t-1}(x^{(i)}) ht(x(i))=y(i)Ht1(x(i))
  • 至此,基于上述逻辑关系,我们要求解样本 ( x ( i ) , y ( i ) ) (x^{(i)},y^{(i)}) (x(i),y(i))对应的目标函数 L ( i ) \mathcal L^{(i)} L(i) t − 1 t-1 t1时刻的预测模型 H t − 1 ( x ( i ) ) \mathcal H_{t-1}(x^{(i)}) Ht1(x(i))的梯度:
    ∂ L ( i ) ∂ H t − 1 ( x ( i ) ) \frac{\partial \mathcal L^{(i)}}{\partial \mathcal H_{t-1}(x^{(i)})} Ht1(x(i))L(i)
    根据链式求导法则,可以将其拆成两项:
    后续梯度 ∂ L ( i ) ∂ H t − 1 ( x ( i ) ) \begin{aligned}\frac{\partial \mathcal L^{(i)}}{\partial \mathcal H_{t-1}(x^{(i)})}\end{aligned} Ht1(x(i))L(i)使用符号 I \mathcal I I替代。
    I = ∂ L ( i ) ∂ H t ( x ( i ) ) ⋅ ∂ H t ( x ( i ) ) ∂ H t − 1 ( x ( i ) ) \mathcal I = \frac{\partial \mathcal L^{(i)}}{\partial \mathcal H_{t}(x^{(i)})} \cdot \frac{\partial \mathcal H_t(x^{(i)})}{\partial \mathcal H_{t-1}(x^{(i)})} I=Ht(x(i))L(i)Ht1(x(i))Ht(x(i))
    观察第一项,将 L ( i ) \mathcal L^{(i)} L(i)代入,有:
    也将 y p r e d ( i ) = H t ( x ( i ) ) y_{pred}^{(i)} = \mathcal H_t(x^{(i)}) ypred(i)=Ht(x(i))代入公式。
    ∂ L ( i ) ∂ H t ( x ( i ) ) = 1 N ⋅ 2 × ( y ( i ) − y p r e d ( i ) ) ⋅ [ 0 − 1 ] = − 2 N [ y ( i ) − H t ( x ( i ) ) ] \begin{aligned} \frac{\partial \mathcal L^{(i)}}{\partial \mathcal H_{t}(x^{(i)})} & = \frac{1}{N} \cdot 2 \times(y^{(i)} - y_{pred}^{(i)}) \cdot [0 - 1] \\ & = - \frac{2}{N} \left[y^{(i)} - \mathcal H_{t}(x^{(i)})\right] \end{aligned} Ht(x(i))L(i)=N12×(y(i)ypred(i))[01]=N2[y(i)Ht(x(i))]
    观察第二项,它的结果为:
    这里 η ⋅ h t ( x ( i ) ) \eta \cdot h_t(x^{(i)}) ηht(x(i)) H t − 1 ( x ( i ) ) \mathcal H_{t-1}(x^{(i)}) Ht1(x(i))之间无关,视作常数,导数结果为 0 0 0.
    ∂ H t ( x ( i ) ) ∂ H t − 1 ( x ( i ) ) = ∂ ∂ H t − 1 ( x ( i ) ) [ H t − 1 ( x ( i ) ) + η ⋅ h t ( x ( i ) ) ] = 1 + 0 = 1 \begin{aligned}\frac{\partial \mathcal H_t(x^{(i)})}{\partial \mathcal H_{t-1}(x^{(i)})} & = \frac{\partial}{\partial \mathcal H_{t-1}(x^{(i)})} \left[\mathcal H_{t-1}(x^{(i)}) + \eta \cdot h_t(x^{(i)})\right] \\ & = 1 + 0 \\ & = 1 \end{aligned} Ht1(x(i))Ht(x(i))=Ht1(x(i))[Ht1(x(i))+ηht(x(i))]=1+0=1
    至此,梯度结果 I \mathcal I I表示如下:
    h t ( x ( i ) ) = y ( i ) − H t − 1 ( x ( i ) ) h_t(x^{(i)}) = y^{(i)} - \mathcal H_{t-1}(x^{(i)}) ht(x(i))=y(i)Ht1(x(i))代入到公式中。
    I = − 2 N [ y ( i ) − H t ( x ( i ) ) ] × 1 = − 2 N [ y ( i ) − H t − 1 ( x ( i ) ) − η ⋅ h t ( x ( i ) ) ] = − 2 N ( 1 − η ) ⋅ h t ( x ( i ) ) \begin{aligned} \mathcal I & = -\frac{2}{N} \left[y^{(i)} - \mathcal H_t(x^{(i)})\right] \times 1 \\ & = -\frac{2}{N} \left[y^{(i)} - \mathcal H_{t-1}(x^{(i)}) - \eta \cdot h_t(x^{(i)})\right] \\ & = -\frac{2}{N} (1 - \eta) \cdot h_t(x^{(i)}) \end{aligned} I=N2[y(i)Ht(x(i))]×1=N2[y(i)Ht1(x(i))ηht(x(i))]=N2(1η)ht(x(i))
  • 此时梯度中, 2 N ( 1 − η ) \begin{aligned}\frac{2}{N}(1 - \eta)\end{aligned} N2(1η)仅是一个描述梯度大小的系数,和方向无关。因而可以继续化简为如下形式:
    I = ∂ L ( i ) ∂ H t − 1 ( x ( i ) ) ∝ − h t ( x ( i ) ) \mathcal I = \frac{\partial \mathcal L^{(i)}}{\partial \mathcal H_{t-1}(x^{(i)})} \propto - h_t(x^{(i)}) I=Ht1(x(i))L(i)ht(x(i))
    此时再回顾预测模型的迭代公式,可以将其转化为:
    H t ( x ( i ) ) = H t − 1 ( x ( i ) ) + η ⋅ h t ( x ( i ) ) ⇒ H t ( x ( i ) ) = H t − 1 ( x ( i ) ) − η ⋅ ∂ L ( i ) ∂ H t − 1 ( x ( i ) ) \begin{aligned} & \quad \mathcal H_t(x^{(i)}) = \mathcal H_{t-1}(x^{(i)}) + \eta \cdot h_t(x^{(i)}) \\ & \Rightarrow \mathcal H_{t}(x^{(i)}) = \mathcal H_{t-1}(x^{(i)}) - \eta \cdot \frac{\partial \mathcal L^{(i)}}{\partial \mathcal H_{t-1}(x^{(i)})} \end{aligned} Ht(x(i))=Ht1(x(i))+ηht(x(i))Ht(x(i))=Ht1(x(i))ηHt1(x(i))L(i)
    可以看出,这就是一个梯度下降的标准公式。这说明基学习器 h t h_t ht,它的方向与梯度优化的方向相反
    这里是针对视频 The residuals equal to  − ∂ L ∂ H  if using MSE as the loss. \begin{aligned}\text{The residuals equal to }-\frac{\partial \mathcal L}{\partial \mathcal H} \text{ if using MSE as the loss.}\end{aligned} The residuals equal to HL if using MSE as the loss.的一个推导解释。

需要注意的是,一些其他的 Boosting \text{Boosting} Boosting函数,也可以套用到 Gradient Boosting \text{Gradient Boosting} Gradient Boosting这个框架下面。这里仅以回归任务(均方误差)示例描述。

下一节将针对基学习器方向与梯度方向相反的性质介绍梯度提升树( Gradient Boosting Decision Tree,GBDT \text{Gradient Boosting Decision Tree,GBDT} Gradient Boosting Decision Tree,GBDT)

相关参考:
5.3 Boosting【斯坦福21秋季:实用机器学习中文版】
机器学习(周志华著)

Logo

北京人形旗下天工造物具身智能开源社区,聚焦具身天工与慧思开物两大平台

更多推荐