# 用途
给定整数a,b,p,其中a,b互质,求出一个正整数x,使得 ax ≡ b (mod p)
# 推导
模的剩余类有产生循环的情况,即a0, a1, ...... , an-1模n(质数)意义下的剩余类
与an, an+1, ...... , a2n-1的剩余类相同,因此答案一定在[0, n-1]内。
先求出一部分a的幂次模p意义下的值,将它们存起来,然后使得剩下没有求值的部分能够想个办法利用已求值直接查表。
令求值的长度为m=⌈√p