I.CRT(中国剩余定理)
中国剩余定理:
已知方程
⎧⎪⎨⎪⎩x≡a1(modm1)⋮x≡an(modmn)
则我们设M=n∏i=1mi,Mi=Mmi,bi=(Mi)−1(modmi),
则有
x≡n∑i=1aiMibi(modM)
很明显常规CRT只能在 mi 全部互质的情形下使用,不然 bi 不一定存在。
下面证明CRT:
类比拉格朗日插值,我们考虑找到一个式子,其模 m1 余 1,模 m2∼n 均为 0。这样,其 a1 倍就是仅模 m1 余 a1 的数。对所有 ai 都做上述操作并求和,就得到了符合条件的数。
因为 mi 两两互质,所以模 m2∼n 均为 0 唯一等价于模 n∏i=2mi 为 0,也即上文中的 M1。
我们设找到的这个式子为 kM1,则应有 kM1≡1(modm1)。明显,其等价于 k 是 M1 在模 m1 意义下的逆元,也即上文中的 b1。
这个方程的n=2,3的特例可以用来做任意模数NTT:
{x≡a(modA)x≡b(modB)
则有
x=a+αA=b+βB
于是
a+αA≡b(modB)
所以
α≡b−aA(modB)
求出α后,就有x≡a+αA(modAB)
如果我们又有一个方程x≡c(modC),
就直接联立出方程
{x≡a+αA(modAB)x≡c(modC)
因为卷积的值域是n3的,所以双模就可以支持106的模数,而三模则可以支持常规的109模数。
【推荐】国内首个AI IDE,深度理解中文开发场景,立即下载体验Trae
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】抖音旗下AI助手豆包,你的智能百科全书,全免费不限次数
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步
· go语言实现终端里的倒计时
· 如何编写易于单元测试的代码
· 10年+ .NET Coder 心语,封装的思维:从隐藏、稳定开始理解其本质意义
· .NET Core 中如何实现缓存的预热?
· 从 HTTP 原因短语缺失研究 HTTP/2 和 HTTP/3 的设计差异
· 分享一个免费、快速、无限量使用的满血 DeepSeek R1 模型,支持深度思考和联网搜索!
· 基于 Docker 搭建 FRP 内网穿透开源项目(很简单哒)
· ollama系列1:轻松3步本地部署deepseek,普通电脑可用
· 按钮权限的设计及实现
· 【杂谈】分布式事务——高大上的无用知识?