费马小定理:a是不能被质数p整除的正整数,则有a^(p-1)≡ 1 (mod p)
推导:a^(p−1) ≡ 1 (mod p) = a*a^(p−2 )≡ 1 (mod p) ;
则a的逆元 为 a^(p−2)。利用费马小定理求逆元的前提强调p一定是质数。
说这些你可能不太明白,先看一道题就明白了,
要求(A/B)%9973,但由于A很大,我们只给出n(n=A%9973)(我们给定的A必能被B整除,且gcd(B,9973) = 1)。
Input
数据的第一行是一个T,表示有T组数据。
每组数据有两个数n(0 <= n < 9973)和B(1 <= B <= 10^9)。
Output
对应每组数据输出(A/B)%9973。
Sample Input
2
1000 53
87 123456789
Sample Output
7922
6060
如果我们直接求肯定不行 ,所以要利用逆元求解,并且9973(即是上面的p)为质数,
设C是B的逆元,则有BC≡1(mod P); 推论:(A/B)mod P = (A/B)1mod p = (A/B)BC mod p=AC(mod p); 即A/B的模等于A(B的逆元)的模;l利用费马小定理得出C=B^(p-2);则原式可转化为(AC)%p=(A%pC%p)%p;个人见解,欢迎纠错.
代码:
1 | #include<stdio.h> |