全称Agrawal–Kayal–Saxena算法
一个长期被认为很不像P问题的NP问题——素性判断，被证明是P问题
不过可惜的是素性判断应当不是NPC问题
不过如果能证明是NPC问题，那么NP/P问题就被解决了
先MARK下，过后好好研究
可以参阅
matrix67blog：234