| |
| | Mathematical Programming Society Fulkerson Prize Citation |
 | | Manindra Agrawal, Neeraj Kayal and Nitin Saxena, "PRIMES is in P", Annals of Mathematics, Volume 160, issue 2, 2004, Pages 781--793. |
 | | The existence of short certificates for both compositeness and primality was known since the 70's and suggested that primality testing might be in P. Yet, despite numerous efforts and a flurry of algorithms, it was not until 2002 that Agrawal, Kayal and Saxena devised the first deterministic polynomial-time algorithm for primality testing. |
 | | It shows, for example, that embeddability in any fixed surface can be characterized by a finite list of excluded minors, or that the disjoint paths problem can be solved in polynomial time for a fixed number of terminals. |
| www.mathprog.org /prz/citations/fulkerson_2006.htm (491 words) |
|