判别给定的正整数是否素数简称素性判别。素性判别是数论中一个基本而古老的问题，对它的研究，不仅具有很大的理论意义，而且由于近代密码学的需要，更具有重要的应用价值。 对于大数的素性判别，目前Miller-Rabin算法应用最广泛，但这种算法只是一种概率算法，不过这种概率算法出错的概率是很小的。Maninadra　Agrawal 教授和他的两个

学生Neeraj　Kayal,Nitin　Saxena设计了一个被称为 AKS 的算法，，它是第一个多项式的、确定的、无需其他条件的素性判断算法，它的速度较慢，适用于对加密可靠性要求高的场合。