Dado que el problema de P ≟ PSPACE aún no ha sido resuelto, se supone que la demostración de la desigualdad estricta entre estas clases y BQP es difícil.