Ahora se sabe que el adversario general de límite inferior caracteriza la complejidad de la consulta cuántica debido al trabajo innovador de Reichardt et al. La misma línea de trabajo también establece conexiones con el marco del programa span para diseñar algoritmos cuánticos.
Muchos algoritmos cuánticos interesantes, incluidos los que tienen una aceleración exponencial como el algoritmo de Simon y el algoritmo de Shor para la búsqueda de períodos, se pueden expresar en el modelo de consulta cuántica.
¿Hay algún trabajo que muestre límites inferiores para estos algoritmos en el modelo general de adversario? ¿Hay algún trabajo que derive los algoritmos de Simon o Shor en el marco del programa span?
Aparentemente, solo los algoritmos cuánticos con aceleración polinómica, como el de Grover, se han vuelto a derivar utilizando el marco de programas span (o el gráfico de aprendizaje de Belov).
Hay trabajos de Korian et al. mostrando límites inferiores para Simon usando el método polinomial, pero aparentemente no hay una forma conocida de traducir los límites inferiores del método polinomial a los límites inferiores del adversario general.