There are different theoretical models for quantum computing like the circuit model or the model of adiabatic quantum computers.
Between which of these models exist polynomial-time reductions?
Note that this question does not aim to cover physical implementations of quantum computers which are already discussed here.