Kvantinio sudėtingumo teorijos srityje klasė BQP (Bounded Error Quantum Polynomial Time) apibrėžiama kaip sprendimų problemų rinkinys, kurį kvantinis kompiuteris gali išspręsti daugianario laiku su ribota klaidos tikimybe. Norėdami apibrėžti kalbą L, kuri turi būti BQP, turime tai parodyti