古老的故事,但我确实想不起来了。
逆元的定义是 \(x\times a\equiv 1\pmod{b}\) ,等价于 \(x\times a=1+y\times b\),即是 \(x\times a+y\times (-b)=1\),用扩欧解方程即可。
有局限,根据扩欧的要求,上述柿子中的 a 和 b 必须互质,所以就有 CRT 和 EXCRT 的分别。但它又比费马小定理求逆元范围要广一些,毕竟上述柿子不要求 b 是质数。