No modelo de caixa preta, o problema de determinar a saída de uma máquina BPP na entrada é o problema de contagem aproximado de determinar com erro aditivo 1/3 (digamos).
Existe um problema semelhante para o BQP? Este comentário de Ken Regan sugere um problema
Você pode reduzir uma questão BPP para aproximar uma única função #P, mas com BQP que você recebe é a diferença de duas funções #P, chamá-los de e . Aproximando e separadamente não ajudá-lo aproximado quando é quase zero!
O BQP fornece uma pequena ajuda: quando a resposta à pergunta do BQP em uma entrada é sim, você obtém que está próximo da raiz quadrada de , onde a contagem predica a definição e têm m variáveis binárias após você substituir . (Não há barras de valor absoluto; “magicamente” você sempre obtém . Sob representações comuns de circuitos quânticos para BQP, se torna o número de portas Hadamard.) Quando a resposta é não, a a diferença é próxima de 0.
Você pode formular com precisão esse problema o mais próximo possível do BQP? Espero algo como: dado acesso à caixa preta para as funções mapeando para , com a promessa de que ..., estime para dentro de .