Alice有一份很长的n位文件复印件A=<an-1, an-2,...,a0>,Bob也有--份类似的文件B=<bn-1, bn-2,...,b0〉。Alice 和Bob都希望知道他们的文件是否一样。为了避免传送整个文件A或B,他们运用下列快速的概率检查方法。他们共同选择-一个素数q>1000n,并从{0, 1,....q一1}中随机选取一个整数x。然后,Alice 求出
的值,Bob 也用类似方法计算出B(x)。证明:如果A≠B,则A(x)= B(x)的概率至多为1/1000;如果两个文件相同,则A(x)的值必定等于B(x)的值。