高斯消元学习笔记（一）——转载

做法

具体来说，以 $base$ 为四位二进制数举例，此时 $base=(\overline{abcd}{)}_2$。也就是下面这个矩阵：

	$1$	$2$	$3$	$4$
$a$	1	0	0	0
$b$	0	1	0	0
$c$	0	0	1	0
$d$	0	0	0	1

由于伪随机代码已给出，所以我们可以模拟左移、右移以及异或。
比如上面这个矩阵左移一位就变成了：

	$1$	$2$	$3$	$4$
$a$	0	0	0	0
$b$	1	0	0	0
$c$	0	1	0	0
$d$	0	0	1	0

右移和异或操作同理。

然后我们可以根据对方的手势反推出当前 $base$ 的最后一位的表达式。
比如对于以下矩阵：

	$1$	$2$	$3$	$4$
$a$	0	1	1	1
$b$	1	0	0	1
$c$	0	1	1	0
$d$	1	0	1	1

并且推出此时 $x$ 的最后一位为 $1$，那么有 $a\text{ xor }b\text{ xor }d=1$。

同理，每一轮进行一遍这样的操作，我们可以得到一堆这样的式子。最后高斯消元求解出 $\overline{abcd}$，接下来就可以随便做做了。

---

高斯消元

用高斯消元解下列方程组。

$$\{\begin{array}{l}2x_1+5x_3+6x_4=9\\ x_3+x_4=-4\\ 2x_3+2x_4=-8\end{array}$$

第一步：增广矩阵行（初等）变换为行最简形

所谓增广矩阵，即为方程组系数矩阵 $A$ 与常数列 $b$ 的并生成的新矩阵，即 $(A|b)$，增广矩阵行初等变换化为行最简形，即是利用了高斯消元法的思想理念，省略了变量而用变量的系数位置表示变量，增广矩阵中用竖线隔开了系数矩阵和常数列，代表了等于符号。

$$\begin{gathered} \left(\begin{array}{cccc}2& 0& 5& 6\\ 0& 0& 1& 1\\ 0& 0& 2& 2\end{array}\begin{array}{c}9\\ -4\\ -8\end{array}\right) \\ {r}_3-2r_2\left(\begin{array}{cccc}2& 0& 5& 6\\ 0& 0& 1& 1\\ 0& 0& 0& 0\end{array}\begin{array}{c}9\\ -4\\ 0\end{array}\right) \end{gathered}$$

化为行阶梯形

$$\begin{gathered} \frac{r_1}{2}\left(\begin{array}{cccc}1& 0& 2.5& 3\\ 0& 0& 1& 1\\ 0& 0& 0& 0\end{array}\begin{array}{c}4.5\\ -4\\ 0\end{array}\right) \\ {r}_1-2.5\times r_2\left(\begin{array}{cccc}1& 0& 0& 0.5\\ 0& 0& 1& 1\\ 0& 0& 0& 0\end{array}\begin{array}{c}14.5\\ -4\\ 0\end{array}\right) \end{gathered}$$

化为最简形

第二步：还原线性方程组

$$\{\begin{array}{l}{x}_1+0.5x_4=14.5\\ x_3+x_4=-4\end{array}$$

所谓的还原线性方程组，即是在行最简形的基础上，将之重新书写为线性方程组的形式，即将行最简形中各位置的系数重新赋予变量，中间的竖线还原为等号。

第三步：求解第一个变量

$$\{\begin{array}{l}{x}_1=-0.5x_4+14.5\\ x_3=-x_4-4\end{array}$$

即是对于所还原的线性方程组而言，将方程组中每个方程的第一个变量，用其他量表达出来。如方程组两方程中的第一个变量 $x_1$ 和 $x_3$。

第四步：补充自由未知量

$$\{\begin{array}{l}{x}_1=-0.5x_4+14.5\\ x_2=x_2\\ x_3=-x_4-4\\ x_4=x_4\end{array}$$

第 3 步中，求解出变量 $x_1$ 和 $x_3$，从而说明了方程剩余的变量 $x_2$ 和 $x_4$ 不受方程组的约束，是自由未知量，可以取任意值，所以需要在第 3 步骤解得基础上进行解得补充，补充的方法为 $x_2=x_2,x_4=x_4$，这种解得补充方式符合自由未知量定义，并易于理解，因为是自由未知量而不受约束，所以只能自己等于自己。

第五步：列表示方程组的通解

$$\begin{array}{c}\left(\begin{array}{c}{x}_1\\ x_2\\ x_3\\ x_4\end{array}\right)=\left(\begin{array}{c}0\\ 1\\ 0\\ 0\end{array}\right)x_2+\left(\begin{array}{c}-0.5\\ 0\\ -1\\ 1\end{array}\right)x_4+\left(\begin{array}{c}14.5\\ 0\\ -4\\ 0\end{array}\right)\\ \\ =\left(\begin{array}{c}0\\ 1\\ 0\\ 0\end{array}\right)C_1+\left(\begin{array}{c}-0.5\\ 0\\ -1\\ 1\end{array}\right)C_2+\left(\begin{array}{c}14.5\\ 0\\ -4\\ 0\end{array}\right)\end{array}$$

其中 $C_1$ 和 $C_2$ 为任意常数。

即在第 4 步的基础上，将解表达为列向量组合的表示形式，同时由于 $x_2$ 和 $x_4$ 是自由未知量，可以取任意值，所以在解得右边，令二者分别为任意常数 $C_1$ 和 $C_2$，即实现了对方程组的求解。

行列式

$N\times N$ 方阵行列式（Determinant）可以理解为所有列向量所夹的几何体的有向体积，

例如：

$$\begin{gathered} \left|\begin{array}{cc}1& 0\\ 0& 1\end{array}\right|=1 \\ \left|\begin{array}{cc}1& 2\\ 2& 1\end{array}\right|=-3 \end{gathered}$$

行列式有公式

$$D=|A|=\sum (-1{)}^v{a}_{1,l_1},a_{2,l_2}\dots a_{n,l_n},$$

其中 $v$ 为 $l_1,l_2,\cdots ,l_n$ 中逆序对的个数。

通过体积概念理解行列式不变性是一个非常简单的办法：

• 矩阵转置，行列式不变；
• 矩阵行交换，行列式取反；
• 矩阵行叠加，行列式不变；
• 矩阵行伸长，行列式等比例变大。

由此，发现高斯消元不改变矩阵行列式，且最终行列式等于倒三角矩阵的对角线乘积。