矩阵·叉姐出的两道Determinant

首先要做这两道题，需要掌握的基础知识有 余子式$M_{ij}$、代数余子式$A_{ij}$、伴随矩阵、逆矩阵

$A^{*} = \frac{1}{|A|}A^{-1}$
逆矩阵存在条件： 满秩
行秩等于列秩
湘潭A

题意：

给一个 (n-1) * n 的矩阵 对于每一列， 求去掉这一列的余下的 (n-1) 阶行列式的determinant n的取值范围为200

赛上思路

暴力是$O(n^{4})$的，显然需要优化 赛上我们发现了， 如果补上第n行， 那么我们要求的是$M_{n1} ... M_{n2}$ 我们想到了 $D = \sum_{i = 1}^{n} a_{ni}A_{ni}$ 理想情况下我们将给的矩阵消成类似上三角的形状

x a b c
0 y d e
0 0 z f
再在原来的矩阵上补一个满足形如

0 0 1 0
//例子假设 n == 4
的行向量，继续消元成

x a b c
0 y d e
0 0 z f
0 0 0 p
那我们最后求得的$\ xyzp\ $就是 $A_{n4}$， 问题得到了解决

赛下我重新写这个做法时，发现赛上代码也许很容易就被叉掉了 假设输入为

4
1 0 0 0
0 0 0 1
0 0 1 0
我们无法将其消成上三角形状的矩阵 但是我们可以将其消成阶梯矩阵 //再注意下边界情况即可

标解

假如我们在矩阵最上方补一行， 形成$nn$的矩阵 那我们要求的是这个矩阵的伴随矩阵的第一列 当逆矩阵存在时， 逆矩阵与伴随矩阵满足最上方的$A^{} = \frac{1}{|A|}A^{-1}$ 由于 $A^{-1}A = E$ 这样我们就可以列出关于 $A_{11} .. A_{1n}$ 的n个方程， 解方程组即可。 可以知道方程组的系数矩阵就是A， 如果A满秩的话，可以得到唯一解；如果A不满秩的话，我们将得到$A_{11} .. A_{1n}$全为0 (note: 是这个齐次线性方程组的特解)

这样我们需要确保只有在$A_{11} .. A_{1n}$全为0的情况下我们构造的A矩阵是不满秩的。 题解给的方法是随机生成第一行。

其隐藏了以下待证明条件： 若随机生成第一行，则几乎百分百的情况下，只有当$M_{11} ... M_{1n}$全是非满秩时，生成的矩阵才是非满秩的。

这个条件我不能给出严格的数学证明，但从反证法的角度思考，我认为其是正确的。

四川省赛C

省赛读题没有太仔细， 看到最后一行一个$1e9 + 7$自动默认是膜$1e9 + 7$之类的
题解说经过简单计算可以发现$ans[i][j]$ 和 $ans[1][j]$只差一个符号，剩下的内容就是湘潭A
反正我就本人而言，赛上是没有能力做什么简单计算了。但是就题目而言，我猜测：如果消元算法的复杂度是$O(n^3)$的， 那极限一道题应该只能求解500到1000范围的方程组。像这种要求$2.5e5个x$的题目，应该根据特殊条件大胆找规律……//要找这个规律就要先把高斯的板子敲掉，这就不一定有时间了，很伤！