This section focuses on the major models of quantum computation beyond the circuit model, and the equivalences among them.
Use the sequence below as the local map for this section. The circuit model developed in Quantum Circuits is one model among several; the others below are polynomially equivalent to it but expose different physics and different hardware. Quantum annealing appears here as a model, distinct from its use as an optimization heuristic in Optimization.