Sabe-se agora que o limite inferior do adversário geral caracteriza a complexidade da consulta quântica devido ao trabalho inovador de Reichardt et al. A mesma linha de trabalho também estabelece conexões com a estrutura do programa span para projetar algoritmos quânticos.
Muitos algoritmos quânticos interessantes, incluindo aqueles com aceleração exponencial como o algoritmo de Simon e o algoritmo de Shor para encontrar períodos, podem ser expressos no modelo de consulta quântica.
Existe algum trabalho mostrando limites inferiores para esses algoritmos no modelo geral de adversários? Existe algum trabalho derivando os algoritmos de Simon ou Shor na estrutura do programa span?
Aparentemente, apenas algoritmos quânticos com aceleração polinomial, como os de Grover, foram re-derivados usando a estrutura de programas de extensão (ou gráfico de aprendizado de Belov).
Há trabalho de Korian et al. mostrando limites inferiores para Simon usando o método polinomial, mas aparentemente não há uma maneira conhecida de converter limites inferiores do método polinomial para limites inferiores do adversário geral.