Solving satisfiability problems by the ground-state quantum computer

Physical Review A - Atomic, Molecular, and Optical Physics

Volumn 72, Issue 5, 2005, Pages

  Mao, Wenjin ^a,b  

^a STONY BROOK UNIVERSITY   (United States)

^b NONE   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER SYSTEMS; ENERGY GAP; PROBLEM SOLVING;

QUANTUM ALGORITHM; SAT PROBLEMS; SOLVE THE SATISFIABILITY (SAT);

QUANTUM THEORY;

EID: 28844484736     PISSN: 10502947     EISSN: 10941622     Source Type: Journal    
DOI: 10.1103/PhysRevA.72.052316     Document Type: Article

References (20)

1. P. Shor, in Proceedings of the 35th Annual Symposium on the Foundations of Computer Science, Los Alamitos, California, 1994, edited by, S. Goldwasser, (IEEE Computer Society Press, New York, 1994), p. 124.
2. L. K. Grover, Phys. Rev. Lett. PRLTAO 0031-9007 10.1103/PhysRevLett.79. 325 79, 325 (1997).
3. E. Farhi, J. Goldstone, S. Gutmann, J. Lapan, A. Lundgren, and D. Preda, Science SCIEAS 0036-8075 292, 472 (2001).
4. T. Hogg, Phys. Rev. A PLRAAN 1050-2947 10.1103/PhysRevA.67.022314 67, 022314 (2003).
5. M. R. Garey and D. S. Johnson, Computers and Intractability: A Guide to the Theory of NP-Completeness (Freeman, San Francisco, 1979).
6. D. S. Johnson and C. H. Papadimitriou, in The Traveling Salesman Problem, edited by, E. L. Lawler, J. K. Lenstra, A. H. G. Rinnooykan, and, D. B. Shmays, (Wiley, New York, 1985), p. 37.
7. S. Kirkpartrick and B. Selman, Science SCIEAS 0036-8075 264, 1297 (1994).
8. R. Monasson, R. Zecchina, S. Kirkpatrick, B. Selman, and L. Troyansky, Nature (London) NATUAS 0028-0836 10.1038/22055 400, 133 (1999).
9. G. Semerjian and R. Monasson, Phys. Rev. E PLEEE8 1063-651X 10.1103/PhysRevE.67.066103 67, 066103 (2003).
10. D. G. Mitchell, B. Selman, H. J. Levesque, in Proceedings of the 10th National Conference on Artificial Intelligence (American Association for Artificial Intelligence, Menlo Park, CA, 1992), p. 459.
11. A. Mizel, M. W. Mitchell, and M. L. Cohen, Phys. Rev. A PLRAAN 1050-2947 10.1103/PhysRevA.63.040302 63, 040302 (R) (2001).
12. A. Mizel, M. W. Mitchell, and M. L. Cohen, Phys. Rev. A PLRAAN 1050-2947 10.1103/PhysRevA.65.022315 65, 022315 (2002).
13. A. Mizel, Phys. Rev. A PLRAAN 1050-2947 10.1103/PhysRevA.70.012304 70, 012304 (2004).
14. W. Mao, Phys. Rev. A PLRAAN 1050-2947 10.1103/PhysRevA.71.060309 71, 060309 (R) (2005).
15. S. Lloyd, Science SCIEAS 0036-8075 10.1126/science.274.5290.1073 273, 1073 (1996).
16. E. Farhi and S. Gutmann, Phys. Rev. A PLRAAN 1050-2947 10.1103/PhysRevA.57.2403 57, 2403 (1998).
17. C. H. Bennett, E. Bernstein, G. Brassard, and U. Vazirani, e-print quant-ph/9701001.
18. A. Barenco, C. H. Bennett, R. Cleve, D. P. DiVincenzo, N. Margolus, P. Shor, T. Sleator, J. A. Smolin, and H. Weinfurter, Phys. Rev. A PLRAAN 1050-2947 10.1103/PhysRevA.52.3457 52, 3457 (1995).
19. E. Farhi, J. Goldstone, S. Gutmann, M. Sipser, e-print quant-ph/0001106.
20. J. Roland and N. J. Cerf, Phys. Rev. A PLRAAN 1050-2947 10.1103/PhysRevA.65.042308 65, 042308 (2002).