AKS的变体，可以在formula_8次操作内完成测试（formula_9是被测试数）。对于原算法的formula_10边界而言，这是一个显着的改进。
演算法.整个演算法的操作如下：这里的 "ord"("n")是"n"mod"r"的阶。 另外，这里的"log" 代表以二为底的对数，formula_12则是"r"的欧拉函数。下面说明若"n"是个质数，那么算法总是会返回"质数"：由于"n"是质数，步骤1和3永远不会返回"合数"。步骤5也不会返回"合数"，因为(2)对所有质