最小二乘法小结

http://www.cnblogs.com/pinard/p/5976811.html

最小二乘法是用来做函数拟合或者求函数极值的方法。在机器学习,尤其是回归模型中,经常可以看到最小二乘法的身影,这里就对我对最小二乘法的认知做一个小结。

最小二乘法是由勒让德在19世纪发现的,原理的一般形式很简单,当然发现的过程是非常艰难的。形式如下式:

目标函数 = Σ(观测值-理论值)2

观测值就是我们的多组样本,理论值就是我们的假设拟合函数。目标函数也就是在机器学习中常说的损失函数,我们的目标是得到使目标函数最小化时候的拟合函数的模型。举一个最简单的线性回归的简单例子,比如我们有m个只有一个特征的样本:

(x (1 ),y (1 )),(x (2 ),y (2 ),…(x (m ),y (m ))

样本采用下面的拟合函数:

h θ(x )=θ0 +θ1 x

这样我们的样本有一个特征x,对应的拟合函数有两个参数θ0 和θ1

需要求出。

我们的目标函数为:

J (θ0 ,θ1 )=∑i =1 m (y (i )−h θ(x (i ))2 =∑i =1 m (y (i )−θ0 −θ1 x (i ))2

用最小二乘法做什么呢,使J (θ0 ,θ1 )

最小,求出使J (θ0 ,θ1 )最小时的θ0 和θ1

,这样拟合函数就得出了。

那么,最小二乘法怎么才能使J (θ0 ,θ1 )

最小呢?

上面提到要使J (θ0 ,θ1 )

最小,方法就是对θ0 和θ1分别来求偏导数,令偏导数为0,得到一个关于θ0 和θ1的二元方程组。求解这个二元方程组,就可以得到θ0 和θ1

的值。下面我们具体看看过程。

J (θ0 ,θ1 )对θ0

求导,得到如下方程:

∑i =1 m (y (i )−θ0 −θ1 x (i ))=0

J (θ0 ,θ1 )对θ1

求导,得到如下方程:

∑i =1 m (y (i )−θ0 −θ1 x (i ))x (i )=0

①和②组成一个二元一次方程组,容易求出θ0 和θ1

的值:

θ0 =∑i =1 m (x (i ))2 ∑i =1 m y (i )−∑i =1 m x (i )∑i =1 m x (i )y (i )/m ∑i =1 m (x (i ))2 −(∑i =1 m x (i ))2

θ1 =m ∑i =1 m x (i )y (i )−∑i =1 m x (i )∑i =1 m y (i )/m ∑i =1 m (x (i ))2 −(∑i =1 m x (i ))2

这个方法很容易推广到多个样本特征的线性拟合。

拟合函数表示为 h θ(x 1 ,x 2 ,…x n )=θ0 +θ1 x 1 +…+θn x n

, 其中θi (i = 0,1,2… n)为模型参数,x i (i = 0,1,2… n)为每个样本的n个特征值。这个表示可以简化,我们增加一个特征x 0 =1

,这样拟合函数表示为:

h θ(x 0 ,x 1 ,…x n )=∑i =0 n θi x i

损失函数表示为:

J (θ0 ,θ1 …,θn )=∑j =1 m (h θ(x (j )0 ),x (j )1 ,…x (j )n ))−y (j )))2 =∑j =1 m (∑i =0 n θi x (j )i −y (j ))2

利用损失函数分别对θi

(i=0,1,…n)求导,并令导数为0可得:

∑j =0 m (∑i =0 n (θi x (j )i −y (j ))x (j )i

= 0 (i=0,1,…n)

这样我们得到一个N+1元一次方程组,这个方程组有N+1个方程,求解这个方程,就可以得到所有的N+1个未知的θ

这个方法很容易推广到多个样本特征的非线性拟合。原理和上面的一样,都是用损失函数对各个参数求导取0,然后求解方程组得到参数值。这里就不累述了。

矩阵法比代数法要简洁,且矩阵运算可以取代循环,所以现在很多书和机器学习库都是用的矩阵法来做最小二乘法。

这里用上面的多元线性回归例子来描述矩阵法解法。

假设函数h θ(x 1 ,x 2 ,…x n )=θ0 +θ1 x 1 +…+θn x n

的矩阵表达方式为:

h θ(x )=X θ

其中, 假设函数h θ(X )

为mx1的向量,θ为nx1的向量,里面有n个代数法的模型参数。X

为mxn维的矩阵。m代表样本的个数,n代表样本的特征数。

损失函数定义为J (θ)=1 2 (X θ−Y )T (X θ−Y )

其中Y

是样本的输出向量,维度为mx1. 1 2

在这主要是为了求导后系数为1,方便计算。

根据最小二乘法的原理,我们要对这个损失函数对θ

向量求导取0。结果如下式:

∂∂θJ (θ)=X T (X θ−Y )=0

这里面用到了矩阵求导链式法则,和两个矩阵求导的公式。

公式1:∂∂X (X X T )=2 X

公式2:∂∂θ(X θ)=X T

对上述求导等式整理后可得:

X T X θ=X T Y

两边同时左乘(X T X )−1

可得:

θ=(X T X )−1 X T Y

这样我们就一下子求出了θ

向量表达式的公式,免去了代数法一个个去求导的麻烦。只要给了数据,我们就可以用θ=(X T X )−1 X T Y算出θ

从上面可以看出,最小二乘法适用简洁高效,比梯度下降这样的迭代法似乎方便很多。但是这里我们就聊聊最小二乘法的局限性。

首先,最小二乘法需要计算X T X

的逆矩阵,有可能它的逆矩阵不存在,这样就没有办法直接用最小二乘法了,此时梯度下降法仍然可以使用。当然,我们可以通过对样本数据进行整理,去掉冗余特征。让X T X

的行列式不为0,然后继续使用最小二乘法。

第二,当样本特征n非常的大的时候,计算X T X

的逆矩阵是一个非常耗时的工作(nxn的矩阵求逆),甚至不可行。此时以梯度下降为代表的迭代法仍然可以使用。那这个n到底多大就不适合最小二乘法呢?如果你没有很多的分布式大数据计算资源,建议超过10000个特征就用迭代法吧。或者通过主成分分析降低特征的维度后再用最小二乘法。

第三,如果拟合函数不是线性的,这时无法使用最小二乘法,需要通过一些技巧转化为线性才能使用,此时梯度下降仍然可以用。

第四,讲一些特殊情况。当样本量m很少,小于特征数n的时候,这时拟合方程是欠定的,常用的优化方法都无法去拟合数据。当样本量m等于特征数n的时候,用方程组求解就可以了。当m大于n时,拟合方程是超定的,也就是我们常用与最小二乘法的场景了。

Original: https://www.cnblogs.com/kex1n/p/9043773.html
Author: 小 楼 一 夜 听 春 雨
Title: 最小二乘法小结

原创文章受到原创版权保护。转载请注明出处:https://www.johngo689.com/549374/

转载文章受原作者版权保护。转载请注明原作者出处!

(0)

大家都在看

  • hdu 1845

    一看题意就是二分匹配问题,建边是双向的,两个集合都是n个点 这题的图很特殊,每个点都要与三个点相连,在纸上画了六个点的图就感觉此图最大匹配肯定是六,除以2就是原图的匹配了,就感觉这…

    技术杂谈 2023年6月1日
    090
  • .NET6打包部署到WindowsService

    1.安装Nuget包 安装以下nuget包支持windows service <PackageReference Include="Microsoft.AspNet…

    技术杂谈 2023年7月24日
    095
  • Java的三大特性

    Java的三大特性 封装: 隐藏内部功能的具体实现,只保留和外部交流数据的接口,将变化隔离,便于使用,提高复用性和安全性。例:汽车与发动机,不必知道发动机的实现原理,只需使用汽车给…

    技术杂谈 2023年7月24日
    083
  • Clickhouse SQL语法

    Insert 基本与标准 SQL(MySQL)基本一致(1)标准 insert into [table_name] values(&#x2026;),(&#x202…

    技术杂谈 2023年7月10日
    072
  • Spark学习(2)RDD编程

    RDD(Resilient Distributed Dataset)叫做分布式数据集,是Spark中最基本的数据抽象,它代表一个不可变、可分区、弹性、里面的元素可并行计算的集合 R…

    技术杂谈 2023年7月24日
    057
  • 读配置、讲原理、看面试真题,我只能帮你到这了。。。

    当我在写一上来就主从、集群、哨兵,这谁受得了的时候,好多小伙伴就迫不及待的留言想看这些模式了,今天我们就从配置文件、设计原理、面试真题三个方面来聊一聊 Redis 的主从复制。 在…

    技术杂谈 2023年7月11日
    077
  • Css时间轴布局_Css时间轴布局案例整理

    DOCTYPE html> <html lang="en"> <head> <meta charset="UTF-…

    技术杂谈 2023年6月1日
    062
  • 设计模式——创建型设计模式

    创建型设计模式 争对 &#x5BF9;&#x8C61;/&#x7C7B;创建时的优化 工厂方法模式(了解) 通过定义顶层抽象工厂类,通过继承的方式,针对于每…

    技术杂谈 2023年7月11日
    076
  • 7-8月全球技术标准更新

    1.巴西 ANATEL 就有线充电接口USB Type-C 标准开展公众咨询 巴西ANATEL 已启动第45 号公众咨询,该提案定义了强制性技术要求,以评估手机中有线充电接口与US…

    技术杂谈 2023年6月21日
    057
  • conda创建源报错HTTPError: 404 Client Error:

    问题分析 原来的镜像源不能使用。 解决方法 记事本打开路径C:\Users\Administrator下的.condarc文件,修改设置后如图 Original: https://…

    技术杂谈 2023年7月10日
    054
  • 自写一个生成ID的工具类

    平时项目中只要涉及表,那么一定能接触到众多各式各样的ID编号,博主整理一些常用的ID格式,整合一个ID生成工具类,供大家参考,如果有什么不足指出,烦请留言批评指正,尽量改正,感激不…

    技术杂谈 2023年7月25日
    0229
  • JAVA第一课(Hello World)—-下载配置Java环境

    一、前期准备工作 1、下载Java(推荐下载JDK8) (1)百度搜索JDK8,找到下载地址(注册一下Oracle的账号就能直接下载) (2)配置环境 此电脑→属性 →高级系统设置…

    技术杂谈 2023年6月21日
    089
  • MySQL中的事务和MVCC

    本篇博客参考掘金小册——MySQL 是怎样运行的:从根儿上理解 MySQL 以及极客时间——MySQL实战45讲。 虽然我们不是DBA,可能对数据库没那么了解,但是对于数据库中的索…

    技术杂谈 2023年7月25日
    088
  • 区块链代币(Token)笔记 — — 术语

    接触区块链和数字货币差不多有大半年时间,一直在赶项目进度,现在有空整理补习一下相关的知识,只谈代币不谈区块链😂。 声明欢迎转载,但请保留文章原始出处:)博客园:http://www…

    技术杂谈 2023年5月31日
    091
  • Flink 状态编程

    在Flink架构体系中,有状态计算可以说是Flink非常重要的特性之一 Flink优势: 支持高吞吐、低延迟、高性能 支持事件时间Event_time概念 支持有状态计算 有状态计…

    技术杂谈 2023年7月10日
    073
  • Java8 Stream 的最佳实践

    java8stream提供了对于集合类的流失处理,其具有以下特点: Lazy Evaluation(长度可以无限) 只能使用一次 内部迭代 Lazy Evaluation类似函数式…

    技术杂谈 2023年7月24日
    056
亲爱的 Coder【最近整理,可免费获取】👉 最新必读书单  | 👏 面试题下载  | 🌎 免费的AI知识星球