Cholesky分解法(转载)

版权声明:本文为博主原创文章,未经博主允许不得转载。 https://blog.csdn.net/ACdreamers/article/details/44656847

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

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

 

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

 

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

 

(1)的Cholesky分解,得到

(2)求解,得到

(3)求解,得到

 

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

       

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

 

       

 

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

 

       

 

可以得到

 

       

进一步再由

 

                 

 

最终得到

 

       

 

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

代码:


     
     
  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分解有个改进的版本。

将对称正定矩阵通过分解成,其中是单位下三角矩阵,是对角均为正数的对角矩阵。把这

一分解叫做分解,是Cholesky分解的变形。对应两边的元素,很容易得到

          

由此可以确定计算的公式如下

          

在实际计算时,是将的严格下三角元素存储在的对应位置上,而将的对角元存储在的对应的对角位置上。

类似地求解线性方程组的解步骤如下

(1)对矩阵进行分解得到

(2)求解,得到

(3)求解,得到

代码:


     
     
  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], D[N][N];
  10. /** 分解A得到A = LDL^T */
  11. void Cholesky(Type A[][N], Type L[][N], Type D[][N], int n)
  12. {
  13. for( int k = 0; k < n; k++)
  14. {
  15. for( int i = 0; i < k; i++)
  16. A[k][k] -= A[i][i] * A[k][i] * A[k][i];
  17. for( int j = k + 1; j < n; j++)
  18. {
  19. for( int i = 0; i < k; i++)
  20. A[j][k] -= A[j][i] * A[i][i] * A[k][i];
  21. A[j][k] /= A[k][k];
  22. }
  23. }
  24. memset(L, 0, sizeof(L));
  25. memset(D, 0, sizeof(D));
  26. for( int i = 0; i < n; i++)
  27. {
  28. D[i][i] = A[i][i];
  29. L[i][i] = 1;
  30. }
  31. for( int i = 0; i < n; i++)
  32. {
  33. for( int j = 0; j < i; j++)
  34. L[i][j] = A[i][j];
  35. }
  36. }
  37. void Transposition(Type L[][N], int n)
  38. {
  39. for( int i = 0; i < n; i++)
  40. {
  41. for( int j = 0; j < i; j++)
  42. swap(L[i][j], L[j][i]);
  43. }
  44. }
  45. void Multi(Type A[][N], Type B[][N], int n)
  46. {
  47. Type **C = new Type*[n];
  48. for( int i = 0; i < n; i++)
  49. C[i] = new Type[n];
  50. for( int i = 0; i < n; i++)
  51. {
  52. for( int j = 0; j < n; j++)
  53. {
  54. C[i][j] = 0;
  55. for( int k = 0; k < n; k++)
  56. C[i][j] += A[i][k] * B[k][j];
  57. }
  58. }
  59. for( int i = 0; i < n; i++)
  60. {
  61. for( int j = 0; j < n; j++)
  62. B[i][j] = C[i][j];
  63. }
  64. for( int i = 0; i < n; i++)
  65. {
  66. delete[] C[i];
  67. C[i] = NULL;
  68. }
  69. delete C;
  70. C = NULL;
  71. }
  72. /** 回带过程 */
  73. vector<Type> Solve(Type L[][N], Type D[][N], vector<Type> X, int n)
  74. {
  75. /** LY = B => Y */
  76. for( int k = 0; k < n; k++)
  77. {
  78. for( int i = 0; i < k; i++)
  79. X[k] -= X[i] * L[k][i];
  80. X[k] /= L[k][k];
  81. }
  82. /** DL^TX = Y => X */
  83. Transposition(L, n);
  84. Multi(D, L, n);
  85. for( int k = n - 1; k >= 0; k--)
  86. {
  87. for( int i = k + 1; i < n; i++)
  88. X[k] -= X[i] * L[k][i];
  89. X[k] /= L[k][k];
  90. }
  91. return X;
  92. }
  93. void Print(Type L[][N], Type D[][N], const vector<Type> B, int n)
  94. {
  95. for( int i = 0; i < n; i++)
  96. {
  97. for( int j = 0; j < n; j++)
  98. cout<<L[i][j]<< " ";
  99. cout<< endl;
  100. }
  101. cout<< endl;
  102. vector<Type> X = Solve(L, D, B, n);
  103. vector<Type>::iterator it;
  104. for(it = X.begin(); it != X.end(); it++)
  105. cout<<*it<< " ";
  106. cout<< endl;
  107. }
  108. int main()
  109. {
  110. int n;
  111. cin>>n;
  112. memset(L, 0, sizeof(L));
  113. for( int i = 0; i < n; i++)
  114. {
  115. for( int j = 0; j < n; j++)
  116. cin>>A[i][j];
  117. }
  118. vector<Type> B;
  119. for( int i = 0; i < n; i++)
  120. {
  121. Type y;
  122. cin>>y;
  123. B.push_back(y);
  124. }
  125. Cholesky(A, L, D, n);
  126. Print(L, D, B, n);
  127. return 0;
  128. }
  129. /**data**
  130. 4
  131. 4 -2 4 2
  132. -2 10 -2 -7
  133. 4 -2 8 4
  134. 2 -7 4 7
  135. 8 2 16 6
  136. */

 

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

转载自:https://blog.csdn.net/ACdreamers/article/details/44656847


版权声明:本文为博主原创文章,未经博主允许不得转载。 https://blog.csdn.net/ACdreamers/article/details/44656847

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

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

 

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

 

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

 

(1)的Cholesky分解,得到

(2)求解,得到

(3)求解,得到

 

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

       

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

 

       

 

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

 

       

 

可以得到

 

       

进一步再由

 

                 

 

最终得到

 

       

 

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

代码:


  
  
  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分解有个改进的版本。

将对称正定矩阵通过分解成,其中是单位下三角矩阵,是对角均为正数的对角矩阵。把这

一分解叫做分解,是Cholesky分解的变形。对应两边的元素,很容易得到

          

由此可以确定计算的公式如下

          

在实际计算时,是将的严格下三角元素存储在的对应位置上,而将的对角元存储在的对应的对角位置上。

类似地求解线性方程组的解步骤如下

(1)对矩阵进行分解得到

(2)求解,得到

(3)求解,得到

代码:


  
  
  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], D[N][N];
  10. /** 分解A得到A = LDL^T */
  11. void Cholesky(Type A[][N], Type L[][N], Type D[][N], int n)
  12. {
  13. for( int k = 0; k < n; k++)
  14. {
  15. for( int i = 0; i < k; i++)
  16. A[k][k] -= A[i][i] * A[k][i] * A[k][i];
  17. for( int j = k + 1; j < n; j++)
  18. {
  19. for( int i = 0; i < k; i++)
  20. A[j][k] -= A[j][i] * A[i][i] * A[k][i];
  21. A[j][k] /= A[k][k];
  22. }
  23. }
  24. memset(L, 0, sizeof(L));
  25. memset(D, 0, sizeof(D));
  26. for( int i = 0; i < n; i++)
  27. {
  28. D[i][i] = A[i][i];
  29. L[i][i] = 1;
  30. }
  31. for( int i = 0; i < n; i++)
  32. {
  33. for( int j = 0; j < i; j++)
  34. L[i][j] = A[i][j];
  35. }
  36. }
  37. void Transposition(Type L[][N], int n)
  38. {
  39. for( int i = 0; i < n; i++)
  40. {
  41. for( int j = 0; j < i; j++)
  42. swap(L[i][j], L[j][i]);
  43. }
  44. }
  45. void Multi(Type A[][N], Type B[][N], int n)
  46. {
  47. Type **C = new Type*[n];
  48. for( int i = 0; i < n; i++)
  49. C[i] = new Type[n];
  50. for( int i = 0; i < n; i++)
  51. {
  52. for( int j = 0; j < n; j++)
  53. {
  54. C[i][j] = 0;
  55. for( int k = 0; k < n; k++)
  56. C[i][j] += A[i][k] * B[k][j];
  57. }
  58. }
  59. for( int i = 0; i < n; i++)
  60. {
  61. for( int j = 0; j < n; j++)
  62. B[i][j] = C[i][j];
  63. }
  64. for( int i = 0; i < n; i++)
  65. {
  66. delete[] C[i];
  67. C[i] = NULL;
  68. }
  69. delete C;
  70. C = NULL;
  71. }
  72. /** 回带过程 */
  73. vector<Type> Solve(Type L[][N], Type D[][N], vector<Type> X, int n)
  74. {
  75. /** LY = B => Y */
  76. for( int k = 0; k < n; k++)
  77. {
  78. for( int i = 0; i < k; i++)
  79. X[k] -= X[i] * L[k][i];
  80. X[k] /= L[k][k];
  81. }
  82. /** DL^TX = Y => X */
  83. Transposition(L, n);
  84. Multi(D, L, n);
  85. for( int k = n - 1; k >= 0; k--)
  86. {
  87. for( int i = k + 1; i < n; i++)
  88. X[k] -= X[i] * L[k][i];
  89. X[k] /= L[k][k];
  90. }
  91. return X;
  92. }
  93. void Print(Type L[][N], Type D[][N], const vector<Type> B, int n)
  94. {
  95. for( int i = 0; i < n; i++)
  96. {
  97. for( int j = 0; j < n; j++)
  98. cout<<L[i][j]<< " ";
  99. cout<< endl;
  100. }
  101. cout<< endl;
  102. vector<Type> X = Solve(L, D, B, n);
  103. vector<Type>::iterator it;
  104. for(it = X.begin(); it != X.end(); it++)
  105. cout<<*it<< " ";
  106. cout<< endl;
  107. }
  108. int main()
  109. {
  110. int n;
  111. cin>>n;
  112. memset(L, 0, sizeof(L));
  113. for( int i = 0; i < n; i++)
  114. {
  115. for( int j = 0; j < n; j++)
  116. cin>>A[i][j];
  117. }
  118. vector<Type> B;
  119. for( int i = 0; i < n; i++)
  120. {
  121. Type y;
  122. cin>>y;
  123. B.push_back(y);
  124. }
  125. Cholesky(A, L, D, n);
  126. Print(L, D, B, n);
  127. return 0;
  128. }
  129. /**data**
  130. 4
  131. 4 -2 4 2
  132. -2 10 -2 -7
  133. 4 -2 8 4
  134. 2 -7 4 7
  135. 8 2 16 6
  136. */

 

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

转载自:https://blog.csdn.net/ACdreamers/article/details/44656847

猜你喜欢

转载自blog.csdn.net/baidu_38172402/article/details/82317815