3
¿Puede Merlín convencer a Arthur sobre una cierta suma?
Merlín, que tiene recursos computacionales ilimitados, quiere convencer a Arthur de que m|∑p≤N, p primepkm|∑p≤N, p primepkm|\sum_{p\le N,\ p\text{ prime}}p^k para (N,m,k)(N,m,k)(N,m,k) con k=O(logN)k=O(logN)k=O(\log N) y m=O(N).m=O(N).m=O(N). Calcular esta suma de forma directa (exponenciación modular y suma) lleva tiempo N(loglogN)2+o(1)N(loglogN)2+o(1)N(\log\log N)^{2+o(1)} con multiplicación basada en FFT. * Pero Arthur solo …