首页
A
j8b5txwp
当前主题:自动模式
查看保存队列
搜索
专栏文章
OI 数论总结
_
__CrossBow_EXE__
2025/05/31 18:20
算法·理论
参与者 1
已保存评论 0
文章操作
快速查看文章及其快照的属性,并进行相关操作。
当前评论
0 条
当前快照
1 份
快照标识符
@mip60l12
此快照首次捕获于
2025/12/03 06:44
3 个月前
此快照最后确认于
2025/12/03 06:44
3 个月前
查看原文
时光机
更新文章
复制链接
复制快照链接
复制正文 Markdown
数论学习笔记
前置知识
最大公约数:
gcd
(
x
,
y
)
=
gcd
(
y
m
o
d
x
,
x
)
\gcd(x,y)=\gcd(y \bmod x,x)
g
cd
(
x
,
y
)
=
g
cd
(
y
mod
x
,
x
)
扩展欧几里得:
a
x
+
b
y
=
gcd
(
a
,
b
)
ax+by=\gcd(a,b)
a
x
+
b
y
=
g
cd
(
a
,
b
)
常用定理
OI 中常用的公式其实主要只有三个:
中国剩余定理 CRT
卢卡斯定理
大步小步 BSGS
还有它们的扩展。
下面是公式。
中国剩余定理:同余方程组
{
x
≡
a
1
(
m
o
d
m
1
)
x
≡
a
2
(
m
o
d
m
2
)
…
x
≡
a
k
(
m
o
d
m
k
)
\begin{aligned} \left\{\begin{matrix} \mathrm{x} \equiv \mathrm{a}_{1}\left(\bmod \mathrm{~m}_{1}\right) \\ \mathrm{x} \equiv \mathrm{a}_{2}\left(\bmod \mathrm{~m}_{2}\right) \\ \ldots \\ \mathrm{x} \equiv \mathrm{a}_{\mathrm{k}}\left(\bmod \mathrm{~m}_{\mathrm{k}}\right) \end{matrix}\right. \end{aligned}
⎩
⎨
⎧
x
≡
a
1
(
mod
m
1
)
x
≡
a
2
(
mod
m
2
)
…
x
≡
a
k
(
mod
m
k
)
的解为:令
M
=
∏
i
=
1
k
m
i
,
M
i
=
M
m
i
,
M
i
−
1
为
M
i
模
m
i
的逆元
M=\prod_{i=1}^{k} m_i,M_i=\frac{M}{m_i},M_i^{-1} 为 M_i 模 m_i 的逆元
M
=
∏
i
=
1
k
m
i
,
M
i
=
m
i
M
,
M
i
−
1
为
M
i
模
m
i
的逆元
,则
x
≡
(
∑
i
=
1
k
m
i
M
i
M
i
−
1
)
(
m
o
d
m
)
x \equiv (\sum^{k}_{i=1} m_iM_iM_i^{-1})(\bmod m)
x
≡
(
∑
i
=
1
k
m
i
M
i
M
i
−
1
)
(
mod
m
)
卢卡斯定理:
C
m
n
m
o
d
p
=
C
m
m
o
d
p
n
m
o
d
p
×
C
m
/
p
n
/
p
C^n_m \bmod p=C^{n \bmod p}_{m \bmod p} \times C^{n/p}_{m/p}
C
m
n
mod
p
=
C
m
mod
p
n
mod
p
×
C
m
/
p
n
/
p
,
p
p
p
为质数
模板题:
P1495 中国剩余定理模板
P4777 扩展中国剩余定理模板
P3807 卢卡斯定理
相关推荐
评论
共 0 条评论,欢迎与作者交流。
最新优先
最早优先
搜索
正在加载评论...