É sabido que os computadores quânticos são estritamente mais poderosos do que seus equivalentes clássicos em termos de complexidade de consultas .
Existem outros modelos (naturais ou artificiais) estritamente entre o quantum e o clássico em termos de complexidade da consulta?
A separação pode estar em
- problemas específicos: o modelo X calcula a função com estritamente mais consultas que quantum, mas menos consultas que o limite inferior no clássico ou
- problemas diferentes: o modelo X calcula a função com estritamente mais consultas que o quantum, mas calcula a função f 2 com menos consultas que a clássica.
Em ambos os casos, nós queremos para cada função ter Q 2 ( f ) ≤ X ( f ) ≤ R 2 ( f ) para evitar exemplos que são difíceis de comparar com quantum (como a complexidade certificado de consultas não-determinístico). Aqui Q 2 ( f ) (e R 2 ( f ) ) é a de dois lados 1 / 3 quântico -error (e randomizado clássica) consulta complexidade e as desigualdades estão dentro factores constantes.