专栏文章

OI 数论总结

算法·理论参与者 1已保存评论 0

文章操作

快速查看文章及其快照的属性,并进行相关操作。

当前评论
0 条
当前快照
1 份
快照标识符
@mip60l12
此快照首次捕获于
2025/12/03 06:44
3 个月前
此快照最后确认于
2025/12/03 06:44
3 个月前
查看原文

数论学习笔记

前置知识

最大公约数:gcd(x,y)=gcd(ymodx,x)\gcd(x,y)=\gcd(y \bmod x,x)
扩展欧几里得:ax+by=gcd(a,b)ax+by=\gcd(a,b)

常用定理

OI 中常用的公式其实主要只有三个:
  • 中国剩余定理 CRT
  • 卢卡斯定理
  • 大步小步 BSGS
还有它们的扩展。
下面是公式。
  • 中国剩余定理:同余方程组 {xa1(mod m1)xa2(mod m2)xak(mod mk)\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} 的解为:令 M=i=1kmi,Mi=Mmi,Mi1Mimi的逆元M=\prod_{i=1}^{k} m_i,M_i=\frac{M}{m_i},M_i^{-1} 为 M_i 模 m_i 的逆元,则 x(i=1kmiMiMi1)(modm)x \equiv (\sum^{k}_{i=1} m_iM_iM_i^{-1})(\bmod m)
  • 卢卡斯定理:Cmnmodp=Cmmodpnmodp×Cm/pn/pC^n_m \bmod p=C^{n \bmod p}_{m \bmod p} \times C^{n/p}_{m/p}pp 为质数
模板题:
  • P1495 中国剩余定理模板
  • P4777 扩展中国剩余定理模板
  • P3807 卢卡斯定理

评论

0 条评论,欢迎与作者交流。

正在加载评论...