Quantum computing and phase transitions in combinatorial search

Journal of Artificial Intelligence Research

Volumn 4, Issue , 1996, Pages 91-128

  Hogg, Tad ^a  

^a PALO ALTO RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMBINATORIAL MATHEMATICS; COMPUTATIONAL COMPLEXITY; COMPUTERS; CONSTRAINT THEORY;

COMBINATORIAL SEARCH; QUANTUM ALGORITHM; QUANTUM COMPUTERS;

ALGORITHMS;

EID: 0029679016     PISSN: 10769757     EISSN: None     Source Type: Journal    
DOI: 10.1613/jair.204     Document Type: Article

References (56)

1. Barenco, A., Deutsch, D., & Ekert, A. (1995). Conditional quantum dynamics and logic gates. Physical Review Letters, 74, 4083-4086.
2. Benioff, P. (1982). Quantum mechanical hamiltonian models of Turing machines. J. Stat. Phys., 29, 515-546.
3. Bennett, C. H. (1992). Quantum cryptography: Uncertainty in the service of privacy. Science, 257, 752-753.
4. Bernstein, E., & Vazirani, U. (1993). Quantum complexity theory. In Proc. 25th ACM Symp. on Theory of Computation, pp. 11-20.
5. Berthiaume, A., Deutsch, D., & Jozsa, R. (1994). The stabilization of quantum computations. In Proc. of the Workshop on Physics and Computation (PhysComp94), pp. 60-62 Los Alamitos, CA. IEEE Press.
6. Cerny, V. (1993). Quantum computers and intractable (NP-complete) computing problems. Physical Review A, 48, 116-119.
7. Cheeseman, P., Kanefsky, B., & Taylor, W. M. (1991). Where the really hard problems are. In Mylopoulos, J., & Reiter, R. (Eds.), Proceedings of IJCAI91, pp. 331-337 San Mateo, CA. Morgan Kaufmann.
8. Chuang, I. L., Laflamme, R., Shor, P. W., & Zurek, W. H. (1995). Quantum computers, factoring and decoherence. Science, 270, 1633-1635.
9. Cirac, J. L, & Zoller, P. (1995). Quantum computations with cold trapped ions. Physical Review Letters, 74, 4091-4094.
10. Crawford, J. M., & Auton, L. D. (1993). Experimental results on the cross-over point in satisfiability problems. In Proc. of the 11th Natl. Conf. on Artificial Intelligence (AAAI93), pp. 21-27 Menlo Park, CA. AAAI Press.
11. Deutsch, D. (1985). Quantum theory, the Church-Turing principle and the universal quantum computer. Proc. R. Soc. London A, 400, 97-117.
12. Deutsch, D. (1989). Quantum computational networks. Proc. R. Soc. Lond., A425, 73-90.
13. Dirac, P. A. M. (1958). The Principles of Quantum Mechanics (4th edition). Oxford.
14. DiVincenzo, D. P. (1995). Quantum computation. Science, 270, 255-261.
15. DiVincenzo, D. P., & Smolin, J. (1994). Results on two-bit gate design for quantum computers. In Proc. of the Workshop on Physics and Computation (PhysComp94), pp. 14-23 Los Alamitos, CA. IEEE Press.
16. Drexler, K. E. (1992). Nanosystems: Molecular Machinery, Manufacturing, and Computation. John Wiley, NY.
17. Eigler, D. M., & Schweizer, E. K. (1990). Positioning single atoms with a scanning tunnelling microscope. Nature, 344, 524-526.
18. Ekert, A., & Jozsa, R. (1995). Shor's quantum algorithm for factorising numbers. Rev. Mod. Phys. to appear.
19. Feynman, R. P. (1986). Quantum mechanical computers. Foundations of Physics, 16, 507-531.
20. Feynman, R. P. (1985). QED: The Strange Theory of Light and Matter. Princeton Univ. Press, NJ.
21. Freuder, E. C., & Wallace, R. J. (1992). Partial constraint satisfaction. Artificial Intelligence, 58, 21-70.
22. Garey, M. R., & Johnson, D. S. (1979). A Guide to the Theory of NP-Completeness. W. H. Freeman, San Francisco.
23. Gent, I. P., & Walsh, T. (1995). The TSP phase transition. Tech. rep. 95-178, Dept. of Computer Science, Univ. of Strathclyde.
24. Golub, G. H., & Loan, C. F. V. (1983). Matrix Computations. John Hopkins University Press, Baltimore, MD.
25. Hogg, T. (1994). Phase transitions in constraint satisfaction search. A World Wide Web page with URL ftp://parcftp.xerox.com/pub/dynamics/constraints.html.
26. Hogg, T. (1996). Refining the phase transitions in combinatorial search. Artificial Intelligence, 81, 127-154.
27. Hogg, T., Huberman, B. A., & Williams, C. (1996). Phase transitions and the search problem. Artificial Intelligence, 81, 1-15.
28. Hogg, T., & Williams, C. P. (1994). The hardest constraint problems: A double phase transition. Artificial Intelligence, 69, 359-377.
29. Jozsa, R. (1992). Computation and quantum superposition. In Proc. of the Physics of Computation Workshop. IEEE Computer Society.
30. Karlin, S., & Taylor, H. M. (1975). A First Course in Stochastic Processes (2nd edition). Academic Press, NY.
31. Kimber, D. (1992). An introduction to quantum computation. Tech. rep., Xerox PARC.
32. Kirkpatrick, S., Gelatt, C. D., & Vecchi, M. P. (1983). Optimization by simulated annealing. Science, 220, 671-680.
33. Landauer, R. (1991). Information is physical. Physics Today, 44(5), 23-29.
34. Landauer, R. (1994). Is quantum mechanically coherent computation useful? In Feng, D. H., & Hu, B.-L. (Eds.), Proc. of the Drexel-4 Symposium on Quantum Nonintegrability. International Press.
35. Lloyd, S. (1993). A potentially realizable quantum computer. Science, 261, 1569-1571.
36. Lloyd, S. (1995). Quantum-mechanical computers. Scientific American, 273(4), 140-145.
37. Mackworth, A. (1992). Constraint satisfaction. In Shapiro, S. (Ed.), Encyclopedia of Artificial Intelligence, pp. 285-293. Wiley.
38. Margolus, N. (1990). Parallel quantum computation. In Zurek, W. H. (Ed.), Complexity, Entropy and the Physics of Information, pp. 273-287. Addison-Wesley, New York.
39. Minton, S., Johnston, M. D., Philips, A. B., & Laird, P. (1992). Minimizing conflicts: A heuristic repair method for constraint satisfaction and scheduling problems. Artificial Intelligence, 58, 161-205.
40. Mitchell, D., Selman, B., & Levesque, H. (1992). Hard and easy distributions of SAT problems. In Proc. of the 10th Natl. Conf. on Artificial Intelligence (AAAI92), pp. 459-465 Menlo Park. AAAI Press.
41. Motwani, R., & Raghavan, P. (1995). Randomized Algorithms. Cambridge University Press.
42. Muller, W. T., Klein, D. L., Lee, T., Clarke, J., McEuen, P. L., & Schultz, P. G. (1995). A strategy for the chemical synthesis of nanostructures. Science, 268, 272-273.
43. Pemberton, J. C., & Zhang, W. (1996). Epsilon-transformation: Exploiting phase transitions to solve combinatorial optimization problems. Artificial Intelligence, 81, 297-325.
44. Presser, P. (1996). An empirical study of phase transitions in binary constraint satisfaction problems. Artificial Intelligence, 81, 81-109.
45. Schrag, R., & Crawford, J. (1996). Implicates and prime implicates in random 3-SAT. Artificial Intelligence, 81, 199-222.
46. Selman, B., Levesque, H., & Mitchell, D. (1992). A new method for solving hard satisfiability problems. In Proc. of the 10th Natl. Conf. on Artificial Intelligence (AAAI92), pp. 440-446 Menlo Park, CA. AAAI Press.
47. Shen, T. C., Wang, C., Abeln, G. C., Tucker, J. R., Lyding, J. W., Avouris, P., & Walkup, R. E. (1995). Atomic-scale desorption through electronic and vibrational excitation mechanisms. Science, 268, 1590-1592.
48. Shor, P. W. (1994). Algorithms for quantum computation: Discrete logarithms and factoring. In Goldwasser, S. (Ed.), Proc. of the 35th Symposium on Foundations of Computer Science, pp. 124-134. IEEE Press.
49. Sleator, T., & Weinfurter, H. (1995). Realizable universal quantum logic gates. Physical Review Letters, 74, 4087-4090.
50. Smith, B. M., & Dyer, M. E. (1996). Locating the phase transition in binary constraint satisfaction problems. Artificial Intelligence, 81, 155-181.
51. Svozil, K. (1995). Quantum computation and complexity theory I. Bulletin of the European Association of Theoretical Computer Sciences, 55, 170-207.
52. Unruh, W. G. (1995). Maintaining coherence in quantum computers. Physical Review A, 41, 992.
53. Williams, C. P., & Hogg, T. (1994). Exploiting the deep structure of constraint problems. Artificial Intelligence, 70, 73-117.
54. Wolfram, S. (1991). Mathematica: A System for Doing Mathematics by Computer (2nd edition). Addison-Wesley, NY.
55. Zhang, W., & Korf, R. E. (1996). A unified view of complexity transitions on the travelling salesman problem. Artificial Intelligence, 81, 223-239.
56. Zhu, L., Kleiman, V., Li, X., Lu, S. P., Trentelman, K., & Gordon, R. J. (1995). Coherent laser control of the product distribution obtained in the photoexcitation of HI. Science, 270, 77-80.