数论学习笔记（暂记）

数论学习笔记

---

---

整除

$a|b$：$\exists q\in \mathbb{Z},b=a\times q$ 则称 $b$ 是 $a$ 的倍数，$a$ 是 $b$ 的约数

基本性质：

1. 传递性：如果 $a|b$ 且 $b|c$ ，那么 $a|c$
2. 同乘性：若 $m\ne 0$，$a|b\iff (m\times a)|(m\times b)$
3. $a|b$ 且 $a|c$ 等价于 $\forall x,y\in \mathbb{Z},a|(b\times x+c\times y)$
4. 若 $x,y\in \mathbb{Z}，ax+by=1$，且 $a|n$，$b|n$ 则 $(a\times b)|n$（由2，3可推）
   证明：由性质3得 $(a\times b)|(b\times n)$ 且 $(a\times b)|(a\times n)$。又由性质2得 $(a\times b)|(a\times n\times x+b\times n\times y)=(a\times b)|n$
5. 若 $b=qd+c$，那么 $d|b$ 的充要条件是 $d|c$

---

同余

若 $a,b$ 为两个整数，且它们的差 $a-b$ 能被某个自然数 $m$ 所整除，则 $a\equiv b(\mathrm{m}\mathrm{o}\mathrm{d}m)$ ，意味着 $a-b=mk,k\in \mathbb{Z}$

基本性质：

1. 自反性：$a\equiv a(\mathrm{m}\mathrm{o}\mathrm{d}m)$
2. 对称性：若 $a\equiv b(\mathrm{m}\mathrm{o}\mathrm{d}m)$，则 $b\equiv a(\mathrm{m}\mathrm{o}\mathrm{d}m)$
3. 传递性：若 $a\equiv b(\mathrm{m}\mathrm{o}\mathrm{d}m)，b\equiv c(\mathrm{m}\mathrm{o}\mathrm{d}m)$，则 $a\equiv c(\mathrm{m}\mathrm{o}\mathrm{d}m)$
4. 同加性：若 $a\equiv b(\mathrm{m}\mathrm{o}\mathrm{d}m)$，则 $a+c\equiv b+c(\mathrm{m}\mathrm{o}\mathrm{d}m)$
5. 同乘性：若 $a\equiv b(\mathrm{m}\mathrm{o}\mathrm{d}m)$，则 $ac\equiv bc(\mathrm{m}\mathrm{o}\mathrm{d}m)$；
   若 $a\equiv b(\mathrm{m}\mathrm{o}\mathrm{d}m)，c\equiv d(\mathrm{m}\mathrm{o}\mathrm{d}m)$，则 $ac\equiv bd(\mathrm{m}\mathrm{o}\mathrm{d}m)$
6. 同幂性：若 $a\equiv b(\mathrm{m}\mathrm{o}\mathrm{d}m)$，则 $a^n\equiv b^n(\mathrm{m}\mathrm{o}\mathrm{d}m)$

---

最大公约数

本节详解见：https://oi-wiki.org/math/gcd/
辗转相除法，又称欧几里得算法。一次有效的取模后，$n$ 至少减少一半 ， 所以复杂度 $O(\log n)$
递归式 $\gcd (x,y)=\gcd (y,x\mathrm{m}\mathrm{o}\mathrm{d}y)$

int gcd(int x,int y)//使用三目运算符
{
    return y==0?x:gcd(y,x%y);
}
int gcd(int x,int y)//普通递归求解
{
    if(y == 0) return x;
    return gcd(y,x%y);
}

定理：

公约数一定是最大公约数的约数

$\mathrm{lcm}(x,y)=\frac{xy}{\gcd (x,y)}$

定理：

公倍数一定是最小公倍数的倍数

注意：

$\gcd (0,n)=n$

---

裴蜀定理

对于正整数 $a,b$ 和 $d$ ， $\gcd (a,b)|d\iff \exists x,y\in \mathbb{Z},ax+by=d$

---

类欧几里得算法

$$f(a,b,c,n)=\sum \lfloor \frac{ai+b}{c}\rfloor$$
问直线 $y=\frac{a}{c}x+\frac{b}{c}$ 与 $x$ 轴围成的区域内整点的数量

---

扩展欧几里得算法

常用于求 $ax+by=\gcd (a,b)$ 的一组可行解。
由裴蜀定理可以知道，$ax+by=\gcd (a,b)$ 一定有解

求解思路：

设$a{x}_1+b{y}_1=\gcd (a,b),b{x}_2+(a\mathrm{m}\mathrm{o}\mathrm{d}b)y_2=\gcd (b,a\mathrm{m}\mathrm{o}\mathrm{d}b)$（根据最大公约数的特征列两条等式）
$\because \gcd (a,b)=\gcd (b,a\mathrm{m}\mathrm{o}\mathrm{d}b)$
$\therefore a{x}_1+b{y}_1=b{x}_2+(a\mathrm{m}\mathrm{o}\mathrm{d}b)y_2$
$\because a\mathrm{m}\mathrm{o}\mathrm{d}b=a-(\lfloor \frac{a}{b}\rfloor \times b)$
$\begin{array}{rl}\therefore a{x}_1+b{y}_1& =b{x}_2+[a-(\lfloor \frac{a}{b}\rfloor )\times b]y_2\\ a{x}_1+b{y}_1& =a{y}_2+b[x_2-(\lfloor \frac{a}{b}\rfloor )y_2]\end{array}$
$\therefore x_1=y_2,y_1=x_2-\lfloor \frac{a}{b}\rfloor y_2$（通过推导发现两等式的递归关系）

求出的解满足 $|x|+|y|$ 最小。

由此可以递归代入求解：

1. 递归求 $\gcd$
2. 当 $b=0$ 时，$ax+by=ax=a$，解得 $x=1$，递归回代
3. 求过 $\gcd$ 后，求的当前解 $x_1=y_2,y_1=x_2-\lfloor \frac{a}{b}\rfloor y_2$

int exgcd(int a,int b,int &x,int &y)
{
    if(b == 0)
    {
        x = 1;//特殊解
        y = 0;
        return a;//返回gcd
    }
    int gcd = exgcd(b,a%b,x,y);//先求gcd
    //根据公式回代求解
    int x2 = x;int y2 = y;
    int x1 = y2;int y1 = x2-(a/b)*y2;
    x = x1;y = y1;
    return gcd;
}

---

求解线性同余方程

形如 $ax\equiv c(\mathrm{m}\mathrm{o}\mathrm{d}b)$ 的方程称作线性同余方程。
解线性同余方程其实就是解二元一次不定方程。

定理1：

方程 $ax+by=c$ 等价于 $ax\equiv c(\mathrm{m}\mathrm{o}\mathrm{d}b)$；有整数解的充要条件是：$\gcd (a,b)|c$

定理2：

若 $\gcd (a,b)=1$，且 $x_0,y_0$ 为 $ax+by=c$ 的一组解，则该方程的任意解可表示为：$x=x_0+bt,y=y_0-at$，且对任意整数 $t$ 都成立。

求一组特殊解：

由定理1得：
$$\begin{gathered} a{x}_0+b{y}_0=\gcd (a,b) \\ {x}^{\prime }=x_0\times \frac{c}{\gcd (a,b)},y^{\prime }=y_0\times \frac{c}{\gcd (a,b)} \end{gathered}$$
这里的 $x^{\prime },y^{\prime }$ 是一组特殊解。

线性同余方程的最小正整数解：
$x=(x\mathrm{m}\mathrm{o}\mathrm{d}t+t)\mathrm{m}\mathrm{o}\mathrm{d}t,t=\frac{b}{\gcd (a,b)}$

模板题：P1082 [NOIP2012 提高组] 同余方程

P1516 青蛙的约会

根据题意，设二者跳 $t$ 次相遇，有方程 $(x+t\times m)\mathrm{m}\mathrm{o}\mathrm{d}L=(y+t\times n)\mathrm{m}\mathrm{o}\mathrm{d}L$ ，将其转为同余方程的形式得到 $(x+t\times m)\equiv (y+t\times n)(\mathrm{m}\mathrm{o}\mathrm{d}L)$ ，通过恒等变换得到 $(m-n)t\equiv (y-x)(\mathrm{m}\mathrm{o}\mathrm{d}L)$，再转化为二元一次不定方程 $(m-n)\times t+L\times k=(y-x)$，用扩展欧几里得解此方程 $t$ 的最小正整数解即可，注意正负这类小细节的判断。

#include<iostream>
#include<cmath>

using namespace std;
long long x,y,m,n,L;
long long a,b,ansx,ansy,c,d;

void exgcd(long long &x,long long &y,long long a,long long b,long long &c)
{
	if(b==0)
	{
		c=a;x=1;y=0;
		return ;
	}
	exgcd(x,y,b,a%b,c);
	long long tmp=x;
	x=y;
	y=tmp-(a/b)*y;
	return ;
}

int main()
{
	cin>>x>>y>>m>>n>>L;
	if(n<m)
	{
		swap(m,n);
		swap(x,y);
	}
	a=n-m;b=L;c=x-y;
	exgcd(ansx,ansy,a,b,d);
	if(c%d!=0||m==n)
	{
		cout<<"Impossible";
		return 0;
	}
	cout<<(ansx*c/d%(L/d)+(L/d))%(L/d);
	return 0;
}

P2054 [AHOI2005]洗牌

P2054 [AHOI2005]洗牌
观察数字 $i$ 在进行 $k$ 次洗牌后的位置，发现它的位置将在 $2^k\times i\mathrm{m}\mathrm{o}\mathrm{d}(n+1)$
所以得到方程 $$\begin{array}{rlr}{2}^m\times i\mathrm{m}\mathrm{o}\mathrm{d}(n+1)=L& \iff 2^m\times i\mathrm{m}\mathrm{o}\mathrm{d}(n+1)=L\mathrm{m}\mathrm{o}\mathrm{d}(n+1)& \\ & \iff 2^m\times i\equiv L& (\mathrm{m}\mathrm{o}\mathrm{d}n+1)\\ & \iff (2^m\mathrm{m}\mathrm{o}\mathrm{d}(n+1))\times i\equiv L& (\mathrm{m}\mathrm{o}\mathrm{d}n+1)\end{array}$$
然后解 $i$ 就好了

---

二元一次不定方程

一般形式 $ax+by=c$
方程所有整数解可表示为：
$$\begin{gathered} x=x^{\prime }+\frac{b}{\gcd (a,b)}t \\ y=y^{\prime }-\frac{a}{\gcd (a,b)}t \end{gathered}$$
其中 $t\in \mathbb{Z}$，$x^{\prime },y^{\prime }$ 是一组特殊解
$$\begin{gathered} a{x}_0+b{y}_0=\gcd (a,b) \\ {x}^{\prime }=x_0\times \frac{c}{\gcd (a,b)},y^{\prime }=y_0\times \frac{c}{\gcd (a,b)} \end{gathered}$$

P5656 【模板】二元一次不定方程 (exgcd)

判断有无整数解只需要看是否满足 $\gcd (a,b)|c$ 即可
接下来考虑是否存在正整数解的问题：
如果存在正整数解，那么 $$\{\begin{array}{l}x=x^{\prime }+\frac{b}{\gcd (a,b)}t>0\\ y=y^{\prime }-\frac{a}{\gcd (a,b)}t>0\end{array}$$
解得：$\frac{-x^{\prime }\times \gcd (a,b)}{b}<t<\frac{y^{\prime }\times \gcd (a,b)}{a}$
又因为 $t\in \mathbb{Z}$ ，所以 $\lceil \frac{-x^{\prime }\times \gcd (a,b)}{b}\rceil ⩽t⩽\lfloor \frac{y^{\prime }\times \gcd (a,b)}{a}\rfloor$
如果存在 $t$ 满足上述不等式，则方程有正整数解，否则没有。
如果有整数解：
显然整数解个数 $n=\lfloor \frac{y^{\prime }\times \gcd (a,b)}{a}\rfloor -\lceil \frac{-x^{\prime }\times \gcd (a,b)}{b}\rceil$
观察计算 $x,y$ 的公式，发现 $t$ 变化时，$x,y$ 的变化趋势正好相反
当 $t$ 取到两个边界最值时，分别算出答案。
如果没有整数解，$t$ 取到两个边界最值时，得到答案。

#include<iostream>
#include<cstdio>
#include<cmath>

using namespace std;
typedef long long ll;
ll T,a,b,c,tmpgcd,nowx,nowy,lt,rt,ansx,ansy;
ll minx,miny,maxx,maxy,tx,ty,cnt;

ll exgcd(ll a,ll b,ll &x,ll &y)
{
	if(b == 0)
	{
		x = 1;
		y = 0;
		return a;
	}
	ll res = exgcd(b,a%b,x,y);
	ll tmp = x;
	x = y;
	y = tmp-(a/b)*y;
	return res;
}

int main()
{
	scanf("%lld",&T);
	for(;T >= 1;T --)
	{
		scanf("%lld%lld%lld",&a,&b,&c);
		tmpgcd = exgcd(a,b,nowx,nowy);
		if(c%tmpgcd > 0)
		{
			printf("-1\n");
			continue;
		}
		ansx = nowx*c/tmpgcd;
		ansy = nowy*c/tmpgcd;
		tx = b/tmpgcd;
		ty = a/tmpgcd;
		lt = ll(ceil(double((double(-ansx)+1.00)/(double(tx)))));
		rt = ll(floor(double((double(ansy)-1.00)/(double(ty)))));
//		printf("%lld %lld\n",lt,rt);
		if(lt <= rt)
		{
			cnt = rt-lt+1;
			minx = ansx + tx*lt;
			maxy = ansy - ty*lt;
			maxx = ansx + tx*rt;
			miny = ansy - ty*rt;
			printf("%lld %lld %lld %lld %lld\n",cnt,minx,miny,maxx,maxy);
		}
		else
		{
			ansx = ansx + tx*lt;
			ansy = ansy - ty*rt;
			printf("%lld %lld\n",ansx,ansy);
		}
	}
	return 0;
}

---

逆元

若 $ax\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}b)$，$a\perp b$ （即 $a$ 和 $b$ 互质），则称 $x$ 为 $a$ 的逆元，记为 $a^{-1}$
当求 $\frac{t}{a}\mathrm{m}\mathrm{o}\mathrm{d}p$ 时，将其转化为 $t\times a^{-1}\mathrm{m}\mathrm{o}\mathrm{d}b$

求逆元的几种方法：

https://oi-wiki.org/math/inverse/

1. 扩展欧几里得算法求解
   显然可以将线性同余方程转化为二元一次不定方程，用扩展欧几里得求解
   由于线性同余方程等价于不定方程，即 $ax\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}b)\iff ax+by=1$。所以求 $a^{-1}$ 可以用扩展欧几里得算法。
2. 另外，求逆元还有一个线性算法：
   首先，显然可以知道 $1^{-1}\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}p)$（因为$1^{-1}=1$）。
   设 $p=k\times i+r,r<i,1<i<p$ ，将这条式子放到 $\mathrm{m}\mathrm{o}\mathrm{d}p$ 意义下，得到：$k\times i+r\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}p)$。
   两边同乘 $i^{-1},r^{-1}$ ，得到：
   $$\begin{array}{rlr}k\times r^{-1}+i^{-1}& \equiv 0& (\mathrm{m}\mathrm{o}\mathrm{d}p)\\ i^{-1}& \equiv -k\times r^{-1}& (\mathrm{m}\mathrm{o}\mathrm{d}p)\\ i^{-1}& \equiv -\lfloor \frac{p}{i}\rfloor \times (p\mathrm{m}\mathrm{o}\mathrm{d}i{)}^{-1}& (\mathrm{m}\mathrm{o}\mathrm{d}p)\end{array}$$
   第一步推导运用同余运算的同乘性，第二步推导运用同余运算的同加性，第三步推导中由先前设的 $p=k\times i+r$ 显然得到 $k=\lfloor \frac{p}{i}\rfloor$ ，$r=p\mathrm{m}\mathrm{o}\mathrm{d}i$。
   由此得到递推式用代码表示：inv[i] = -(p/i) * inv[p%i] = (long long)(p - p / i) * inv[p%i] % p;
3. 求任意 $n$ 个数的逆元
   计算 $n$ 个数的前缀积，对于 $1$ 到 $i$ 的前缀积记为 $s_i$ ，然后用扩展欧几里得法计算 $s_i$ 的逆元，记为 $s{v}_i$ 。
   因为 $s{v}_n$ 是 $n$ 个数的积的逆元，所以当我们把它乘上 $a_n$ 时，就会和 $a_n$ 的逆元抵消（$s{v}_n\times a^n=a{{}_1}^{-1}\times a_2^{-1}\times a_3^{-1}\times \cdots \times a_n^{-1}\times a_n$），于是就得到了 $a_1$ 到 $a_{n-1}$ 的积逆元，记为 $s{v}_{n-1}$ 。
   同理我们可以依次计算出所有的 $s{v}_i$ ，于是 $a^{-1}$ 就可以用 $s{v}_i\times s_{i-1}$ 求得。
   所以我们就在 $O(n+\log p)$ 的时间内计算出了 $n$ 个数的逆元。
4. 由费马小定理 $a^p\equiv a(\mathrm{m}\mathrm{o}\mathrm{d}p),a^{p-1}\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}p)$，故得到 $a$ 的逆元为 $a^{p-2}$

P3811 【模板】乘法逆元

显然用线性算法就能够算出 $1$ 到 $n$ 的所有逆元了。

P5431 【模板】乘法逆元2

$$\begin{array}{rlr}\sum _{i=1}^n\frac{k_i}{a_i}& \equiv \frac{{\sum }_{i=1}^n(k_i\frac{{\prod }_{j=1}^n{a}_j}{a_i})}{{\prod }_{i=1}^n{a}_i}& (\mathrm{m}\mathrm{o}\mathrm{d}p)\\ & \equiv \sum _{i=1}^n\left(k_i\times a_i^{-1}\times \prod _{j=1}^n{a}_j\right)\times \prod _{i=1}^n{a}_i^{-1}& (\mathrm{m}\mathrm{o}\mathrm{d}p)\end{array}$$

对式子变形之后，用前缀积的方式求乘积逆元 ${\prod }_{i=1}^n{a}_i^{-1}$ ，再维护一个后缀积，求 $a_i^{-1}\times {\prod }_{j=1}^n{a}_j={\text{pres}}_{i-1}\times {\text{sufs}}_{i+1}$，然后这道题就可以高效完成了。

#include<iostream>
#include<cstdio>

using namespace std;
typedef long long ll;
int n,p,k;
int a[5000005];
ll mul[5000005],smul[5000005];
int tmp,tmpgcd;
int inv,ans,kk;
char ch;
inline void myread(int &x){
	x=0;
	for(ch=getchar();ch<'0'||ch>'9';ch=getchar());
	for(;ch>='0'&&ch<='9';ch=getchar())
		x=(x<<3)+(x<<1)+(ch&15); 
}

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

int main()
{
	myread(n);myread(p);myread(k);
	for(int i = 1;i <= n;i ++) myread(a[i]);
	mul[0] = 1;for(int i = 1;i <= n;i ++) mul[i] = ll(mul[i-1])*ll(a[i])%p;
	smul[n+1] = 1;for(int i = n;i >= 1;i --) smul[i] = ll(smul[i+1])*ll(a[i])%p;
	tmpgcd = exgcd(mul[n],p,inv,tmp);inv = (inv%p+p)%p;
	kk = 1;
	for(int i = 1;i <= n;i ++)
	{
		kk = ll(kk)*k%p;
		ans = (ans+(ll(kk)*ll(mul[i-1]))%p*ll(smul[i+1])%p)%p;
	}
	printf("%lld",ll(ll(ans)*ll(inv)%p));
	return 0;
}

---

中国剩余定理

CRT 可解决的线性同余方程组具有以下一般形式：
$$\begin{gathered} m_1\perp m_2\perp \cdots \perp m_r \\ \{\begin{array}{ll}x\equiv b_1& (\mathrm{m}\mathrm{o}\mathrm{d}{m}_1)\\ x\equiv b_2& (\mathrm{m}\mathrm{o}\mathrm{d}{m}_2)\\ ⋮& \\ x\equiv b_r& (\mathrm{m}\mathrm{o}\mathrm{d}{m}_r)\end{array} \end{gathered}$$

算法思路：

1. 计算所有模数的积 $M=m_1\times m_2\times \cdots \times m_r$。
2. 枚举方程组中每一条方程，并构造关于这条方程的新方程组。
3. 枚举到第 $i$ 条方程，则有方程组：
   $$\{\begin{array}{ll}x\equiv 0& (\mathrm{m}\mathrm{o}\mathrm{d}{m}_1)\\ x\equiv 0& (\mathrm{m}\mathrm{o}\mathrm{d}{m}_2)\\ ⋮& \\ x\equiv 1& (\mathrm{m}\mathrm{o}\mathrm{d}{m}_i)\\ ⋮& \\ x\equiv 0& (\mathrm{m}\mathrm{o}\mathrm{d}{m}_r)\end{array}$$
4. 此时设 $t_i=\frac{M}{m_i}$ （对于以上方程组特殊解 $t_i$ 必然是其他模数的最小公倍数），求 $t_i$ 在模 $m_i$ 意义下的逆元 $t^{-1}$
5. 设 $c_i=t_i\times t_i^{-1}$ ( 因为 $c_i\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}M)$ )
6. 最后的方程组唯一解： $x={\sum }_{i=1}^r{b}_i{c}_i(\mathrm{m}\mathrm{o}\mathrm{d}M)$（根据同余运算的同加性得到最后的唯一解）

P1495 【模板】中国剩余定理(CRT)/曹冲养猪

P1495 【模板】中国剩余定理(CRT)/曹冲养猪

#include<iostream>
#include<cstdio>

using namespace std;
typedef long long ll;
ll n,a[25],b[25],c,m,invm,tmp,tmpy,ans;
ll s;

ll exgcd(ll a,ll b,ll &x,ll &y)
{
	if(b == 0)
	{
		x = 1;
		y = 0;
		return a;
	}
	ll res = exgcd(b,a%b,x,y);
	ll tmpx = x;
	x = y;
	y = tmpx-(a/b)*y;
	return res;
}

ll CRT()//Chinese Remainder Theorem
{
	s = 1;ans = 0;
	for(int i = 1;i <= n;i ++) s *= b[i];
	for(int i = 1;i <= n;i ++)
	{
		m = s/b[i];//x = my
		//my _= 1 (mod b[i]) <=> my + b[i]k = 1
		tmp = exgcd(m,b[i],invm,tmpy);//m^(-1)
		c = m*invm;
		ans = (ans+a[i]*c)%s;
	}
	if(ans <= 0) ans += s;
	return ans;
}

int main()
{
	scanf("%lld",&n);
	for(int i = 1;i <= n;i ++) scanf("%lld%lld",&b[i],&a[i]);// x _= a[i] (mod b[i])
	printf("%lld",CRT());
	return 0;
}

P3868 [TJOI2009]猜数字

P3868 [TJOI2009]猜数字
$b|(n-a_i)\iff n\equiv a_i(\mathrm{m}\mathrm{o}\mathrm{d}b)$
然后套板子做完了。
不过要注意：两数相乘的时候往往来不及取模就爆long long了，使用技巧快速乘：
分解乘数，及时取模

ll mul(ll a,ll b){//快速乘
	ll r=0;
	while(b){
		if(b&1) r= (r+a)%N;//改乘为加，好“快”啊
		a = (a+a)%N;
		b>>=1;
	}
	return r;
}

UVA756 Biorhythms

UVA756 Biorhythms
比板子还板子。

---

扩展中国剩余定理（未完成）

详细讲解见别人的 blog：https://www.luogu.com.cn/blog/blue/kuo-zhan-zhong-guo-sheng-yu-ding-li
ExCRT 可解决的线性同余方程组具有以下一般形式：
$$\{\begin{array}{ll}x\equiv b_1& (\mathrm{m}\mathrm{o}\mathrm{d}{m}_1)\\ x\equiv b_2& (\mathrm{m}\mathrm{o}\mathrm{d}{m}_2)\\ ⋮& \\ x\equiv b_r& (\mathrm{m}\mathrm{o}\mathrm{d}{m}_r)\end{array}$$

算法思路：

通过将方程两两合并为一等价方程，从而将方程组压缩乘一条方程，求这条方程的解。

1. 取出两条方程 $\{\begin{array}{ll}x\equiv b_1& (\mathrm{m}\mathrm{o}\mathrm{d}{m}_1)\\ x\equiv b_2& (\mathrm{m}\mathrm{o}\mathrm{d}{m}_2)\end{array}$
2. 改写方程 $x=m_{1}p+b_1=m_{2}q+b_2\Rightarrow m_{1}p-m_{2}q=b_2-b_1$
3. 计算 $d=\gcd (m1,m2)$ ，如果满足 $d|(b_2-b_1)$ ，则方程有解，可以解出 $x$，否则方程无解，整段垮掉 整个方程组也就无解，算法结束。
4. 现求 $p$ 和 $q$，由…

\operatorname{lcm}(m_1,m_2)

---

欧拉定理

$$\begin{array}{rl}\phi (n)& =\sum _{i=1}^n[i\perp n]\\ a^{\phi (n)+1}& \equiv a(\mathrm{m}\mathrm{o}\mathrm{d}n)\\ a^k& \equiv \{\begin{array}{ll}{a}^k& \text{if}k⩽\phi (n)\\ a^{k\mathrm{m}\mathrm{o}\mathrm{d}\phi (n)+\phi (n)}& \text{otherwise}\end{array}(\mathrm{m}\mathrm{o}\mathrm{d}n)\end{array}$$

---

素数

$\pi (n)\sim \frac{n}{\ln n}$
$p_n\sim n\ln n$

基本算术定理：

任何一个大于 $1$ 的自然数 ，如果 $N$ 不为质数，都可以唯一分解成有限个质数的乘积 $N=p_1^{a_1}\times p_2^{a_2}\times \cdots \times p_k^{a_k}$ ，这里 $p_j(1⩽j⩽k)$ 均为质数，其诸指数 $a_j$ 是正整数。
由此定理得到快速筛法：

for(int i = 2;i < N;i ++)
{
    if(!isNotPrime[i])//当前i是一个素数
    {
        cnt ++;
        prime[cnt] = i;//记录素数
    }
    for(int j = 1;j <= cnt && i*prime[j] < N;j ++)//根据基本算术定理构造合数
    {
        isNotPrime[i*prime[j]] = 1;
        if(!(i%prime[j])) break;
    }
}

---

Baby Step Giant Step (BSGS)

---

斐波那契数列

斐波那契数列一般形式

$$0,1,1,2,3,5,8,13,21,\cdots$$

递推公式

$$F_n=\{\begin{array}{ll}0& n=0\\ 1& n=1\\ F_{n-1}+F_{n-2}& n>1\end{array}$$

特殊性质：

1. 卡西尼性质（Cassini’s identity）：$F_{n-1}{F}_{n+1}-F_n^2=(-1{)}^n$ 。
2. 附加性质：$F_{n+k}=F_k{F}_{n+1}+F_{k-1}{F}_n$ 。
3. 取上一条性质中 $k=n$ ，我们得到 $F_{2n}=F_n(F_{n-1}+F_{n+1})$ 。
4. 由上一条性质可以归纳证明，$\forall k\in \mathbb{N},F_n|F_{nk}$ 。
5. 上述性质可逆，即 $\forall F_a|F_b,a|b$ 。
6. GCD 性质：$\gcd (F_n,F_m)=F_{\gcd (n,m)}$ 。
7. 以斐波那契数列相邻两项作为输入会使欧几里德算法达到最坏复杂度

快速倍增法求斐波那契数列任意项：

利用性质2，有：$$\begin{gathered} F_{2n}=F_n(2F_{n+1}-F_n) \\ {F}_{2n+1}=F_{n+1}^2+F_n^2 \end{gathered}$$
于是可以通过这样的方法快速计算两个相邻的斐波那契数（常数比矩乘小）。代码如下，返回值是一个二元组 $(F_n,F_{n+1})$ 。

typedef long long ll;
pair<ll, ll> Fib(int n)
{
  if (n == 0) return {0,1};
  pair<ll ,ll> p;
  p = Fib(n >> 1);
  ll c = p.first * (2 * p.second - p.first);
  ll d = p.first * p.first + p.second * p.second;
  if (n % 2 == 1)
    return {d, c + d};
  else
    return {c, d};
}

待定系数法推导通项公式：

设常数 $r$ 和 $s$ ，使得：$$F_n-r\times F_{n-1}=s\times (F_{n-1}-r\times F_{n-2})$$因为 $F_n=F_{n-1}+F_{n-2}$
所以：$$r+s=1,-rs=1$$ 在 $n⩾3$ 时，有：$$\begin{gathered} F_n-r\times F_{n-1}=s\times (F_{n-1}-r\times F_{n-2}) \\ {F}_{n-1}-r\times F_{n-2}=s\times (F_{n-2}-r\times F_{n-3}) \\ \cdots \\ {F}_3-r\times F_2=s\times (F_2-r\times F_1) \end{gathered}$$联立以上 $n-2$ 个式子，得到$$F_n-r\times F_{n-1}=s^{n-2}\times (F_2-r\times F_1)$$因为 $s=1-r,F_1=F_2=1$ ，所以有：$$\begin{array}{rl}{F}_n& =s^{n-1}+r\times F_{n-1}\\ & =s^{n-1}+r{s}^{n-2}+r^2{F}_{n-2}\\ & \cdots \\ & =s^{n-1}+r{s}^{n-2}+r^2{s}^{n-3}+\cdots +r^{n-2}s+r^{n-1}\end{array}$$可以看出 $F_n$ 是这个以 $s^{n-1}$ 为首项，以 $r^{n-1}$ 为末项，$\frac{r}{s}$ 为公比的等比数列的各项和
对于一个等比数列 { a n } \{a_n\} {an​} ，如果公比是 $q,q\ne 1$ ，首项是 $a_1$ ，那么前 $k$ 项的和 $S_k=\frac{a_1(1-q^k)}{1-q}=\frac{a_1-a_1{q}^k}{1-q}$
所以：$$\begin{array}{rl}{F}_n& =\frac{s^{n-1}-s^{n-1}(\frac{r}{s}{)}^n}{1-\frac{r}{s}}\\ & =\frac{s^n-r^n}{s-r}\end{array}$$对于方程组 $$\{\begin{array}{ll}r+s& =1\\ -rs& =1\end{array}$$可以解得：$$\{\begin{array}{ll}r& =\frac{1+\sqrt{5}}{2}\\ s& =\frac{1-\sqrt{5}}{2}\end{array}$$
所以，斐波那契数列的通项公式就是 $$F_n=\frac{\sqrt{5}}{5}\left[{\left(\frac{1+\sqrt{5}}{2}\right)}^n-{\left(\frac{1-\sqrt{5}}{2}\right)}^n\right]$$

P1306 斐波那契公约数

P1306 斐波那契公约数
利用 GCD 性质并使用快速倍增法

#include<iostream>
#include<cstdio>
#include<cmath>

using namespace std;
const long long modn = 1e8;
typedef long long ll;
ll n,m,tmpgcd;

ll gcd(ll a,ll b)
{
	return b == 0 ? a:gcd(b,a%b);
}

pair<ll, ll> Fib(int n)
{
  if (n == 0) return make_pair(0,1);
  pair<ll ,ll> p;
  p = Fib(n >> 1);
  ll f1 = p.first * (2 * p.second%modn - p.first%modn + modn)%modn;
  ll f2 = (p.first * p.first %modn + p.second * p.second%modn)%modn;
  if (n % 2 == 1)
    return make_pair(f2%modn, (f1 + f2)%modn);
  else
    return make_pair(f1%modn, f2%modn);
}

int main()
{
	scanf("%lld%lld",&n,&m);
	tmpgcd = gcd(n,m);
	pair<ll , ll> ans;
	ans = Fib(tmpgcd);
	printf("%lld",ans.first%modn);
	return 0;
}

---

参考资料：
OI WIKI 数学
《信息学竞赛之数学一本通》