Quantum-circuit model of Hamiltonian search algorithms (6 pages)