Bekerja secara langsung dengan kompleksitas waktu atau batas bawah sirkuit menakutkan. Karenanya, kami mengembangkan alat seperti kompleksitas kueri (atau kompleksitas pohon keputusan) untuk menangani batasan yang lebih rendah. Karena setiap kueri mengambil setidaknya satu langkah unit, dan perhitungan antara kueri dihitung sebagai bebas, kompleksitas waktu paling tidak setinggi kompleksitas kueri. Namun, bisakah kita mengatakan sesuatu tentang pemisahan?
Saya ingin tahu tentang karya dalam literatur klasik, atau kuantum, tetapi memberikan contoh dari QC karena saya lebih akrab.
Beberapa algoritma terkenal seperti pencarian Grover dan penemuan periode Shor, kompleksitas waktu berada dalam faktor-faktor poli-logaritmik dari kompleksitas kueri. Untuk yang lain, seperti Masalah Subkelompok Tersembunyi, kami memiliki kompleksitas kueri polinomial , namun algoritma waktu polinomial tidak diketahui.
Karena ada celah yang berpotensi antara kompleksitas waktu dan kueri, tidak jelas bahwa algoritma kompleksitas waktu yang optimal harus memiliki kompleksitas kueri yang sama dengan algoritma kompleksitas kueri yang optimal.
Apakah ada contoh kompromi antara kompleksitas waktu dan kueri?
Apakah ada masalah di mana algoritma kompleksitas waktu yang paling dikenal memiliki kompleksitas kueri yang berbeda dari algoritma kompleksitas kueri yang paling dikenal? Dengan kata lain, dapatkah kita melakukan lebih banyak kueri untuk membuat operasi antar-kueri lebih mudah?
Atau adakah argumen yang menunjukkan bahwa selalu ada versi algoritma permintaan optimal asimptotik yang memiliki implementasi dengan kompleksitas waktu terbaik asimptotik?