高斯-约旦消元法如何判断无解和无限解

P2455 [SDOI2006] 线性方程组

Walter_Fang @ 2024-10-12 10:22:36

如题。

代码

#include<bits/stdc++.h>
using namespace std;
const int N=1e2+10;
const double eps=1e-7;
int n,i,j,k,p;
double x,a[N][N];
int main(){
    cin>>n;
    for(i=1;i<=n;i++)for(j=1;j<=n+1;j++)cin>>a[i][j];
    for(i=1;i<=n;i++){
        p=i;
        for(j=i+1;j<=n;j++)if(fabs(a[j][i])>fabs(a[p][i]))p=j;
        for(j=1;j<=n+1;j++)swap(a[p][j],a[i][j]);
        if(fabs(a[i][i])<1e-7)return cout<<-1,0;
        for(j=n+1;j;j--)a[i][j]/=a[i][i];
        for(j=1;j<=n;j++)
            if(j!=i){
                x=a[j][i]/a[i][i];
                for(k=1;k<=n+1;k++)a[j][k]-=a[i][k]*x;
            }
    }
    for(i=1;i<=n;i++)printf("x%d=%.2lf\n",i,a[i][n+1]);
}

无解和无限解都直接输出 -1 了,不会判。


by metaphysis @ 2024-10-12 10:43:10

@Walter_Fang

在消元过程中,如果出现矩阵的某一行系数全为零,但是最右侧的常数项不为零,则此方程组无解,称 此方程组为不相容方程组。如果未出现不相容方程,但是最右侧常数亦为零,则方程组可有无穷多组解。

进一步的详细介绍您可以参考我写的书中的内容。


by Walter_Fang @ 2024-10-12 12:19:45

@metaphysis 感谢,此贴结。


|