Skip to content

乘法逆元

出处说明

本文内容摘自外部资源,为方便学员快速学习相关前置数学知识而整理在一起。内容可能较原文有删减,仅保留本课程所需的前置内容,以便学员快速掌握必备知识。

原文链接:https://oi-wiki.org/math/number-theory/inverse/

本文介绍模意义下乘法运算的逆元(Modular Multiplicative Inverse),并介绍如何使用扩展欧几里德算法(Extended Euclidean algorithm)求解乘法逆元。

定义

如果一个线性同余方程 ax1(modb),则 x 称为 amodb 的逆元,记作 a1

如何求逆元

扩展欧几里得法

扩展欧几里得法和求解 线性同余方程 是一个原理,在这里不展开解释。

线性求逆元

求出 1,2,,n 中每个数关于 p 的逆元。

如果对于每个数进行单次求解,以上两种方法就显得慢了,很有可能超时,所以下面来讲一下如何线性(O(n))求逆元。

首先,很显然的 111(modp)

???+ note "证明" 对于 pZ,有 1×11(modp) 恒成立,故在 p1 的逆元是 1,而这是推算出其他情况的基础。

其次对于递归情况 i1,我们令 k=pij=pmodi,有 p=ki+j。再放到 modp 意义下就会得到:ki+j0(modp)

两边同时乘 i1×j1

kj1+i10(modp)

i1kj1(modp)

再带入 j=pmodi,有 p=ki+j,有:

i1pi(pmodi)1(modp)

我们注意到 pmodi<i,而在迭代中我们完全可以假设我们已经知道了所有的模 p 下的逆元 j1,j<i

故我们就可以推出逆元,利用递归的形式,而使用迭代实现:

i1{1,if i=1,pi(pmodi)1,otherwise.(modp)

使用 ppi 来防止出现负数。

另外我们注意到我们没有对 inv[0] 进行定义却可能会使用它:当 i|p 成立时,我们在代码中会访问 inv[p % i],也就是 inv[0],这是因为当 i|p 时不存在 i 的逆元 i1线性同余方程 中指出,如果 ip 不互素时不存在相应的逆元(当一般而言我们会使用一个大素数,比如 109+7 来确保它有着有效的逆元)。因此需要指出的是:如果没有相应的逆元的时候,inv[i] 的值是未定义的。

另外,根据线性求逆元方法的式子:i1kj1(modp)

递归求解 j1, 直到 j=1 返回 1

中间优化可以加入一个记忆化来避免多次递归导致的重复,这样求 1,2,,n 中所有数的逆元的时间复杂度仍是 O(n)

注意:如果用以上给出的式子递归进行单个数的逆元求解,目前已知的时间复杂度的上界为 O(n13),具体请看 知乎讨论。算法竞赛中更好地求单个数的逆元的方法有扩展欧几里得法和快速幂法。

线性求任意 n 个数的逆元

上面的方法只能求 1n 的逆元,如果需要求任意给定 n 个数(1ai<p)的逆元,就需要下面的方法:

首先计算 n 个数的前缀积,记为 si,然后使用快速幂或扩展欧几里得法计算 sn 的逆元,记为 svn

因为 svnn 个数的积的逆元,所以当我们把它乘上 an 时,就会和 an 的逆元抵消,于是就得到了 a1an1 的积逆元,记为 svn1

同理我们可以依次计算出所有的 svi,于是 ai1 就可以用 si1×svi 求得。

所以我们就在 O(n+logp) 的时间内计算出了 n 个数的逆元。

逆元练习题

乘法逆元

乘法逆元 2

「NOIP2012」同余方程

「AHOI2005」洗牌

「SDOI2016」排列计数