基础数论复习概览
由于各网站之间 \(\LaTeX\) 及 Markdown 渲染方式的差异，故不保证除博客园外的排版完好，对于排版有明显不正确的地方请以博客园为主。
质数 约数 同余 组合
矩阵乘法
前置知识：
- 矩阵：在 OI 中，一个 \(n\times m\) 的矩阵可视为一个 \(n\times m\) 的二维数组，其数学本质为一个向量，对于一个 \(n\times m\) 的矩阵 \(A\)，表示为：
矩阵加法 矩阵减法：设 \(A,B,C\) 均为 \(n\times m\) 的矩阵，则有 $$C=A\pm B\Leftrightarrow \forall i\in [1,n],\forall j\in [1,m],C_{i,j}=A_{i,j}\pm B_{i,j}$$
矩阵数乘：设 \(A,B\) 均为 \(n\times m\) 的矩阵，\(k\in \mathbb{R}\)，则有
矩阵乘法：由向量的数量积演变而来，若 \(A\) 为 \(n\times m\) 的矩阵且 \(B\) 为 \(m\times p\) 的矩阵，则对于 \(C=A\times B\)，\(C\) 为 \(n\times p\) 的矩阵，且：
注意：若对于 \(n\times m\) 的矩阵 \(A\) 和 \(p\times q\) 的矩阵 \(B\) 有 \(m\neq p\)，则 \(A\) 和 \(B\) 无法进行矩阵乘法。
单位矩阵：一个 \(n\times m\) 的矩阵 \(I\)，且 \(\forall i\in [1,\min(n,m)], I_{i,i}=1\)，形如：
对于任意一个 \(n\times m\) 的矩阵 \(A\)，均存在 \(A\times I=A\)（在 \(A\) 的大小范围内相等）。
运算性质
-
结合律：\((A\times B)\times C=A\times (B\times C)\)。
-
不存在交换律。
矩阵乘法应用
加速线性递推
满足优化所需条件：
-
在每个单位时间内每个阶段中只发生一次变化。（即递推）
-
变化的形式是一个递推式。
-
递推式在每个阶段都可以作用于不同的数据上，但本身保持不变。
-
未知的阶段数很大，但递推式长度很小。
例题：Fibonacci 数列（斐波那契数列）
求 \(F_n\bmod {10^9+7}\)，其中 \(1\leqslant n < 2^{63}\)。
题解：设转移矩阵为 \(base\)，通项矩阵为：$$\begin{bmatrix}F_i & F_{i-1}\end{bmatrix}$$
对于每一项，有如下式：
由系数得：
则有：
故对于第 \(n\) 项 Fibonacci 数列，只需求 \(base^{n-1}\)（在 \(base^0=I\) 时可用此）或 \(\begin{bmatrix}1 & 1\end{bmatrix}\times base^{n-2}\)，最终矩阵 \(Ans_{1,1}\) 即为答案。
时间复杂度 \(\mathcal{O}(2^3\log n)\)
扩展 Fibonacci：
对于形似
的递推式，都可以通过矩阵乘法加速线性递推在 \(\mathcal{O}(m^3\log n)\) 的时间复杂度内求出 \(F_n\) 的值。
广义矩阵乘法
若 \(A\) 为 \(n\times m\) 的矩阵，\(B\) 为 \(m\times p\) 的矩阵，则对于 \(C=A\times B\)，\(C\) 为 \(n\times p\) 的矩阵，有：
且下列运算律成立：
交换律：\(a\otimes b=b\otimes a\)
结合律：\((a\otimes b)\otimes c=a\otimes (b\otimes c)\)
分配律：\(a\otimes (b\oplus c)=(a\otimes b)\oplus (a\otimes c)\)
则称其为广义矩阵乘法。
其中 \(\oplus\) 常为 \(\min\) 或 \(\max\)，\(\otimes\) 为 \(+\)。
代码
struct Matrix{
int n,m;
int a[N][N];
inline Matrix(int x,int y){memset(a,0,sizeof(a));n=x,m=y;}
inline void setI(){
int k=min(n,m);
memset(a,0,sizeof(a));
F(i,1,k) a[i][i]=1;
return ;
}
inline void print(){
F(i,1,n){
F(j,1,m) printf("%lld ",a[i][j]);
puts("");
}
return ;
}
inline Matrix operator+(const Matrix& x) const{
Matrix ret(n,m);
F(i,1,n) F(j,1,m)
ret.a[i][j]=a[i][j]+x.a[i][j],ret.a[i][j]%=p;
return ret;
}
inline Matrix operator-(const Matrix& x) const{
Matrix ret(n,m);
F(i,1,n) F(j,1,m)
ret.a[i][j]=a[i][j]-x.a[i][j];
return ret;
}
inline Matrix operator&(const int& k) const{
Matrix ret(n,m);
F(i,1,n) F(j,1,m)
ret.a[i][j]=a[i][j]*k,ret.a[i][j]%=p;
return ret;
} // 数乘
inline Matrix operator*(const Matrix& x) const {
Matrix ret(n,x.m);
F(i,1,n) F(j,1,x.m) F(k,1,m)
ret.a[i][j]+=a[i][k]*x.a[k][j],ret.a[i][j]%=p;
return ret;
}
inline Matrix operator^(const int &x) const {
int b=x;
Matrix a=*this,I(a.n,a.m);
I.setI();
while(b){
if (b&1) I=I*a;
a=a*a,b>>=1ll;
}
return I;
}
};
// Matrix a(n,m); 以新建一个 n*m 的全 0 矩阵 a。
0/1 分数规划
定义：类似于给定 \(2\) 个含 \(n\) 个整数的序列 \(a,b\)，求一组解 \(x_i\space (\forall i\in [1,n],x_i\in[0,1])\)（即选或不选）使得下式最大化，给出其最大值：
求解
二分
二分答案 \(mid\)：$$\frac{\sum_{i=1}^{n}{a_i\times x_i}}{\sum_{i=1}^{n}{b_i\times x_i}} > mid$$
二分左式最大值即可，时间复杂度 \(\mathcal{O}(n\log^2 n)\)。
Dinkelbach 算法
取一个值 \(x\) 并将其多次迭代使其逼近于答案。
此方法不常用，时间复杂度玄学。
高斯消元
定义：通过初等行变换把增广矩阵变为简化阶梯形矩阵的线性方程组求解算法。
增广矩阵：在线性代数中系数矩阵右边添上常数列所得到的矩阵。
线性方程组转化为增广矩阵：对于一个 \(n\) 元一次方程组：
可转化为一个 \(n\) 行 \(n+1\) 列的增广矩阵：
初等行变换：平时解方程组的方法，在增广矩阵上可概括为以下三种操作：
-
用一个非零的数乘某一行。
-
把其中一行的若干倍加到另一行上。
-
交换两行的位置。
阶梯形矩阵：形如
的矩阵，其系数矩阵部分被称为上三角矩阵。
简化阶梯矩阵：形如
的矩阵，由阶梯形矩阵简化而来，该矩阵直接给出了方程的解。
自由元：若 \(\exists i\in [1,n],x_i\) 可以取任意值，即方程组有无数组解，则称 \(x_i\) 为自由元。
主元：不为自由元的元即为主元。
代码核心逻辑
-
对于每一个 \(x_i\)，找出最大的 \(a_{k,i},(k\in [1,n])\) 且 \(a_{k,i}\neq 0\) 所属的 \(k\)，将该行移动到第 \(i\) 行（若找不出 \(k\) 则说明方程组无解或存在自由元）。
-
使当前行的首项变为 \(1\)，当前行其它项除原首项系数（即将当前行约分至首项系数为 \(1\)）。
-
将当前行下面所有行的当前列都消成 \(0\)，同时更新正在处理的行后面的系数。
-
若找不出 \(k\)，处理完剩余行后遍历所有行，若 \(\exists i \in [1,n],a_{i,n+1}\neq 0\)，则说明方程组无解（未消元的行系数必为 \(0\)），反之则存在自由元，方程有无数组解。
-
反之，则将阶梯形矩阵转化为简化阶梯矩阵，\(a_{i,n+1}\) 即为 \(x_i\) 的对应解。
代码
const double eps=1e-6;
int n;
double a[N][N];
inline int Gauss(){
int i=1; // 当前行
for (int j=1;j<=n;++j){ //当前列
int maxh=i;
F(x,i,n)
if (abs(a[x][j])>abs(a[maxh][j])) maxh=x; // 找 k
if (abs(a[maxh][j])<eps) continue; // 若找不出 k，则说明方程组无解或存在自由元
F(x,j,n+1) swap(a[maxh][x],a[i][x]); // 将该行移动到第 i 行
FJ(x,n+1,j) a[i][x]/=a[i][j]; // 使首项为 1，其它项需除原首项系数
F(x,i+1,n) if (abs(a[x][j])>eps)
FJ(y,n+1,j) a[x][y]-=a[i][y]*a[x][j]; // 处理后面行的系数
++i;
}
if (i<=n){ // 若存在 i 找不出 k
F(x,i,n)
if (abs(a[x][n+1])>eps) return -1; // 系数项不为 0，则方程组无解
return -2; // 存在自由元
}
FJ(x,n,1) F(y,x+1,n)
a[x][n+1]-=a[x][y]*a[y][n+1]; // 转化为简化阶梯矩阵
return 0;
}
signed main(){
n=read();
F(i,1,n) F(j,1,n+1) a[i][j]=read();
int ret=Gauss();
if (ret==-1) puts("No Solution"),exit(0);
else if (ret==-2) puts("Multiple Solutions"),exit(0);
F(i,1,n)
printf("x_%lld=%.2f\n",i,abs(a[i][n+1])<eps?0:a[i][n+1]); // 防止输出 -0.00
// 存在唯一解，则 a_{i,n+1} 为 x_i 的对应解
}
高斯-约旦消元
相比高斯消元的优势：
-
更高的精度。
-
代码更简洁。
缺点：
- 判无数组解的时候比较麻烦。
代码核心逻辑
-
找出一个此前未被找过的未知数作为主元。
-
将当前主元移到当前行。
-
使当前行的首项变为 \(1\)，后面的项约分。
-
因为这样处理后 \(a_{i,i}\) 即为该主元的系数，所以若 \(\exists i\in [1,n],a_{i,i}=0\)，则说明要么无解或有无数组解。
-
如果无解或有无数组解，则遍历每个未知数，若存在常数项不为 \(0\)，则说明方程组无解，若不存在则说明方程组有无数组解。
-
若有唯一解，则 \(\frac{a_{i,n+1}}{a_{i,i}}\) 即为 \(x_i\) 的对应解。
代码
inline int GaussJordan(){
int i=0;
F(j,1,n){
++i; // 实际上 i=j，这里仅为了便于区分行列
int maxh=i;
F(x,1,n)
if(x>j||abs(a[x][x])<eps) // 防止 a[x][x]=0 而被用上
if (abs(a[x][j])>abs(a[maxh][j])) maxh=x; // 找主元
F(x,1,n+1) swap(a[i][x],a[maxh][x]); // 移到第 i 行，使后面找到的主元均为之前未选过的
if (abs(a[i][i])<eps) continue;
F(x,1,n){
if (x!=i){
double cur=a[x][j]/a[i][j];
F(y,j+1,n+1) a[x][y]-=a[i][y]*cur; // 约分
}
}
}
bool flg=0;
F(i,1,n) if (abs(a[i][i])<eps){
if (abs(a[i][n+1]/a[i][i])>eps) return -1;
flg=1; // 无解比无数组解优先级高
}
return flg?-2:0;
}
signed main(){
n=read();
F(i,1,n) F(j,1,n+1) a[i][j]=read();
int ret=GaussJordan();
if (ret==-1) puts("-1"),exit(0);
else if (ret==-2) puts("0"),exit(0);
F(i,1,n)
printf("x_%lld=%.2f\n",i,abs(a[i][n+1]/a[i][i])<eps?0:a[i][n+1]/a[i][i]);
return 0;
}
求解异或方程组
对于一个 \(n\) 元一次异或方程组：
依旧构造增广矩阵，因为异或本质就为不进位加法，所以仅需要在原高斯消元代码的基础上稍加修改即可，详见代码。
需要注意的是因为自由元只能取 \(0\) 或 \(1\)，故出现自由元时解的数量并不是无数组，而是 \(2^{\text{自由元个数}}\)。
代码
inline int XorGauss(){
int i=1,ret=1;
F(j,1,n){
int maxh=i;
F(x,i+1,n)
if (a[x][j]) maxh=x;
if (!a[maxh][j]) continue;
F(x,j,n+1) swap(a[maxh][x],a[i][x]);
// 因为都为 0 或 1 也就不需要处理后面行系数了
F(x,i+1,n) FJ(y,n+1,j)
a[x][y]^=a[x][j]&a[i][y]; // 用异或替换减
++i;
}
if (i<=n){
F(x,i,n){
if (a[x][n+1]) return -1; // 出现 0=1，无解
ret<<=1ll; // 统计解的个数
}
}
return ret; // 因为自由元可为 0 或 1，故解的个数为 2^{自由元个数}
}
线性空间
前置知识：
-
向量加法：\(a+b\)，其中 \(a\) 和 \(b\) 均为向量。
-
标量乘法（数乘）：\(ka\)，其中 \(a\) 为向量，\(k\) 为标量。
表出：若向量 \(b\) 能够由向量 \(a_1,a_2,\dots,a_k\) 经过向量加法和标量乘法得出，则称 \(b\) 能被向量 \(a_1,a_2,\dots,a_k\) 表出。
线性空间：若干个向量 \(a_1,a_2,\dots,a_k\) 能表出的所有向量所构成的集合。
生成子集：对于一个线性空间来说，表出其所有向量的若干个向量 \(a_1,a_2,\dots,a_k\) 为此线性空间的生成子集。
线性相关：任意选出线性空间中的若干个向量，若其中存在一个向量能够被其它向量表出，则称这些向量线性相关，反之则称这些向量线性无关。
基底：对于一个线性空间来说，线性无关的生成子集被称为线性空间的基底，简称为基。
维数：对于一个线性空间来说，基所包含的向量个数被称为线性空间的维数。（一个线性空间所有基包含的向量个数都相等）
与矩阵的联系
对于一个 \(n\times m\) 的矩阵，其每一行都可看作一个长度为 \(m\) 的向量，称其为行向量，\(n\) 个行向量所能表出的所有向量构成一个线性空间，其维数被称为矩阵的行秩。
类似地，有列向量和列秩，由于行秩一定等于列秩，故合称为秩。
将该矩阵变为系数列均为 \(0\) 的增广矩阵进行高斯消元，得到简化阶梯矩阵。该简化阶梯矩阵所有非零行向量都线性无关，其构成的生成子集为该线性空间的一个基，这个基的个数为该矩阵的秩。
异或空间
表出：若整数 \(b\) 能够由整数 \(a_1,a_2,\dots,a_k\) 经过异或运算得出，则称 \(b\) 能被 \(a_1,a_2,\dots,a_k\) 表出。
异或空间：若干个整数 \(a_1,a_2,\dots,a_k\) 能表出的所有数字所构成的集合。
其它的定义和对于线性空间的定义类似，其中异或空间的基又被定义为异或空间的极大线性无关子集。
对于 \(n\) 个整数 \(a_i\) 且 \(a_i\in [0,2^k-1]\)，则可以构造一个 \(n\) 行 \(m\) 列的 \(01\) 矩阵，对于第 \(i\) 行，从右到左依次为 \((a_i)_2\) 从低位到高位，不够的在左边补 \(0\)。
比如，对于 \(n=5,k=4,a=[5,12,2,7,9]\)，得到的矩阵为：
不够的在右边补 \(0\)，然后通过异或高斯消元求出它的简化阶梯矩阵：
即该异或空间的基为 \([9,5,2]\)，其数学含义为：
数据结构求解线性基
以异或线性基为例，用 \(A_i(i\in[1,\left \lceil \log_2(\max\{ a_i \})\right \rceil])\) 保存基底。
对于插入线性基操作 \(\text{Insert(x)}\)，有：
-
设 \(x\) 最高位 \(1\) 在第 \(i\) 位。
-
若 \(A_i=0\)，则使 \(A_i=x\)。
-
反之，则使 \(x=x\operatorname{xor} A_i\)，然后继续 \(\text{Insert(x)}\)，直到 \(x=0\)。
\(A_i\) 的非 \(0\) 项即为基底。
代码
inline void Insert(int x){
FJ(i,51,0){ // 从高到低找，找到的第一个 1 必定为最高位的 1
if (x>>i){
if (bs[i]) x^=bs[i];
else {bs[i]=x;return;}
}
}
return ;
}
或
inline void Insert(int x){
if (!x) return ;
int pos=__lg(x); // 找最高位的 1
if (bs[pos]) Insert(x^bs[pos]);
else {bs[pos]=x;return;}
}
浙公网安备 33010602011771号