Batas bawah musuh umum sekarang dikenal untuk mengkarakterisasi kompleksitas kueri kuantum karena karya terobosan oleh Reichardt et al. Garis pekerjaan yang sama juga membangun koneksi ke kerangka program rentang untuk merancang algoritma kuantum.
Banyak algoritma kuantum yang menarik, termasuk yang dengan kecepatan eksponensial seperti algoritma Simon dan algoritma Shor untuk pencarian periode dapat diekspresikan dalam model kueri kuantum.
Apakah ada pekerjaan yang menunjukkan batas bawah untuk algoritma ini dalam model musuh umum? Apakah ada pekerjaan yang menurunkan algoritma Simon atau Shor dalam kerangka rentang-program?
Rupanya, hanya algoritma kuantum dengan percepatan polinomial, seperti Grover, yang diturunkan menggunakan kerangka program rentang (atau grafik pembelajaran Belov).
Ada pekerjaan oleh Korian et al. menunjukkan batas bawah untuk Simon menggunakan metode polinomial, tetapi tampaknya tidak ada cara yang diketahui untuk menerjemahkan metode polinomial batas bawah ke batas bawah musuh umum.