Cholesky分解法又叫平方根法,是求解对称正定线性方程组最常用的方法之一。对于一般矩阵,为了消除LU分

解的局限性和误差的过分积累,采用了选主元的方法,但对于对称正定矩阵而言,选主元是不必要的。

定理:对称正定,则存在一个对角元为正数的下三角矩阵,使得成立。

Cholesky分解的条件(这里针对复数矩阵)

一、Hermitian matrix(埃尔米特矩阵):矩阵中的元素共轭对称(复数域的定义,类比于实数对称矩阵)。

Hermitian意味着对于任意向量x和y,(x*)Ay共轭相等

二、Positive-definite:正定(矩阵域,类比于正实数的一种定义)。正定矩阵A意味着,对于任何向量x,(x^T)Ax总是大于零(复数域是(x*)Ax>0)

Cholesky分解的形式

可记作A = L L*。其中L是下三角矩阵。L*是L的共轭转置矩阵。

可以证明,只要A满足以上两个条件,L是唯一确定的,而且L的对角元素肯定是正数。反过来也对,即存在L把A分解的话,A满足以上两个条件。

如果A是半正定的(semi-definite),也可以分解,不过这时候L就不唯一了。

特别的,如果A是实数对称矩阵,那么L的元素肯定也是实数。

另外,满足以上两个条件意味着A矩阵的特征值都为正实数,因为Ax = lamda * x,

(x*)Ax = lamda * (x*)x > 0, lamda > 0

假设现在要求解线性方程组,其中为对称正定矩阵,那么可通过下面步骤求解

(1)的Cholesky分解,得到

(2)求解,得到

(3)求解,得到

现在的关键问题是对进行Cholesky分解。假设

通过比较两边的关系,首先由,再由

这样便得到了矩阵的第一列元素,假定已经算出了的前列元素,通过

可以得到

进一步再由

最终得到

这样便通过的前列求出了第列,一直递推下去即可求出,这种方法称为平方根法。

代码:

[cpp] view plaincopy
  1. #include <iostream>
  2. #include <string.h>
  3. #include <stdio.h>
  4. #include <vector>
  5. #include <math.h>
  6. using namespace std;
  7. const int N = 1005;
  8. typedef double Type;
  9. Type A[N][N], L[N][N];
  10. /** 分解A得到A = L * L^T */
  11. void Cholesky(Type A[][N], Type L[][N], int n)
  12. {
  13. for(int k = 0; k < n; k++)
  14. {
  15. Type sum = 0;
  16. for(int i = 0; i < k; i++)
  17. sum += L[k][i] * L[k][i];
  18. sum = A[k][k] - sum;
  19. L[k][k] = sqrt(sum > 0 ? sum : 0);
  20. for(int i = k + 1; i < n; i++)
  21. {
  22. sum = 0;
  23. for(int j = 0; j < k; j++)
  24. sum += L[i][j] * L[k][j];
  25. L[i][k] = (A[i][k] - sum) / L[k][k];
  26. }
  27. for(int j = 0; j < k; j++)
  28. L[j][k] = 0;
  29. }
  30. }
  31. /** 回带过程 */
  32. vector<Type> Solve(Type L[][N], vector<Type> X, int n)
  33. {
  34. /** LY = B  => Y */
  35. for(int k = 0; k < n; k++)
  36. {
  37. for(int i = 0; i < k; i++)
  38. X[k] -= X[i] * L[k][i];
  39. X[k] /= L[k][k];
  40. }
  41. /** L^TX = Y => X */
  42. for(int k = n - 1; k >= 0; k--)
  43. {
  44. for(int i = k + 1; i < n; i++)
  45. X[k] -= X[i] * L[i][k];
  46. X[k] /= L[k][k];
  47. }
  48. return X;
  49. }
  50. void Print(Type L[][N], const vector<Type> B, int n)
  51. {
  52. for(int i = 0; i < n; i++)
  53. {
  54. for(int j = 0; j < n; j++)
  55. cout<<L[i][j]<<" ";
  56. cout<<endl;
  57. }
  58. cout<<endl;
  59. vector<Type> X = Solve(L, B, n);
  60. vector<Type>::iterator it;
  61. for(it = X.begin(); it != X.end(); it++)
  62. cout<<*it<<" ";
  63. cout<<endl;
  64. }
  65. int main()
  66. {
  67. int n;
  68. cin>>n;
  69. memset(L, 0, sizeof(L));
  70. for(int i = 0; i < n; i++)
  71. {
  72. for(int j = 0; j < n; j++)
  73. cin>>A[i][j];
  74. }
  75. vector<Type> B;
  76. for(int i = 0; i < n; i++)
  77. {
  78. Type y;
  79. cin>>y;
  80. B.push_back(y);
  81. }
  82. Cholesky(A, L, n);
  83. Print(L, B, n);
  84. return 0;
  85. }
  86. /**data**
  87. 4
  88. 4 -2 4 2
  89. -2 10 -2 -7
  90. 4 -2 8 4
  91. 2 -7 4 7
  92. 8 2 16 6
  93. */

用上述的方法需要进行开方,这有可能损失精度和增加运算量,为了避免开方,Cholesky分解有个改进的版本分解

参考资料:http://class.htu.cn/nla/cha1/sect3.htm


转自:http://blog.csdn.net/acdreamers/article/details/44656847

http://blog.csdn.net/zhouliyang1990/article/details/21952485

矩阵分解 Cholesky分解相关推荐

  1. 矩阵的Cholesky分解

    原文链接:矩阵的Cholesky分解 首先来复习线性代数中几个重要的概念. 1)如果一个复矩阵A = A*(共轭转置),则A称为Hermitian矩阵.(注意,矩阵A转置后仍为其本身,显然A一定是方阵 ...

  2. 『矩阵论笔记』详细介绍矩阵的三角分解(LR分解)+平方根分解(Cholesky分解)

    详细介绍矩阵的三角分解(LR分解)+平方根分解(Cholesky分解)! 文章目录 一. 三角分解(LR分解) 1.1. 方阵的两个重要分解 1.2. 上(下)三角阵的性质 1.3. 三角分解的概念 ...

  3. 矩阵的Cholesky分解的Matlab实现

    版权声明:本文为博主原创文章,未经博主允许不得转载.https://blog.csdn.net/weixin_38451800/article/details/88933683 1.Cholesky分 ...

  4. Matlab与线性代数--矩阵的Cholesky分解

    本图文介绍了Matlab对正交矩阵的Cholesky分解操作.

  5. 三十分钟理解:矩阵Cholesky分解,及其在求解线性方程组、矩阵逆的应用

    写一篇关于Cholesky分解的文章,作为学习笔记,尽量一文看懂矩阵Cholesky分解,以及用Cholesky分解来求解对称正定线性方程组,以及求对称正定矩阵的逆的应用. 文章目录 直接Choles ...

  6. 几种矩阵分解算法: LU分解,Cholesky分解,QR分解,SVD分解,Jordan分解

    目录 1.LU分解 2. LDLT分解法 3. Cholesky分解的形式 4. QR分解 5.SVD分解 5.1 SVD与广义逆矩阵 6. Jordan 分解 参考文章: ---------我只是搬 ...

  7. 线性代数笔记: Cholesky分解

    1 介绍 当一个实矩阵A是对称正定矩阵的时候,它可以分解成一个下三角矩阵L以及它的转置的乘积,即: 1.1 矩阵半正定的情况 如果矩阵是正定的话,那么L唯一确定:如果矩阵是半正定的话,那么也可以分解, ...

  8. C++实现Cholesky分解

    题目: 编制程序求解矩阵 A 的 Cholesky 分解,并用程序求解方程组 Ax=b,其中 代码实现: #include <iostream> #include <math.h&g ...

  9. 视觉SLAM中的数学——解方程AX=b与矩阵分解:奇异值分解(SVD分解) 特征值分解 QR分解 三角分解 LLT分解

    前言 本博客主要介绍在SLAM问题中常常出现的一些线性代数相关的知识,重点是如何采用矩阵分解的方法,求解线性方程组AX=B.主要参考了<计算机视觉--算法与应用>附录A以及Eigen库的方 ...

  10. 矩阵分解——三角分解(Cholesky 分解)

    (1)一个对角元素都是1的下三角矩阵,称为单位下三角矩阵. (2)上(下)三角矩阵的乘积仍是上(下)三角矩阵: (3)一般来说,矩阵的三角分解不唯一. (4)实对称正定矩阵 AA,Δk>0\De ...

最新文章

  1. TVM如何训练TinyML
  2. Linux Socket基础介绍
  3. Image Generation
  4. jQuery 分页插件 jPages 使用
  5. WPF学习笔记(03) - 华丽的HelloWorld
  6. (chap3 数据链路) 数据链路概览
  7. ASP.NET实现文件上传
  8. Matlab | Matlab从入门到放弃(8)——线性代数
  9. JQuery常用功能的性能优化
  10. php zend msql,WINDOWS系统 + Apache +PHP5 +Zend + MySQL + phpMyAdmin安装方法
  11. java.lang.relect.Array 类
  12. 95-35-010-Topic-Topic的新建:扩容:删除
  13. bzoj 1688: [Usaco2005 Open]Disease Manangement 疾病管理(状压)
  14. 4站地铁50多分钟,百度地图怎么算的
  15. iOS常用三方库、插件、知名技术博客、常用开发工具使用介绍等等(Objective-C版本)
  16. STM 贴片机流程记录
  17. 三级等保要求配置文档-《物理环境》《网络通信》《区域边界》《计算环境》《管理中心》《管理制度》《运维管理》《硬件配置清单》
  18. 算法之BFS算法框架
  19. 360 ie8兼容模式 网页兼容问题
  20. python中查找文件当前位置_如何查找当前目录和文件目录

热门文章

  1. python实现seo疯狂外链发送工具
  2. 同步软件ActiveSync连接问题
  3. SharePoint 通过控制上传下载对文件进行加密解密(二)
  4. deepstream-test3
  5. android手机双卡的电话录音,苹果与android手机电话通话录音
  6. ubuntu中 tftp 服务器搭建 tftpd-hpa
  7. 一个简单的吃豆子游戏
  8. 惠普803墨盒清零步骤_打印机惠普7110墨盒清零的方法
  9. Windows XP SP3 下 High Definition Audio 声卡安装方法
  10. factoryio-2.3.1虚拟仿真实验室软件