#include <stdio.h>
#include <math.h>
#define N 4
#define EPS 1e-6
#define MAX_ITER 100
void print_matrix(double mat[N][N]) {
for (int i = 0; i < N; i++) {
for (int j = 0; j < N; j++) {
}
}
}
int main() {
double A[N][N] = {
{5.0, 4.0, 1.0, 1.0},
{4.0, 5.0, 1.0, 1.0},
{1.0, 1.0, 4.0, 2.0},
{1.0, 1.0, 2.0, 4.0}
};
double A_orig[N][N];
for (int i = 0; i < N; i++)
for (int j = 0; j < N; j++)
A_orig[i][j] = A[i][j];
double P[N][N] = {0};
for (int i = 0; i < N; i++) P[i][i] = 1.0;
int iter = 0;
printf("%-5s %-18s %-8s\n", "反復", "最大非対角成分", "要素位置"); printf("---------------------------------------\n");
while (iter < MAX_ITER) {
// 1. 非対角成分から絶対値が最大の要素 A[p][q] を探索
int p = 0, q = 1;
double max_val
= fabs(A
[0][1]); for (int i = 0; i < N; i++) {
for (int j = i + 1; j < N; j++) {
if (fabs(A
[i
][j
]) > max_val
) { p = i;
q = j;
}
}
}
printf("%-5d %-18.6f A[%d][%d]\n", iter
, max_val
, p
, q
);
if (max_val < EPS) {
printf("---------------------------------------\n"); break;
}
double phi, cos_t, sin_t;
if (fabs(A
[p
][p
] - A
[q
][q
]) < 1e-12) { } else {
phi
= 0.5 * atan2(2.0 * A
[p
][q
], A
[p
][p
] - A
[q
][q
]); }
// 行列 A の更新
double Ap_old = A[p][p];
double Aq_old = A[q][q];
A[p][p] = Ap_old * cos_t * cos_t + Aq_old * sin_t * sin_t + 2.0 * A[p][q] * sin_t * cos_t;
A[q][q] = Ap_old * sin_t * sin_t + Aq_old * cos_t * cos_t - 2.0 * A[p][q] * sin_t * cos_t;
A[p][q] = A[q][p] = 0.0;
for (int i = 0; i < N; i++) {
if (i != p && i != q) {
double a_ip = A[i][p];
double a_iq = A[i][q];
A[i][p] = A[p][i] = a_ip * cos_t + a_iq * sin_t;
A[i][q] = A[q][i] = -a_ip * sin_t + a_iq * cos_t;
}
}
for (int i = 0; i < N; i++) {
double p_ip = P[i][p];
double p_iq = P[i][q];
P[i][p] = p_ip * cos_t + p_iq * sin_t;
P[i][q] = -p_ip * sin_t + p_iq * cos_t;
}
iter++;
}
for (int j = 0; j < N; j++) {
printf("Eigenvalue %d (固有値): %f\n", j
+ 1, A
[j
][j
]); printf("Eigenvector %d (固有ベクトル):\n[ ", j
+ 1); for (int i = 0; i < N; i++) {
}
}
printf(" 固有対の検証チェック (A*x - lambda*x) \n");
for (int j = 0; j < N; j++) {
double lambda = A[j][j];
printf("固有値 %d (%f) の検証:\n", j
+ 1, lambda
);
for (int i = 0; i < N; i++) {
double Ax_i = 0.0;
for (int k = 0; k < N; k++) {
Ax_i += A_orig[i][k] * P[k][j];
}
double lambda_x_i = lambda * P[i][j];
double residual
= fabs(Ax_i
- lambda_x_i
); printf(" 第 %d 行: A*x = %9.6f, lambda*x = %9.6f, 残差絶対値 = %e\n", i + 1, Ax_i, lambda_x_i, residual);
}
}
return 0;
}
I2luY2x1ZGUgPHN0ZGlvLmg+CiNpbmNsdWRlIDxtYXRoLmg+CiNkZWZpbmUgTiA0ICAgICAgICAgCiNkZWZpbmUgRVBTIDFlLTYgCiNkZWZpbmUgTUFYX0lURVIgMTAwCgp2b2lkIHByaW50X21hdHJpeChkb3VibGUgbWF0W05dW05dKSB7CiAgICBmb3IgKGludCBpID0gMDsgaSA8IE47IGkrKykgewogICAgICAgIGZvciAoaW50IGogPSAwOyBqIDwgTjsgaisrKSB7CiAgICAgICAgICAgIHByaW50ZigiJTcuNGYgIiwgbWF0W2ldW2pdKTsKICAgICAgICB9CiAgICAgICAgcHJpbnRmKCJcbiIpOwogICAgfQp9CgppbnQgbWFpbigpIHsKICAgIGRvdWJsZSBBW05dW05dID0gewogICAgICAgIHs1LjAsIDQuMCwgMS4wLCAxLjB9LAogICAgICAgIHs0LjAsIDUuMCwgMS4wLCAxLjB9LAogICAgICAgIHsxLjAsIDEuMCwgNC4wLCAyLjB9LAogICAgICAgIHsxLjAsIDEuMCwgMi4wLCA0LjB9CiAgICB9OwoKICAgIGRvdWJsZSBBX29yaWdbTl1bTl07CiAgICBmb3IgKGludCBpID0gMDsgaSA8IE47IGkrKykKICAgICAgICBmb3IgKGludCBqID0gMDsgaiA8IE47IGorKykKICAgICAgICAgICAgQV9vcmlnW2ldW2pdID0gQVtpXVtqXTsKCiAgICBkb3VibGUgUFtOXVtOXSA9IHswfTsKICAgIGZvciAoaW50IGkgPSAwOyBpIDwgTjsgaSsrKSBQW2ldW2ldID0gMS4wOwoKICAgIGludCBpdGVyID0gMDsKICAgIHByaW50ZigiJS01cyAgICUtMThzICAgJS04c1xuIiwgIuWPjeW+qSIsICLmnIDlpKfpnZ7lr77op5LmiJDliIYiLCAi6KaB57Sg5L2N572uIik7CiAgICBwcmludGYoIi0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLVxuIik7CgogICAgd2hpbGUgKGl0ZXIgPCBNQVhfSVRFUikgewogICAgICAgIC8vIDEuIOmdnuWvvuinkuaIkOWIhuOBi+OCiee1tuWvvuWApOOBjOacgOWkp+OBruimgee0oCBBW3BdW3FdIOOCkuaOoue0ogogICAgICAgIGludCBwID0gMCwgcSA9IDE7CiAgICAgICAgZG91YmxlIG1heF92YWwgPSBmYWJzKEFbMF1bMV0pOwogICAgICAgIGZvciAoaW50IGkgPSAwOyBpIDwgTjsgaSsrKSB7CiAgICAgICAgICAgIGZvciAoaW50IGogPSBpICsgMTsgaiA8IE47IGorKykgewogICAgICAgICAgICAgICAgaWYgKGZhYnMoQVtpXVtqXSkgPiBtYXhfdmFsKSB7CiAgICAgICAgICAgICAgICAgICAgbWF4X3ZhbCA9IGZhYnMoQVtpXVtqXSk7CiAgICAgICAgICAgICAgICAgICAgcCA9IGk7CiAgICAgICAgICAgICAgICAgICAgcSA9IGo7CiAgICAgICAgICAgICAgICB9CiAgICAgICAgICAgIH0KICAgICAgICB9CiAgICAgICAgcHJpbnRmKCIlLTVkICAgJS0xOC42ZiAgIEFbJWRdWyVkXVxuIiwgaXRlciwgbWF4X3ZhbCwgcCwgcSk7CgogICAgICAgIGlmIChtYXhfdmFsIDwgRVBTKSB7CiAgICAgICAgICAgIHByaW50ZigiLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tXG4iKTsKICAgICAgICAgICAgcHJpbnRmKCLnirbmhYs6IOato+W4uOOBq+WPjuadn+OBl+OBvuOBl+OBn+OAglxuXG4iKTsKICAgICAgICAgICAgYnJlYWs7CiAgICAgICAgfQoKICAgICAgICBkb3VibGUgcGhpLCBjb3NfdCwgc2luX3Q7CiAgICAgICAgaWYgKGZhYnMoQVtwXVtwXSAtIEFbcV1bcV0pIDwgMWUtMTIpIHsKICAgICAgICAgICAgcGhpID0gYWNvcygtMS4wKSAvIDQuMDsgCiAgICAgICAgfSBlbHNlIHsKICAgICAgICAgICAgcGhpID0gMC41ICogYXRhbjIoMi4wICogQVtwXVtxXSwgQVtwXVtwXSAtIEFbcV1bcV0pOwogICAgICAgIH0KICAgICAgICBjb3NfdCA9IGNvcyhwaGkpOwogICAgICAgIHNpbl90ID0gc2luKHBoaSk7CgogICAgICAgIC8vIOihjOWIlyBBIOOBruabtOaWsAogICAgICAgIGRvdWJsZSBBcF9vbGQgPSBBW3BdW3BdOwogICAgICAgIGRvdWJsZSBBcV9vbGQgPSBBW3FdW3FdOwogICAgICAgIEFbcF1bcF0gPSBBcF9vbGQgKiBjb3NfdCAqIGNvc190ICsgQXFfb2xkICogc2luX3QgKiBzaW5fdCArIDIuMCAqIEFbcF1bcV0gKiBzaW5fdCAqIGNvc190OwogICAgICAgIEFbcV1bcV0gPSBBcF9vbGQgKiBzaW5fdCAqIHNpbl90ICsgQXFfb2xkICogY29zX3QgKiBjb3NfdCAtIDIuMCAqIEFbcF1bcV0gKiBzaW5fdCAqIGNvc190OwogICAgICAgIEFbcF1bcV0gPSBBW3FdW3BdID0gMC4wOyAKCiAgICAgICAgZm9yIChpbnQgaSA9IDA7IGkgPCBOOyBpKyspIHsKICAgICAgICAgICAgaWYgKGkgIT0gcCAmJiBpICE9IHEpIHsKICAgICAgICAgICAgICAgIGRvdWJsZSBhX2lwID0gQVtpXVtwXTsKICAgICAgICAgICAgICAgIGRvdWJsZSBhX2lxID0gQVtpXVtxXTsKICAgICAgICAgICAgICAgIEFbaV1bcF0gPSBBW3BdW2ldID0gYV9pcCAqIGNvc190ICsgYV9pcSAqIHNpbl90OwogICAgICAgICAgICAgICAgQVtpXVtxXSA9IEFbcV1baV0gPSAtYV9pcCAqIHNpbl90ICsgYV9pcSAqIGNvc190OwogICAgICAgICAgICB9CiAgICAgICAgfQoKICAgICAgICBmb3IgKGludCBpID0gMDsgaSA8IE47IGkrKykgewogICAgICAgICAgICBkb3VibGUgcF9pcCA9IFBbaV1bcF07CiAgICAgICAgICAgIGRvdWJsZSBwX2lxID0gUFtpXVtxXTsKICAgICAgICAgICAgUFtpXVtwXSA9IHBfaXAgKiBjb3NfdCArIHBfaXEgKiBzaW5fdDsKICAgICAgICAgICAgUFtpXVtxXSA9IC1wX2lwICogc2luX3QgKyBwX2lxICogY29zX3Q7CiAgICAgICAgfQoKICAgICAgICBpdGVyKys7CiAgICB9CgoKICAgIHByaW50ZigiICAgICDlm7rmnInlgKQg77yGIOWbuuacieODmeOCr+ODiOODqyAgICBcbiIpOwogICAgZm9yIChpbnQgaiA9IDA7IGogPCBOOyBqKyspIHsKICAgICAgICBwcmludGYoIkVpZ2VudmFsdWUgJWQgKOWbuuacieWApCk6ICVmXG4iLCBqICsgMSwgQVtqXVtqXSk7CiAgICAgICAgcHJpbnRmKCJFaWdlbnZlY3RvciAlZCAo5Zu65pyJ44OZ44Kv44OI44OrKTpcblsgIiwgaiArIDEpOwogICAgICAgIGZvciAoaW50IGkgPSAwOyBpIDwgTjsgaSsrKSB7CiAgICAgICAgICAgIHByaW50ZigiJWYgIiwgUFtpXVtqXSk7IAogICAgICAgIH0KICAgICAgICBwcmludGYoIl1cblxuIik7CiAgICB9CgogICAgcHJpbnRmKCIgICAgICDlm7rmnInlr77jga7mpJzoqLzjg4Hjgqfjg4Pjgq8gKEEqeCAtIGxhbWJkYSp4KSAgICBcbiIpOwogICAgCiAgICBmb3IgKGludCBqID0gMDsgaiA8IE47IGorKykgewogICAgICAgIGRvdWJsZSBsYW1iZGEgPSBBW2pdW2pdOwogICAgICAgIHByaW50Zigi5Zu65pyJ5YCkICVkICglZikg44Gu5qSc6Ki8OlxuIiwgaiArIDEsIGxhbWJkYSk7CiAgICAgICAgCiAgICAgICAgZm9yIChpbnQgaSA9IDA7IGkgPCBOOyBpKyspIHsKICAgICAgICAgICAgZG91YmxlIEF4X2kgPSAwLjA7CiAgICAgICAgICAgIGZvciAoaW50IGsgPSAwOyBrIDwgTjsgaysrKSB7CiAgICAgICAgICAgICAgICBBeF9pICs9IEFfb3JpZ1tpXVtrXSAqIFBba11bal07CiAgICAgICAgICAgIH0KICAgICAgICAgICAgZG91YmxlIGxhbWJkYV94X2kgPSBsYW1iZGEgKiBQW2ldW2pdOwogICAgICAgICAgICBkb3VibGUgcmVzaWR1YWwgPSBmYWJzKEF4X2kgLSBsYW1iZGFfeF9pKTsKICAgICAgICAgICAgcHJpbnRmKCIgIOesrCAlZCDooYw6IEEqeCA9ICU5LjZmLCBsYW1iZGEqeCA9ICU5LjZmLCDmrovlt67ntbblr77lgKQgPSAlZVxuIiwgCiAgICAgICAgICAgICAgICAgICBpICsgMSwgQXhfaSwgbGFtYmRhX3hfaSwgcmVzaWR1YWwpOwogICAgICAgIH0KICAgICAgICBwcmludGYoIlxuIik7CiAgICB9CiAgICByZXR1cm4gMDsKfQ==
反復 最大非対角成分 要素位置
---------------------------------------
0 4.000000 A[0][1]
1 2.000000 A[2][3]
2 2.000000 A[0][2]
3 0.000000 A[0][3]
---------------------------------------
状態: 正常に収束しました。
固有値 & 固有ベクトル
Eigenvalue 1 (固有値): 10.000000
Eigenvector 1 (固有ベクトル):
[ 0.632456 0.632456 0.316228 0.316228 ]
Eigenvalue 2 (固有値): 1.000000
Eigenvector 2 (固有ベクトル):
[ -0.707107 0.707107 0.000000 0.000000 ]
Eigenvalue 3 (固有値): 5.000000
Eigenvector 3 (固有ベクトル):
[ -0.316228 -0.316228 0.632456 0.632456 ]
Eigenvalue 4 (固有値): 2.000000
Eigenvector 4 (固有ベクトル):
[ 0.000000 0.000000 -0.707107 0.707107 ]
固有対の検証チェック (A*x - lambda*x)
固有値 1 (10.000000) の検証:
第 1 行: A*x = 6.324555, lambda*x = 6.324555, 残差絶対値 = 8.881784e-16
第 2 行: A*x = 6.324555, lambda*x = 6.324555, 残差絶対値 = 1.776357e-15
第 3 行: A*x = 3.162278, lambda*x = 3.162278, 残差絶対値 = 4.440892e-16
第 4 行: A*x = 3.162278, lambda*x = 3.162278, 残差絶対値 = 8.881784e-16
固有値 2 (1.000000) の検証:
第 1 行: A*x = -0.707107, lambda*x = -0.707107, 残差絶対値 = 4.440892e-16
第 2 行: A*x = 0.707107, lambda*x = 0.707107, 残差絶対値 = 3.330669e-16
第 3 行: A*x = 0.000000, lambda*x = 0.000000, 残差絶対値 = 1.110223e-16
第 4 行: A*x = 0.000000, lambda*x = 0.000000, 残差絶対値 = 1.110223e-16
固有値 3 (5.000000) の検証:
第 1 行: A*x = -1.581139, lambda*x = -1.581139, 残差絶対値 = 4.440892e-16
第 2 行: A*x = -1.581139, lambda*x = -1.581139, 残差絶対値 = 2.220446e-16
第 3 行: A*x = 3.162278, lambda*x = 3.162278, 残差絶対値 = 4.440892e-16
第 4 行: A*x = 3.162278, lambda*x = 3.162278, 残差絶対値 = 0.000000e+00
固有値 4 (2.000000) の検証:
第 1 行: A*x = 0.000000, lambda*x = 0.000000, 残差絶対値 = 1.110223e-16
第 2 行: A*x = 0.000000, lambda*x = 0.000000, 残差絶対値 = 1.110223e-16
第 3 行: A*x = -1.414214, lambda*x = -1.414214, 残差絶対値 = 2.220446e-16
第 4 行: A*x = 1.414214, lambda*x = 1.414214, 残差絶対値 = 2.220446e-16