摘要：
首先，约去x 1的所有因子2，得到t。 计算$a^t$。 然后不断平方，直到变为$a^{x 1}$。 如果在平方过程中变为1，且平方前不是1或x 1，则检测失败。 最后，根据费马小定理，若得数不是1，则检测失败。 用几个不同的质数a检测即可。 注意使用快速乘。 时间复杂度$O(log^2 x)$ 代 阅读全文
摘要：
BM算法，可以求一个数列的最短递推式。 采用增量法，依次考虑每个数： 若在这个位置上正确，则忽略； 否则，类似拉格朗日插值法，找一个满足在前面位置都为0，这个位置上不为0的递推式，进行修补。 每当我们遇到一个这样的位置时，我们都可以得到一个这样的递推式：用目前的递推式，在0位置（即这个位置上），增加 阅读全文