【模板】矩阵求逆(矩阵初等变换)_i++ 做法:

  • 先求出【模板】矩阵求逆(矩阵初等变换)_git_02的伴随矩阵【模板】矩阵求逆(矩阵初等变换)_git_03,后利用【模板】矩阵求逆(矩阵初等变换)_i++_04求解
    需要求【模板】矩阵求逆(矩阵初等变换)_逆矩阵_05次行列式

【模板】矩阵求逆(矩阵初等变换)_git_06 做法:

  • 对每一行来一波高斯消元

【模板】矩阵求逆(矩阵初等变换)_git_07 做法:
首先介绍矩阵的初等变换(以下为初等行变换):

  1. 交换两行,记做【模板】矩阵求逆(矩阵初等变换)_逆矩阵_08
  2. 将一行的所有元乘上数【模板】矩阵求逆(矩阵初等变换)_i++_09
  3. 将一行的所有元的【模板】矩阵求逆(矩阵初等变换)_i++_09倍加到另一行上
  • 【模板】矩阵求逆(矩阵初等变换)_git_02能通过若干次初等行变换变为【模板】矩阵求逆(矩阵初等变换)_git_12,则称【模板】矩阵求逆(矩阵初等变换)_git_02【模板】矩阵求逆(矩阵初等变换)_git_12行等价,【模板】矩阵求逆(矩阵初等变换)_git_15(等价符号上有一个字母【模板】矩阵求逆(矩阵初等变换)_git_16,没打出来,一下均用【模板】矩阵求逆(矩阵初等变换)_git_17表示行等价)
  • 定理:设【模板】矩阵求逆(矩阵初等变换)_git_18【模板】矩阵求逆(矩阵初等变换)_逆矩阵_19矩阵,【模板】矩阵求逆(矩阵初等变换)_git_15的充分必要条件是存在【模板】矩阵求逆(矩阵初等变换)_git_21阶可逆矩阵【模板】矩阵求逆(矩阵初等变换)_i++_22使得【模板】矩阵求逆(矩阵初等变换)_git_23

引入:初等矩阵: 把单位矩阵 【模板】矩阵求逆(矩阵初等变换)_i++_24 经过一次初等变换得到的矩阵称为初等矩阵。
性质1:设 【模板】矩阵求逆(矩阵初等变换)_i++_25【模板】矩阵求逆(矩阵初等变换)_逆矩阵_26矩阵,对 【模板】矩阵求逆(矩阵初等变换)_i++_25 进行一次初等行变换相当于在 【模板】矩阵求逆(矩阵初等变换)_i++_25 的左边乘上对应的 【模板】矩阵求逆(矩阵初等变换)_逆矩阵_29 阶初等矩阵
性质2:方阵 【模板】矩阵求逆(矩阵初等变换)_i++_25 可逆的充分必要条件是存在有限个初等矩阵 【模板】矩阵求逆(矩阵初等变换)_git_31 使 【模板】矩阵求逆(矩阵初等变换)_逆矩阵_32
充分性:因为初等矩阵均可逆,所以有限个初等矩阵的乘积仍可逆,故 【模板】矩阵求逆(矩阵初等变换)_i++_25 可逆。
必要性:设 【模板】矩阵求逆(矩阵初等变换)_i++_25 可逆,它经过有限次初等行变换变为行最简矩阵 【模板】矩阵求逆(矩阵初等变换)_逆矩阵_35,那么存在初等矩阵 【模板】矩阵求逆(矩阵初等变换)_逆矩阵_36 使 【模板】矩阵求逆(矩阵初等变换)_逆矩阵_37,因为 【模板】矩阵求逆(矩阵初等变换)_git_38 均可逆,故 【模板】矩阵求逆(矩阵初等变换)_逆矩阵_35 可逆,故 【模板】矩阵求逆(矩阵初等变换)_i++_40
此时 【模板】矩阵求逆(矩阵初等变换)_i++_41,此时 【模板】矩阵求逆(矩阵初等变换)_git_42为初等矩阵

  • 定理证明:【模板】矩阵求逆(矩阵初等变换)_逆矩阵_43 存在有限个矩阵 【模板】矩阵求逆(矩阵初等变换)_git_44 使 【模板】矩阵求逆(矩阵初等变换)_git_45 存在可逆矩阵 【模板】矩阵求逆(矩阵初等变换)_git_46使 【模板】矩阵求逆(矩阵初等变换)_i++_47
  • 推论:方阵【模板】矩阵求逆(矩阵初等变换)_逆矩阵_48 可逆的充分必要条件是 【模板】矩阵求逆(矩阵初等变换)_逆矩阵_49
    证明:【模板】矩阵求逆(矩阵初等变换)_逆矩阵_48 可逆 【模板】矩阵求逆(矩阵初等变换)_逆矩阵_51 存在可逆矩阵 【模板】矩阵求逆(矩阵初等变换)_git_46,使 【模板】矩阵求逆(矩阵初等变换)_i++_53
  • 本题解法:现在知道【模板】矩阵求逆(矩阵初等变换)_逆矩阵_48,求 【模板】矩阵求逆(矩阵初等变换)_git_46 使 【模板】矩阵求逆(矩阵初等变换)_git_56
    同时我们有 【模板】矩阵求逆(矩阵初等变换)_git_57,那么我们有 【模板】矩阵求逆(矩阵初等变换)_逆矩阵_58,于是我们对矩阵 【模板】矩阵求逆(矩阵初等变换)_i++_59 做初等行变换,当 【模板】矩阵求逆(矩阵初等变换)_逆矩阵_48 变为 【模板】矩阵求逆(矩阵初等变换)_i++_61 时,【模板】矩阵求逆(矩阵初等变换)_i++_61 就变成了 【模板】矩阵求逆(矩阵初等变换)_git_46,无解情况用推论判断即可,复杂度 【模板】矩阵求逆(矩阵初等变换)_i++_64,非常好写
#include<bits/stdc++.h>
#define cs const
using namespace std;
int read(){
int cnt = 0, f = 1; char ch = 0;
while(!isdigit(ch)){ ch = getchar(); if(ch == '-') f = -1; }
while(isdigit(ch)) cnt = cnt*10 + (ch-'0'), ch = getchar();
return cnt * f;
}
cs int Mod = 1e9 + 7;
typedef long long ll;
int add(int a, int b){ return a + b >= Mod ? a + b - Mod : a + b; }
int dec(int a, int b){ return a - b < 0 ? a - b + Mod : a - b; }
int mul(int a, int b){ ll r=(ll)a*b; return r>=Mod?r%Mod:r; }
int ksm(int a, int b){ int as=1; for(;b;b>>=1,a=mul(a,a)) if(b&1) as=mul(as,a); return as; }
void Add(int &a, int b){ a = add(a, b); }
void Mul(int &a, int b){ a = mul(a, b); }
void Dec(int &a, int b){ a = dec(a, b); }
cs int N = 405, M = N + N;
#define poly vector<int>
int n; poly a[N];
poly operator - (poly a, poly b){
for(int i=1; i<=n+n; i++) Dec(a[i],b[i]); return a;
}
poly operator * (poly a, int coe){
for(int i=1; i<=n+n; i++) Mul(a[i],coe); return a;
}
int main(){
n = read();
for(int i = 1; i <= n; i++){
a[i].resize(n+n+1);
for(int j = 1; j <= n; j++) a[i][j] = read();
}
for(int i = 1; i <= n; i++) a[i][i+n] = 1;
for(int i = 1; i <= n; i++){
int k = i;
for(int j = i+1; j <= n; j++) if(a[j][i]){ k = j; break; }
if(i ^ k) swap(a[i], a[k]);
int iv = ksm(a[i][i], Mod-2);
for(int j = i+1; j <= n; j++){
int coe = mul(iv, a[j][i]);
a[j] = a[j] - a[i] * coe;
}
}
for(int i = n; i >= 1; i--){
if(a[i][i] == 0){ puts("No Solution"); return 0; }
for(int j = i+1; j <= n; j++) if(a[i][j]) a[i] = a[i] - a[j] * a[i][j];
int iv = ksm(a[i][i],Mod-2); a[i] = a[i] * iv;
}
for(int i = 1; i <= n; i++){
for(int j = n+1; j <= n+n; j++) cout << a[i][j] << " ";
puts("");
} return 0;
}