概率素数检测

（计算机科学技术）

概率素数检测（probabilistic primality testing），计算机科学技术名词，判定一个数是否素数的概率算法。其中由米勒（Miller）和拉宾（Rabin）在1980年完成的首个概率素数检测算法称为Miller-Rabin素数检测。由阿格拉沃尔（Agrawal）、卡亚勒（Kayal）和萨克塞纳（Saxena）在2002年完成的首个确定性多项式时间素数检测算法称为Agrawal-Kayal-Saxena素数检测。