where H B i shows the Hamiltonian corresponding to the clause C i . Usually, the choice of H B i won't depend on different clauses, so only the total number of times each bit is involved in all clauses matters. Next, it goes through an adiabatic evolution, ending in the Problem Hamiltonian H P :