3
Può Merlino convincere Arthur di una certa somma?
Merlino, che ha risorse computazionali illimitate, vuole convincere Arthur che per con e Il calcolo di questa somma in modo semplice (esponenziazione modulare e addizione) richiede tempo con moltiplicazione basata su FFT. * Ma Arthur può eseguire solo operazioni .m|∑p≤N, p primepkm|∑p≤N, p primepkm|\sum_{p\le N,\ p\text{ prime}}p^k(N,m,k)(N,m,k)(N,m,k)k=O(logN)k=O(logN)k=O(\log N)m=O(N).m=O(N).m=O(N).N(loglogN)2+o(1)N(loglogN)2+o(1)N(\log\log N)^{2+o(1)}O(N)O(N)O(N) (Notazione, …