AKS素数判定法(-そすうはんていほう)は、与えられた自然数が素数であるかどうかを決定的多項式時間で判定できる、世界初のアルゴリズムである。ここで、素数判定法が多項式時間であるとは、与えられた自然数 <math>n</math> が素数であるかどうかを判定するのにかかる時間が<math>\\log(n)</math> の多項式を上界とすることをいう。<math>n</math> の多項式ではないことに注意する必要がある。AKS素数判定法は2002年8月6日に \"PRIMES is in P\" と題された論文で発表された。Agrawal-Kayal-Sa......
AKS素数判定法(-そすうはんていほう)は、与えられた自然数が素数であるかどうかを決定的多項式時間で判定できる、世界初のアルゴリズムである。ここで、素数判定法が多項式時間であるとは、与えられた自然数 <math>n</math> が素数であるかどうかを判定するのにかかる時間が<math>\\log(n)</math> の多項式を上界とすることをいう。<math>n</math> ......