Java BigInteger为什么说“可能是素数”而不是“肯定是素数”？

Question

BigInteger的JavaDoc使我感到非常不安全，例如以下构造函数说：

BigInteger(int bitLength, int certainty, Random rnd)

使用指定的bitLength构造一个随机生成的可能为素数的正BigInteger。

为什么只有可能？ 为什么不肯定呢？ 我仍然可以相信结果将是质数吗？

Answer 1

从BigInteger(int bitLength, int certainty, Random rnd)的文档中：

certainty ：确定呼叫者愿意容忍的不确定性。 新的BigInteger表示质数的概率将超过（1-½ ^确定性 ）。 该构造函数的执行时间与该参数的值成比例。

因此，构造函数可让您指定将其定为素数的确定性，这就是为什么文档说“可能”的原因

Answer 2

因为概率算法的运行速度比验证数字绝对是质数快得多。