逆元的定义:在群G中,任意一个元素a都有唯一一个逆元a^-1使得a*a^1 = e(e为群的单位元)。
在剩余系中,当a^-1存在时,“除以”一个数a等于乘它的逆元a^-1。
a*x = 1(modN);
其求法常见的有两种:扩展的欧几里得和欧拉定理;
扩展的欧几里得算法求乘法逆元:
#include
#include
#include
#include
#include
#include
#include
#include
#include
#include
欧拉定理求逆元; 根据欧拉定理a^
ϕ(N) = 1(mod N)(其中a与N互质),所以a在模N下的逆为a^
(ϕ
(n) - 1) 对N取模;
#include
#include
#include
#include
#include
#include
#include
#include
#include
#include