ACM：数论专题(1)——素数的判定

   (P.S: God！！！！！！ 当前人类对于数学的研究所达到的高度已经远远超出了一个外行人所理解的程度， 俺是这么想的。。。。。。 ）
题目要求：

    题目要求给定一个数字n，判定其是否为素数(n≤10^18)。素数：对于某个数字n，如果在所有不大于n的正整数中，只有1和n本身可以整除n，则n是一个素数。

解答：
    素数的判定具有多种方法。
    最朴素的方式是：利用循环枚举所有不大于n的正整数，判定每个正整数是否可以整除n，进而判定待测数字是否为素数。
    朴素的算法可以进行改进，以提高其性能：首先，除2以外的所有的偶数一定不是素数，其次在枚举数字时，只要枚举到sqrt(n)即可，而从sqrt(n)到n-1的数字一定不能整除n，这样，算法的性能就能大幅度改善。
    但是对于本题，在n∈[2, 10^18]的庞大的范围内，以上的算法均会超时，这里介绍一种称为Miller-Rabin的判定素数的算法，这是一个基于概率的算法。
    首先需要了解两个定理：
    1、费马小定理：对于素数p和任意的整数a(a≠0)，有：

    以上定理说明，如果一个数字p是素数，那么对于任意的整数a，一定满足a^p = a % p,即a的p次幂除以p和a本身除以p后得到的余数是相同的。如果把上面的式子两边同时除以a,那么就可以得到：