机器学习相关作业/公式应用
work4
证明函数是否是凸函数
题目:要求证明两个性质:
- Logistic函数 对参数 是非凸的。
- 对数似然函数 对 是凸的,其中 是常数。
基本知识补充
问题一: 什么含义?
可以理解为函数 有 和 两个变量。
但是 通常表示一个参数化的函数, 和 的先后顺序在符号上有不同的含义,通常,会把参数 写在后面,以强调 是输入特征,而 是控制模型行为的参数。具体来说:
- 是输入变量(特征向量),例如在机器学习模型中代表数据样本的特征。
- 是参数向量,表示模型的参数,需要通过训练来优化。
进一步说明,假设我们有一个线性回归模型: 和 。从数学上来说,这两者给出的输出值是相同的,因为内积运算在交换变量时不受影响。但是
- 前者强调:在固定 的情况下, 的变化如何影响输出。
- 后者强调:在固定 的情况下, 的变化如何影响输出。
举例: Logistic 回归中的 在逻辑回归中, 通常定义为:
其中:
- 是参数 和特征向量 的内积,结果是一个标量。
- 是 Sigmoid 函数,定义为:
这个函数的输出是一个介于 0 和 1 之间的数值,表示输入特征 属于某一类的概率。
解释含义:
- 输入 :代表特征或数据样本,它可以是多维的向量。
- 参数 :表示模型参数的集合,它们是训练过程中需要调整的,以使模型更好地拟合训练数据。
- 输出 :模型对输入 的输出结果,通常代表一种预测值或概率。
问题二:是什么
表示向量 的转置。它是将一个列向量变成行向量,或者将行向量变成列向量的操作。
具体来说:
-
如果 是一个列向量,例如:
那么 就是一个行向量:
-
如果 是一个行向量:
那么 就是一个列向量:
问题三:什么是凸函数,如何证明?
凸函数(Convex Function)是定义在一个凸集上的实值函数,其满足以下性质:如果在该集合中任意两点之间画一条直线,该直线上的函数值不低于连接两点的函数值。直观地说,凸函数的图形总是“向上弯曲”的。
几何含义:在凸函数图形中,连接两点 和 的线段不会位于函数图形的下方。
使用二阶导数条件(Hessian 矩阵)可以证明是否为凸函数(下面证明都是使用该方法),即满足以下所有条件即可证明是凸函数:
- 适用于两次可微的函数。
- 计算函数的 Hessian 矩阵 。
- 证明 是正半定矩阵,即对于任意非零向量 ,都有:
举例:证明 是凸函数
-
前提: 函数 在 上可微且二次可微。
-
步骤 1:计算一阶导数和二阶导数
-
步骤 2:检查二阶导数
由于二阶导数恒为正,Hessian 矩阵在此情况下是 ,是正半定的。因此, 是凸函数。
问题四:Hessian 矩阵是什么?二阶导数就是Hessian 矩阵吗?
Hessian 矩阵的定义
Hessian 矩阵是一个多变量函数的二阶导数矩阵。具体来说,如果 多变量函数( 即 是一个 维向量) 是一个可微两次的函数,其 Hessian 矩阵定义为:
其中:
- 是 对第 个变量的二阶偏导数。
- 是 对第 个变量和第 个变量的混合二阶偏导数。
二阶导数和 Hessian 矩阵的关系
-
单变量函数:对于单变量函数 ,Hessian 矩阵退化为一个 的矩阵,也就是二阶导数 本身。它描述了函数的曲率。
- 例如,若 ,则其二阶导数为 ,对应的 Hessian 矩阵是 。
-
多变量函数:对于多变量函数 ,Hessian 矩阵的维度为 ,它包含了所有变量之间的二阶变化率。
- 例如,若 ,则其 Hessian 矩阵为:
- 例如,若 ,则其 Hessian 矩阵为:
证明思路及其过程
证明思路
-
Logistic函数 对 的非凸性:
Logistic函数 对参数 不是凸的,是因为其二阶导数在某些情况下会出现负值。
通过计算 对 的Hessian矩阵(即二阶导数矩阵),并证明它不是正半定的,从而证明其非凸性。 -
对数似然函数 的凸性:
对数似然函数 常用于Logistic回归中拟合参数 。
证明凸性即证明 对 的二阶导数(即Hessian矩阵)是正半定的。
证明过程
证明 Logistic 函数 对参数 的非凸性
第一步:计算 Logistic 函数的一阶导数
Logistic函数可以重写为:
对参数 求一阶导数:
第二步:计算 Logistic 函数的二阶导数(Hessian矩阵)
接下来,对 再对 求导,得到Hessian矩阵:
第三步:验证Hessian矩阵的正负定性
为了判断函数的凸性,我们需要验证Hessian矩阵的正负定性。可以观察到,当 较大时(即 较小时), 为负,因此Hessian矩阵的部分项可能为负值。
由于Hessian矩阵不是正半定的,说明Logistic函数对参数 是 非凸的。
证明 对数似然函数 对参数 的凸性
第一步:计算对数似然函数的一阶导数
第二步:计算对数似然函数的二阶导数(Hessian矩阵)
对一阶导数再求导,得到Hessian矩阵:
第三步:验证Hessian矩阵的正定性
Hessian矩阵的结构中, 始终为非负数,且 是正半定矩阵。
因此,Hessian矩阵是 正半定的,这表明对数似然函数 对参数 是 凸的。
解惑
为什么二阶导数会出现
关键在于理解 Hessian 矩阵的计算原理及向量外积的来源。
背景知识:
- 梯度 :对多维参数 求导数,结果是一个向量。它代表的是损失函数相对于每个参数的变化率。
- Hessian 矩阵 :对梯度 再求一次导数,结果是一个矩阵。Hessian 矩阵捕捉的是损失函数相对于参数的二阶变化,即二阶偏导数。
以损失函数对数似然函数: 为例
计算一阶导数 :
对于第 项, 的推导过程如下:
-
对 求导:
-
对 求导:
- 设 ,即 Sigmoid 函数。
- 的导数为:
-
综合一阶导数:
或者写作:
计算二阶导数 (Hessian 矩阵):
计算 Hessian 矩阵,即对梯度向量 对 再求导数:
注意到, 是一个关于 的线性项,它的导数为零,所以我们只需要对 进行求导。
对 求导:
这里是关键步骤: 是一个标量,而 是一个向量。
为什么 是一个标量,而 是一个向量?
因为
- 是一个向量,假设它的维度是 ,表示模型的参数:
- 是一个向量,维度同样是 ,表示第 个样本的特征:
- 内积 是一个标量,即:
内积的结果是一个实数(标量),因为它是将向量 和 对应元素相乘并求和得到的。
点击查看后续更详细解释
2. Sigmoid 函数 :
-
Sigmoid 函数的定义为:
其中, 是一个标量输入, 的输出也是一个标量,取值范围在 之间。
-
在这个问题中,,所以:
这是一个标量,因为它是对内积结果(标量)进行非线性变换。
3. 向量 的性质:
- 是一个向量,维度为 ,表示第 个样本的特征向量。它在 Sigmoid 函数之外起作用,在计算梯度时需要考虑它的分量。
4. 结合梯度和 Hessian 矩阵:
-
当我们计算 梯度 时,会对每个 ( 的第 个分量)求导。因为 是标量,所以对它求导时,向量 会参与进来,表示为:
-
当进一步计算 Hessian 矩阵 时,由于梯度项中有 ,因此会产生向量的外积 ,这个外积结果是一个 的矩阵。
总结:
- 是一个标量,因为它是对内积 的结果(一个数值)进行 Sigmoid 变换。
- 是一个向量,因为它表示样本的特征向量(有多个维度)。
- 在计算梯度和 Hessian 时,由于 参与到对 的导数中,会导致出现 这样的外积形式。
我们应用乘积法则来对这个项求导:
-
计算 :
-
对 的导数为:
这里使用了 Sigmoid 函数的导数性质。
-
将其代入,我们得到:
- 表示外积运算, 是外积的结果。
- 由于 是一个 -维向量,外积的结果 是一个 的矩阵。
-
-
计算 :
- 这里 是相对于 的常数向量,因此它的导数为零。这个部分对 Hessian 没有贡献。
-
综合二阶导数:
最终得到 Hessian 矩阵:
为什么会出现 :
- 在对梯度求二阶导数时,由于 Sigmoid 函数的导数是一个标量,但我们同时需要对向量 的分量进行导数运算,这就产生了向量之间的外积 。
- 外积 的出现 是因为当我们在多维空间中对标量函数进行二次导数时,需要考虑所有分量之间的相互关系。
总结:
- 出现在 Hessian 矩阵中是因为我们在求梯度的导数时,涉及到向量对自身的导数操作。
- 导数结果中的 表示向量的外积,它是一个矩阵,捕捉了 的每个分量对参数 的二阶导数的变化。
实现对率回归
用python实现对率回归,对西瓜数据集(见表)进行划分。请附程序(含注释)
实现感知机算法
用 python 写一个感知机算法,分别实现 and 和 or。请附程序 (含注释)及运行结果
证明点到超平面的距离
计算梯度下降
work5
✨求解支持向量机(对偶形式)
或许参考:https://github.com/familyld/Machine_Learning/blob/master/06support_vector_machine.md
好的,以下是使用对偶方法求解支持向量机,划分三个数据点,并给出详细公式证明的过程。
1. 问题描述
给定三个数据点,其中正例为 ,,反例为 。要求使用对偶方法求解支持向量机,并给出原问题、对偶形式和各自的约束条件,求解 ,并给出支持向量。
2. 原问题
支持向量机的原问题可以表示为以下优化问题:
其中, 是权重向量, 是偏置, 是数据点 的标签(正例为 +1,反例为 -1)。
3. 对偶问题
为了求解原问题,我们可以将其转换为对偶问题。首先,我们引入拉格朗日乘子 ,构造拉格朗日函数:
然后,对偶问题可以表示为:
4. 对偶问题求解
为了求解对偶问题,我们首先需要求解 。
对 分别求 和 的偏导数,并令其等于 0,得到:
由第一个式子可以得到:
将 代入拉格朗日函数,并利用第二个式子,得到:
因此,对偶问题可以进一步表示为:
这是一个二次规划问题,可以使用现成的优化工具求解。
5. 求解 (w, b)
将数据点代入对偶问题,并利用 KKT 条件,可以求解得到 ,。
将 代入 的表达式,得到:
根据 KKT 条件,对于支持向量,有 。选择支持向量 ,代入求解 ,得到:
因此,得到 。
6. 支持向量
根据 KKT 条件, 对应的数据点为支持向量。因此,支持向量为 和 。
总结
通过以上步骤,我们使用对偶方法求解了支持向量机,并给出了详细的公式证明。最终得到的分类超平面为 ,支持向量为 和 。
1. 问题描述
你有三个数据点:正例 ,,反例 。目标是找到一个最优超平面来划分这些点。
2. 原始问题
支持向量机的原始问题可以表示为:
最小化:
约束条件:
其中:
- 是超平面的法向量
- 是超平面的截距
- 是松弛变量,允许一些点落在间隔内或错误的一侧
- 是惩罚参数,控制对错误分类的惩罚程度
3. 对偶问题
为了更容易求解,我们将原始问题转换为其对偶问题:
最大化:
约束条件:
其中 是拉格朗日乘子。
4. 求解对偶问题
在本例中,我们有三个数据点,因此 。让我们将数据点和标签代入对偶问题:
最大化:
约束条件:
计算点积:
将这些值代入目标函数并简化,然后使用约束条件求解 , 和 。这通常需要使用二次规划求解器。
5. 计算 w 和 b
一旦你找到了最优的 ,你可以使用以下公式计算 和 :
(对于任何 )
注意: 由于没有提供惩罚参数 的值,我无法提供完整的数值解。你需要选择一个合适的 值,然后使用二次规划求解器来找到最优的 ,进而计算 和 。
希望这些步骤能帮助你理解如何使用对偶方法解决这个支持向量机问题。
本文作者:kingwzun
本文链接:https://www.cnblogs.com/kingwz/p/18461719
版权声明:本作品采用知识共享署名-非商业性使用-禁止演绎 2.5 中国大陆许可协议进行许可。
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】凌霞软件回馈社区,博客园 & 1Panel & Halo 联合会员上线
【推荐】抖音旗下AI助手豆包,你的智能百科全书,全免费不限次数
【推荐】博客园社区专享云产品让利特惠,阿里云新客6.5折上折
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步