2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/137342We 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.5 pages, 2 figures. v2: improved gap estimates and added some more detailsQuantum Physicstext