前提:对于一个非完全平方数,其对于一个随机 primeprimeprime 是二次剩余的概率约为 12\frac{1}{2}21。
假设取了 ppp 个质数,一共有 n2n ^ 2n2 个区间,每个区间非平方判成平方的概率是 12p\frac{1}{2^p}2p1,那么正确的概率为 (1−12p)n2(1 - \frac{1}{2^p})^{n^2}(1−2p1)n2 吗。
当 p=50,n=3×105p = 50, n = 3\times 10^5p=50,n=3×105 时,Pr=0.99992Pr = 0.99992Pr=0.99992。当 p=60p = 60p=60 时,可以近似认为 Pr=1Pr = 1Pr=1。