NOIP Practice Recodings Math

Math

expectation and posibility

一些前置芝士

概率

$$\begin{array}{rl}& P(A\cup B)=P(A)+P(B)-P(A\cap B)\\ & P(B-A)=P(B)-P(A)(P(A)\le P(B))\\ & P(B-A)=P(B)-P(A\cap B)(\forall A,B)\\ & P(A\mid B)=\frac{P(A\cap B)}{P(B)}\\ & P(AB)=P(A)\times P(B\mid A)=P(B)\times P(A\mid B)(A,B有关联)\end{array}$$

全概率公式

$$P(A)=\sum _{i=1}^{n}P(A\mid H_i)\times P(H_i)$$

贝叶斯定理

$$P(A\mid B)=\frac{P(A)P(B\mid A)}{P(B)}$$

期望

$$\begin{array}{rl}& E(x)=\sum _i{p}_i{x}_i\\ & E(C)=CE(Cx)=CE(x)E(x+y)=E(x)+E(y)\\ & E(xy)=E(x)E(y)(x,y相互独立)\end{array}$$

全期望公式

$$E(Y)=E(E(Y\mid X))=\sum _{i}P(x=x_i)E(Y\mid X=x_i)$$

luogu1291 SHOI2002百事世界杯之旅

  (2021.11.3)

  “……在 $2002$ 年 $6$ 月之前购买的百事任何饮料的瓶盖上都会有一个百事球星的名字。只要凑齐所有百事球星的名字，就可参加百事世界杯之旅的抽奖活动，获得球星背包，随声听，更可赴日韩观看世界杯。还不赶快行动！”

  你关上电视，心想：假设有 $n$ 个不同的球星名字，每个名字出现的概率相同，平均需要买几瓶饮料才能凑齐所有的名字呢？

  设 $E_{i,j}$ 表示总共有 i 个，还有 j 个没有抽到的期望。,我们考虑下一次抽取：有 $\frac{k}{n}$ 的概率抽到我们还没有的，有 $\frac{n-k}{n}$ 的概率抽到我们已经抽到的，于是我们可以得到以下的递推式：
$$E_{n,k}=\frac{k}{n}{E}_{n,k-1}+\frac{n-k}{n}{E}_{n,k}+1$$

  然后稍微移项化简一下，就会变成这样：
$$\begin{array}{rl}& E_{n,k}=\frac{k}{n}{E}_{n,k-1}+\frac{n-k}{n}{E}_{n,k}+1\\ & E_{n,k}-\frac{n-k}{n}{E}_{n,k}=\frac{k}{n}{E}_{n,k}=\frac{k}{n}{E}_{n,k-1}+1\\ & E_{n,k}=E_{n,k-1}+\frac{n}{k}\end{array}$$

  又因为我们知道 $E_{1,1}=1$,，所以我们得到通项公式：
$$E(x)=n\sum _{i=1}^n\frac{1}{i}$$

骰子

  (2021.11.3)

  一个骰子，扔 n 次的点数之和大于 x 的概率。

  首先我们考虑算出扔 n 次点数之和大于 x 的方案数，最后再除以 $6^n$ 即可。我们设 $f_{i,j}$ 表示扔了 i 次，点数之和为 j 的方案数。我们就有：
$$f_{i,j}=\sum _{k=1}^6{f}_{i-1,j-k}$$

  所以整个算法就是先 DP 然后最后的答案就是：

$$ans=\frac{\sum _{i=x}^{6n}{f}_{n,i}}{6^n}$$

OX 序列

  (2022.2.6)

  给定序列，每个位置是 $o$ 的概率为 $p_i$，为 $x$ 的概率是 $1-p_i$。对于一个 $ox$ 序列，连续 $a$ 长度的 $o$ 会得到 $a^3$ 的收益，问最终得到的 $ox$ 序列的期望收益是多少。

  我们设 $f_i$ 为某一种具体的放置方法中已经放到第 $i$ 位的收益。$x_i$ 表示某一种具体的放置方法中从最后一位开始连续的 $o$ 的长度。那么我么需要求解的就是 $E(f_n)$。首先我们很容易知道一个关于 $f$ 的递推式：

$$f_i=f_{i-1}+(x_{i-1}+1{)}^3-x_{i-1}^3=f_{i-1}+3x_{i-1}^2+3x_{i-1}+1$$

  那么：

$$E(f_i)=E(f_{i-1})+3E(x_{i-1}^2)+3E(x_{i-1})+1$$

  化成这样之后，我们就可以发先如果我们求出 $3E(x_{i-1}^2)+3E(x_{i-1})$，这就是一个关于 $E(f)$ 的递推式。就可以直接求出来。所以我们考虑怎样求出 $E(x_i)$ 和 $E(x_i^2)$。首先处理一个简单一点的：

$$\begin{array}{r}E(x_i)=?\end{array}$$

  要知道这个我们首先需要知道 $x_i$ 的递推式：

$$\{\begin{array}{l}第i位o,概率为p_i,x_i=x_{i-1}+1\\ 第i位x,概率为1-p_i,x_i=0\end{array}$$

  那么：

$$\begin{array}{r}E(x_i)=p_i\times E(x_{i-1}+1)+E(1-p_i)\times 0=p_{i}E(x_{i-1})+p_i\end{array}$$

  这样之后我们也可以用递推解决 $E(x_i)$ 的值。然后考虑 $E(x_i^2)$ 的值。首先：

$$\{\begin{array}{l}第i位o,概率为p_i,x_i^2=(x_{i-1}+1{)}^2=x_{i-1}^2+2x_{i-1}+1\\ 第i位x,概率为1-p_i,x_i^2=0\end{array}$$

  那么：

$$\begin{array}{rl}E(x_i^2)=& p_{i}E(x_{i-1}^2+2x_{i-1}+1)+(1-p_i)\times 0\\ =& p_{i}E(x_{i-1}^2)+2p_{i}E(x_{i-1})+p_i\end{array}$$

  显然这也是一个递推式，那我们就可以 $O(n)$ 求出最终答案了。

luogu4316 绿豆蛙的归宿

  (2022.4.8)

  给定一张 $m$ 条边 $n$ 个点的，起点为 $1$ 终点为 $n$ 的有向无环图。现在在这张图上走，到达一个顶点的时候（假设这个点的度为 $k$）可以选择一条路径离开这个点，并且走向每条边的概率是 $\frac{1}{k}$。问你从 $1$ 到 $n$ 的期望路径总长。

  显然现在给的是一张 $DAG$。然后考虑期望概率 $dp$。我们设 $f_i$ 表示 $i$ 点到终点的期望路径总长。显然我们要求的答案就是 $f_1$，且有 $f_n=0$。然后就是 $dp$ 方程了

  因为我们知道了终点的状态的值，所以我们考虑逆推，我们就能得到：

$$f_x=\sum _{(x,y)\in G_x}\frac{f_y+w_{(x,y)}}{|G_x|}$$

  转移的过程就可以通过连反向边然后沿着拓扑序走一遍转移就行了。时间复杂度就是 $O(n+m)$。

number theory

一些前置芝士

  欧拉定理：
$$\forall gcd(a,n)=1\to a^{\phi (n)}\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}n)$$

  欧拉定理的推论：

$$\forall gcd(a,n)=1\to a^{b\mathrm{m}\mathrm{o}\mathrm{d}\phi (n)}\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}n)$$

  费马小定理：

$$\forall p是质数\to a^{p-1}\equiv (\mathrm{m}\mathrm{o}\mathrm{d}p)$$

  exgcd()：

int exgcd(int a, int b, int &x, int &y){
	if(b == 0) { x = 1; y = 0; return a; }
	int d = exgcd(b, a % b, x, y);
	int z = x; x = y; y = z - y * (a / b);
	return d;
}

  中国剩余定理：

$$(i:1\to n)\{\begin{array}{l}x\equiv a_i(\mathrm{m}\mathrm{o}\mathrm{d}{m}_i)\\ m=\prod _{i=1}^n{m}_i\\ M_i=\frac{m}{m_i}\\ M_i{t}_i\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}{m}_i)\end{array}\to x=\sum _{i=1}^n{a}_i{M}_i{t}_i$$

  $Lucas$ 定理（把 $n$ 和 $m$ 表示成 $p$ 进制数，然后每一位计算组合数再乘起来）：

$$p是质数\to C_n^m\equiv C_{n\mathrm{m}\mathrm{o}\mathrm{d}p}^{m\mathrm{m}\mathrm{o}\mathrm{d}p}\times C_{\frac{n}{p}}^{\frac{m}{p}}(\mathrm{m}\mathrm{o}\mathrm{d}p)$$

埃氏筛

  埃氏筛的思想很简单，就是从前往后，遇到一个质数就把所有后面小于 n 的这个质数的倍数全都标记为合数。后面遇到他们就直接跳过。

筛质数

  按照上面的思想直接模拟就好了，时间复杂度 $O(n\log \log n)$：

#include<bits/stdc++.h>
using namespace std;
#define MAXN 100100

int v[MAXN] = { 0 };              // 合数标记 
void primes(int n){
	memset(v, 0, sizeof(v));
	for(int i = 2; i <= n; i++){
		if(v[i]) continue;
		cout << i << endl;
		for(int j = 1; j <= n / i; j++) v[i * j] = 1;
	}
}

int main(){
	primes(100);
	return 0;
}

筛欧拉函数

  利用欧拉函数的计算式和埃氏筛，能在 $O(n\log n)$ 的时间内筛出欧拉函数的值。就是首先初始化所有的 phi[i] = 1，然后再枚举从 2 到 n 的每个数，用埃氏筛找出质数，然后把后面质数的倍数根据计算式计算就好了：

$$\phi (n)=n\prod _{p|n}\frac{p-1}{p}$$

#include<bits/stdc++.h>
using namespace std;
#define MAXN 100100

int phi[MAXN] = { 0 };
void euler(int n){
	for(int i = 1; i <= n; i++) phi[i] = i;
	for(int i = 2; i <= n; i++){
		if(phi[i] == i)
			for(int j = i; j <= n; j += i)
				phi[j] = phi[j] / i * (i - 1);
	}
}

int main(){
	euler(20);
	for(int i = 1; i <= 20; i++){
		cout << "phi[" << i << "] = " << phi[i] << endl;
	}
	return 0;
}

筛莫比乌斯函数

  首先把所有的 mu 初始化为 1，接下来对于每一个质数 p 把 mu[p] 变成 -1。并扫描 p 的倍数们看他们能否被 $p^2$ 整除，如果可以 mu[x] = 0，如果不行 mu[x] = -mu[x]。

#include<bits/stdc++.h>
using namespace std;
#define MAXN 100100

int v[MAXN] = { 0 };
int mu[MAXN] = { 0 };
void mobius(int n){
	memset(v, 0, sizeof(v));
	for(int i = 2; i <= n; i++) mu[i] = 1;
	for(int i = 2; i <= n; i++){
		if(v[i]) continue;
		mu[i] = -1;
		for(int j = 2 * i; j <= n; j += i){
			v[j] = 1;
			if((j / i) % i == 0) mu[j] = 0;
			else mu[j] *= -1;
		}
	}
}

int main(){
	mobius(20);
	for(int i = 1; i <= 20; i++){
		cout << "mu[" << i << "] = " << mu[i] << endl;
	}
	return 0;
}

线性筛

  顾名思义，这玩意儿能在线性的时间内筛出质数。具体的做法是优化一下埃氏筛，在埃氏筛里面，一个合数可能被很多个质数标记过，比如 12 就被 2 和 3 同时标记过。这样就会降低我们的效率。线性筛的想法就是让所有的合数只有一种被筛出来的方式。也就是被它的最小质因子筛出来。具体做法如下：

1. 枚举 $2\sim n$ 的所有数，考虑用一下方式维护一个数组 v（表示这个数的最小质因子）。
2. 如果 v[i] = i，那么这个是是质数，把它存下来。
3. 扫描不大于 v[i] 的所有质数 p，令 v[ip] = p。

筛质数

#include<bits/stdc++.h>
using namespace std;
#define MAXN 100100

int v[MAXN] = { 0 };
int prime[MAXN] = { 0 };
int primes(int n){
	memset(v, 0, sizeof(v));
	int cnt = 0;                                                 // 质数的个数
	for(int i = 2; i <= n; i++){
		if(!v[i]){ 
			v[i] = i; prime[++cnt] = i; 
		}
		for(int j = 1; j <= cnt; j++){                           // 枚举所有质数 
			if(prime[j] > v[i] or prime[j] > n / i) break;       // 质数比它大或者超过范围 
			v[i * prime[j]] = prime[j];                          // 更新最小质因子 
		}
	}
	return cnt;
}

int main(){
	int num = primes(100);
	for(int i = 1; i <= num; i++){
		cout << prime[i] << endl;
	}
	return 0;
}

筛欧拉函数

  这就要用到几个欧拉函数的性质了：

1. 如果 $p\mid n$ 且 $p^2\mid n$ 则有 $\phi (n)=\phi (\frac{n}{p})\times p$
2. 如果 $p\mid n$ 且 $p^2\nmid n$ 则有 $\phi (n)=\phi (\frac{n}{p})\times (p-1)$

  我们发现这两个判断和线性筛的两个判断很类似，所以我们可以利用线性筛，从 $\phi (\frac{n}{p})$ 递推到 $\phi (n)$

#include<bits/stdc++.h>
using namespace std;
#define MAXN 100100

int v[MAXN] = { 0 };
int phi[MAXN] = { 0 };
void euler(int n){
	memset(v, 0, sizeof(v));
	int cnt = 0;
	for(int i = 2; i <= n; i++){
		if(!v[i]){
			v[i] = i; prime[++cnt] = i;
			phi[i] = i - 1;
		}
		for(int j = 1; j <= cnt; j++){
			if(prime[j] > v[i] or prime[j] > n / i) break;
			v[i *prime[j]] = prime[j];
			if(i % prime[j]) phi[i * prime[j]] = phi[i] * (prime[j] - 1);
			else phi[i * prime[j]] = phi[i] * prime[j];
		}
	}
}

int main(){
	euler(20);
	for(int i = 1; i <= 20; i++){
		cout << "phi[" << i << "] = " << phi[i] << endl;
	}
	return 0;
}

luogu2185 SDOI2008 仪仗队

  (2021.11.7)

有一个点阵（方阵），你站在左下角，问你能总共看到几个点。然后我们可以发现，如果我们将左下角的点放在坐标轴 原点，能被看见的点的横纵坐标一定是互质的（除了两个和它相邻的点）。所以我们要求解的问题的答案就是：
$$ans=2+\sum _{i=1}^n\sum _{j=1}^n[gcd(i,j)=1]$$

  然后可以对这个式子进行化简：
$$\begin{array}{rl}ans-2=& \sum _{i=1}^{n-1}\sum _{j=1}^{n-1}[gcd(i,j)=1]\\ =& \sum _{i=1}^{n-1}\sum _{j=1}^{n-1}\epsilon (gcd(i,j))=\sum _{i=1}^{n-1}\sum _{j=1}^{n-1}\sum _{d\mid gcd(i,j)}\mu (d)\\ =& \sum _{d=1}^{n-1}\sum _{i=1}^{n-1}\sum _{j=1}^{n-1}[d\mid gcd(i,j)]\mu (d)=\sum _{d=1}^{n-1}\sum _{i=1}^{n-1}\sum _{j=1}^{n-1}[d\mid i\wedge d\mid j]\mu (d)\\ =& \sum _{d=1}^{n-1}\mu (d)\sum _{i=1}^{n-1}\sum _{j=1}^{n-1}[d\mid i\wedge d\mid j]\\ =& \sum _{d=1}^{n-1}\mu (d){\lfloor \frac{n-1}{d}\rfloor }^2\end{array}$$

  然后 $\mu (d)$ 可以用埃氏筛预处理然后 $O(1)$ 查询。后面的 ${\lfloor \frac{n}{d}\rfloor }^2$ 显然也是可以 $O(1)$ 查询的，那么总的复杂度就是 $O(n\log n+n)$

P2522 [HAOI2011]Problem b

  (2021.11.7)

  对于给出的 n 个询问，每次求出有多少个数对 $(x,y)$ 满足 $a\le x\le b,c\le y\le d$ 且 $gcd(x,y)=k$。

  所以这个题的答案就是：
$$ans=\sum _{i=a}^b\sum _{j=c}^d[gcd(i,j)=k]$$

  这个式子就和上面那个题的试着长得很像了，但是这个上下界看着还是有点不舒服，因为我们想把它转化成下界为 1 的求和，于是我们利用容斥原理，转化一下问题：
$$\begin{array}{rl}ans=& \sum _{i=a}^b\sum _{j=c}^d[gcd(i,j)=k]\\ =& \sum _{i=1}^b\sum _{j=1}^d[gcd(i,j)=k]-\sum _{i=1}^{a-1}\sum _{j=1}^d[gcd(i,j)=k]-\sum _{i=1}^b\sum _{j=1}^{c-1}[gcd(i,j)=k]+\sum _{i=1}^{a-1}\sum _{j=1}^{c-1}[gcd(i,j)=k]\end{array}$$

  于是问题就被转化成求 4 个和上道题差不多的式子。由上一道题我们知道：
$$\begin{array}{rl}& \sum _{i=1}^n\sum _{j=1}^m[gcd(i,j)=k]\\ =& \sum _{i=1}^n\sum _{j=1}^m\epsilon \left(\frac{gcd(i,j)}{k}\right)=\sum _{i=1}^n\sum _{j=1}^m\sum _{p|gcd(i,j)/k}\mu (p)=\sum _{p=1}^{min(n,m)}\sum _{i=1}^n\sum _{j=1}^m\left[p|\frac{gcd(i,j)}{k}\right]\mu (p)\\ =& \sum _{p=1}^{min(n,m)}\mu (p)\sum _{i=1}^n\sum _{j=1}^m\left[p|\frac{gcd(i,j)}{k}\right]=\sum _{p=1}^{min(n,m)}\mu (p)\sum _{i=1}^n\sum _{j=1}^m\left[p|\frac{i}{k}\wedge p|\frac{j}{k}\right]=\sum _{p=1}^{min(n,m)}\mu (p)\sum _{i=1}^n\sum _{j=1}^m\left[kp\mid i\wedge kp\mid j\right]\\ =& \sum _{p=1}^{min(n,m)}\mu (p)\lfloor \frac{n}{kp}\rfloor \lfloor \frac{m}{kp}\rfloor \end{array}$$

  然后我们只需要写一个函数来处理这个，然后每次询问调用 4 次就好了。计算这个式子的时间复杂度是 $O(min(n,m)\log min(n,m)+min(n,m))$，所以如果我还要处理 $5\times 10^4$ 组这样的数据，就会超时，直接计算能拿 30 分。

  下面我们考虑怎么样优化处理这个式子的时间。首先看看这个式子的样子，他长得是不是就很像整除分块，那就直接整除分块计算这个式子，复杂度就被降到了 $O(\sqrt{min(n,m)})$，·这样一来就能过了。

luogu2480 古代猪文

  (2022.4.2)

  给你 $q,n\in [1,10^9]$，算 $q^{\sum _{d|n}{C}_n^d}\mathrm{m}\mathrm{o}\mathrm{d}p$, 其中 $p=999911659$。

  如果 $q=p$，那么上式结果为 $0$。否则，因为 $p$ 是质数，所以 $gcd(q,n)$ 互质。所以根据欧拉定理的推论，我们就能得到：

$$q^{\sum _{d|n}{C}_n^d}\equiv q^{\sum _{d|n}{C}_n^d\mathrm{m}\mathrm{o}\mathrm{d}(p-1)}(\mathrm{m}\mathrm{o}\mathrm{d}p)$$

  所以我们只需要知道怎么计算 $\sum _{d|n}{C}_n^d\mathrm{m}\mathrm{o}\mathrm{d}(p-1)$ 就可以了。经过观察我们发现 $p-1=2\times 3\times 4679\times 35617$，所以它是一个 $square-free-number$（就是所有质因子的指数都是 $1$ 的数 qwq）。所以在这里我们可以枚举 $n$ 的因数 $d$ 然后用 $Lucas$ 定理来计算 $C_n^d\mathrm{m}\mathrm{o}\mathrm{d}(p-1)$，然后分别计算出 $\sum _{d|n}{C}_n^d$ 对 $2,3,4679,35617$ 四个质数取模的结果。我们把他们记为 $a_1,a_2,a_3,a_4$。

  然后我们解出下面这个方程组的根 $x$ 就是 $\sum _{d|n}{C}_n^d\mathrm{m}\mathrm{o}\mathrm{d}(p-1)$ 的最小非负整数解。

$$\{\begin{array}{l}x\equiv 2(\mathrm{m}\mathrm{o}\mathrm{d}{a}_1)\\ x\equiv 3(\mathrm{m}\mathrm{o}\mathrm{d}{a}_2)\\ x\equiv 4679(\mathrm{m}\mathrm{o}\mathrm{d}{a}_3)\\ x\equiv 35617(\mathrm{m}\mathrm{o}\mathrm{d}{a}_4)\end{array}$$

  解这个方程很显然就是中国剩余定理。然后我们就用快速幂求 $q^x$ 就是答案了。

linear algebra

Power of Matrix

  (2022.4.30)

  给一个 $n\times n$ 的矩阵 $A$，给定一个整数 $k$ 求：

$$ans=\sum _{i=1}^k{A}_i$$

  我们将这个式子看成递推也就是：

$$F_k=\sum _{i=1}^k{A}^i$$

  其中 $F_0=O=\left[\begin{array}{cccc}0& 0& \cdots & 0\\ 0& 0& \cdots & 0\\ ⋮& ⋮& \ddots & ⋮\\ 0& 0& \cdots & 0\end{array}\right]$，$F_1=A$，然后我们可以得到矩阵版的递推关系：

$$\left[\begin{array}{cc}{F}_k& E\end{array}\right]=\left[\begin{array}{cc}{F}_{k-1}& E\end{array}\right]\times S=\left[\begin{array}{cc}{F}_0& E\end{array}\right]\times S^k$$

  上面的式子中的 $E$ 表示单位矩阵，也就是：

$$E=\left[\begin{array}{cccc}1& 0& \cdots & 0\\ 0& 1& \cdots & 0\\ ⋮& ⋮& \ddots & ⋮\\ 0& 0& \cdots & 1\end{array}\right]$$

  使用单位矩阵是为了更方便的写出 $S$ 来，我们设：

$$S=\left[\begin{array}{cc}a& b\\ c& d\end{array}\right]$$

  其中 $a,b,c,d$ 都是 $n\times n$ 的矩阵，$S$ 是 $2n\times 2n$ 的矩阵，这样才能满足上面的递推关系。我们根据上面的关系又能得出：

$$\begin{array}{rl}& \left[\begin{array}{cc}{F}_k& E\end{array}\right]=\left[\begin{array}{cc}{F}_{k-1}& E\end{array}\right]\times \left[\begin{array}{cc}a& b\\ c& d\end{array}\right]\\ \to & F_k=F_{k-1}\times a+c,E=F_{k-1}\times b+d\end{array}$$

  又因为我们有：

$$F_k=F_{k-1}+A^k$$

  就能得到：

$$F_{k-1}+A^k=F_{k-1}\times a+c,E=F_{k-1}\times b+d$$

  带入 $k=1$，得到：

$$F_0+A=F_0\times a+c,E=F_0\times b+d$$

  带入 $k=2$ 得到：

$$F_1+A^2=F_1\times a+c,E=F_1\times b+d$$

  然后就能得到：

$$a=A,b=O,c=A,d=E$$

  也就是：

$$S=\left[\begin{array}{cc}A& O\\ A& E\end{array}\right],S^k=\left[\begin{array}{cc}{A}^k& O\\ \sum _{i=1}^k{A}^i& E\end{array}\right]$$

  也就是说 $S^k$ 的左下角就是答案。

球形空间产生器

  (2022.4.30)

  给一个 $n\in [1,10]$ 维空间中的 $n+1$ 个点的坐标，求出过这 $n+1$ 个点的 $n$ 维空间上的 “球” 的球心的坐标。

  我们发现对于球心的坐标： $(x_1,x_2,x_3,\cdots ,x_n)$，我们都有：

$$\sum _{j=0}^n(a_{i,j}-x_i{)}^2=Const$$

  其中 $a_{i,j}$ 第 $i$ 个点的第 $j$ 维坐标。我们发现这个方程是一个 $n$ 元 $2$ 次方程组，总共有 $n+1$ 个方程，不是一个线性方程，但是我们可以通过一些变换将它变成线性方程然后通过高斯消元来求解。具体方法我们将相邻的两个方程作差：

$$\begin{array}{rl}& \sum _{j=1}^n(a_{i,j}^2-a_{i+1,j}^2-2x_i(a_{i,j}-a_{i+1,j}))=0,(i\in [1,n],i\in Z)\\ \to & \sum _{j=1}^{n}2(a_{i,j}-a_{i+1,j})x_j=\sum _{j=1}^n(a_{i,j}^2-a_{i+1,j}^2),(i\in [1,n],i\in Z)\end{array}$$

  现在我们发现这就是一个现线性的方程组了，也就是我们高斯消元这个增广矩阵：

$$\left[\begin{array}{ccccc}2(a_{1,1}-a_{2,1})& 2(a_{1,2}-a_{2,2})& \cdots & 2(a_{1,n}-a_{2,n})& \sum _{j=1}^n(a_{1,j}^2-a_{2,j}^2)\\ 2(a_{2,1}-a_{3,1})& 2(a_{2,2}-a_{3,2})& \cdots & 2(a_{2,n}-a_{3,n})& \sum _{j=1}^n(a_{2,j}^2-a_{3,j}^2)\\ ⋮& ⋮& \ddots & ⋮& ⋮\\ 2(a_{n,1}-a_{n+1,1})& 2(a_{n,2}-a_{n+1,2})& \cdots & 2(a_{n,n}-a_{n+1,n})& \sum _{j=1}^n(a_{n,j}^2-a_{n+1,j}^2)\end{array}\right]$$

  就能得到答案了。