在线性求逆元里,有一个推导出的结论:
i−1≡−⌊pi⌋×(pmod i)−1(mod p)i^{-1}\equiv-\lfloor\frac{p}{i}\rfloor\times(p\mod i)^{-1}(\mod p)i−1≡−⌊ip⌋×(pmodi)−1(modp)
但为什么代码里写的是:
inv[i]=(p-p/i)*inv[p%i]%p;
而不是
inv[i]=(-p/i)*inv[p%i]%p;