On the Hamiltonian Operators for Adiabatic Quantum Reduction of SAT

  • William Cruz-Santos
  • Guillermo Morales-Luna
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6031)


We study the Hamiltonians resulting from the Adiabatic Quantum Computing treatment of the Satisfiability Problem SAT. We provide respective procedures for explicit calculation of the involved Hamiltonians. The statement of the ending Hamiltonians allows us to pose a variant of SAT which is also NP-complete.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Aharonov, D., van Dam, W., Kempe, J., Landau, Z., Lloyd, S., Regev, O.: Adiabatic quantum computation is equivalent to standard quantum computation. SIAM J. Comput. 37(1), 166–194 (2007)zbMATHCrossRefMathSciNetGoogle Scholar
  2. 2.
    Dam, W.V., Mosca, M., Vazirani, U.: How powerful is adiabatic quantum computation? In: FOCS 2001: Proceedings of the 42nd IEEE symposium on Foundations of Computer Science, Washington, DC, USA, p. 279. IEEE Computer Society, Los Alamitos (2001)Google Scholar
  3. 3.
    Farhi, E., Goldstone, J., Gutmann, S., Lapan, J., Lundgren, A., Preda, D.: A quantum adiabatic evolution algorithm applied to random instances of an NP-complete problem. Science 292(5516), 472–475 (2001); Also arXiv:quant-ph/0104129v1CrossRefMathSciNetGoogle Scholar
  4. 4.
    Farhi, E., Goldstone, J., Gutmann, S., Sipser, M.: Quantum computation by adiabatic evolution (2000), arXiv:quant-ph/0001106v1Google Scholar
  5. 5.
    Hogg, T.: Solving random satisfiability problems with quantum computers (2001), arXiv:quant-ph/0104048Google Scholar
  6. 6.
    Hogg, T.: Adiabatic quantum computing for random satisfiability problems (2002), arXiv:quant-ph/0206059Google Scholar
  7. 7.
    Leporati, A., Felloni, S.: Three “quantum” algorithms to solve 3-SAT. Theor. Comput. Sci. 372(2-3), 218–241 (2007)zbMATHCrossRefMathSciNetGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • William Cruz-Santos
    • 1
  • Guillermo Morales-Luna
    • 1
  1. 1.Computer Science DepartmentCinvestav-IPNMexico CityMexico

Personalised recommendations