Merlin, que possui recursos computacionais ilimitados, quer convencer Arthur de que para com e O cálculo dessa soma da maneira direta (exponenciação e adição modular) leva tempo com multiplicação baseada em FFT. * Mas Arthur só pode executar operações . ( N , m , k )
(Notação, para compatibilidade com versões anteriores desta pergunta: Seja a soma igual a ; a questão é se é um número inteiro.)α
Merlin pode convencer Arthur com uma sequência de comprimento ? Caso contrário, ele pode convencer Arthur com uma prova interativa (a comunicação total, é claro, deve ser )? Nesse caso, Merlin poderia usar uma sequência de comprimento ? Arthur poderia usar tempo?O ( N ) o ( N ) o ( N )
Arthur não tem acesso ao não-determinismo ou outras ferramentas especiais (métodos quânticos, oráculos que não sejam Merlin, etc.), mas possui espaço , se necessário. É claro que Arthur não precisa calcular a soma diretamente, ele apenas precisa estar convencido de que um dado triplo (N, m, k) torna a equação verdadeira ou falsa.
Observe que com é possível calcular a soma no tempo usando o método Lagarias-Odlyzko . Para a soma é superlinear e, portanto, não pode ser armazenada diretamente (sem, por exemplo, redução modular), mas não está claro se existe um algoritmo rápido.O ( N 1 / 2 + ε )
Eu também estaria interessado em qualquer algoritmo para calcular a soma (modular ou não), além da alimentação direta e adição.
* números para calcular, tempo para cada cálculo.