众所周知，素性检验一般需要相对于输入长度为指数级的时间算法。 本论文成功运用数学知识开发出了多项式算法。