kfc315的博客

《PRIMES is in P》论文，描述了一种确定性的、无条件的、多项式时间素判定算法（即 AKS）。

Brad Appleton took the time to convert the original textual version to hypertext, and I thank him for the this encouragement. This paper grew out of some postings made on usenet, specifically comp.object, in 1997. There was some response, which was incorporated from its many sources, and it is presented here in entirety, enhanced a bit. There have been some interesting changes in the world since then. We now have excellent refactoring tools in our editors, so changing the names of objects, classes, methods, and variables has never been easier. With naming an easily reversable act, the naming system of a program is more fluid than at any other point in software history. This is a good thing. Now there is no need to leave poor names in place.