Miller_Rabin算法中的二次探测定理的一些疑惑
Miller_Rabin算法中的二次探测定理我看有的博客上给出x的范围是小于p的正整数 x^2=1(mod p) 推出x=1或x=p-1例如要检测341是不是素数,首先它通过了小费马定理的检测,2^340=1(mod 341)有可能是素数,然后要进行二次检测,然后把2^170当成x 先前的小费马定理就是x^2=1(mod 341)
我想问下,x的范围不是小于p的正整数吗,2^170为什么能当成x
然后别的博客上没有给出x的范围,x^2=1(mod p)=>x=1(mod p)或x=p-1(mod p) 这个按照上面的思路是能理解的,为什么不给范围也行啊