Essa questão surgiu no contexto da criptografia, mas a seguir apresentarei em termos da teoria da complexidade, uma vez que as pessoas aqui estão mais familiarizadas com a última. Esta pergunta está relacionada a Problemas no NP, mas não na Média-P / poli e Não- uniformidade de batimento do Oracle Access .
Declaração informal: Quando adversários não uniformes (família de circuitos de tamanho poligonal) conseguem quebrar um esquema criptográfico, mas adversários uniformes (máquinas de Turing probabilísticas de poli-tempo) não conseguem?
Declaração teórica da complexidade: Esta não é exatamente a mesma que a declaração informal acima, mas estou realmente interessado nesta versão:
Em que problemas naturais se encontram ?
Em outras palavras, o hard-on-médios naturais problemas podem ser resolvidos pela família de tamanho poli-de circuitos?
A palavra resolvida pode ser interpretada como o pior caso ou o caso médio (o último é o preferido).
Se problemas naturais não podem ser facilmente encontrados, problemas artificiais também são aceitáveis.