We prove the equivalence between adiabatic quantum computation and quantum
computation in the circuit model. An explicit adiabatic computation procedure
is given that generates a ground state from which the answer can be extracted.
The amount of time needed is evaluated by computing the gap. We show that the
procedure is computationally efficient.Comment: 5 pages, 2 figures. v2: improved gap estimates and added some more
detail