{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,14]],"date-time":"2026-01-14T16:55:07Z","timestamp":1768409707476,"version":"3.49.0"},"reference-count":58,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2011,6,30]],"date-time":"2011-06-30T00:00:00Z","timestamp":1309392000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Cogn Comput"],"published-print":{"date-parts":[[2011,12]]},"DOI":"10.1007\/s12559-011-9103-6","type":"journal-article","created":{"date-parts":[[2011,6,30]],"date-time":"2011-06-30T01:26:39Z","timestamp":1309397199000},"page":"510-524","source":"Crossref","is-referenced-by-count":8,"title":["Problem-solving and Quantum Computation"],"prefix":"10.1007","volume":"3","author":[{"given":"Lu\u00eds","family":"Tarrataca","sequence":"first","affiliation":[]},{"given":"Andreas","family":"Wichert","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2011,6,30]]},"reference":[{"key":"9103_CR1","doi-asserted-by":"crossref","unstructured":"Busemeyer JR, Wang Z, Townsend JT. Quantum dynamics of human decision-making. J Math Psychol. 2006;50(3):220\u2013 241 (Jean-Claude Falmagne: Part II).","DOI":"10.1016\/j.jmp.2006.01.003"},{"key":"9103_CR2","unstructured":"Busemeyer JR, Trueblood J. Comparison of Quantum and Bayesian Inference Models. In: Bruza P, Sofge D, Lawless W, van Rijsbergen K, Klusch M, editors. Quantum interaction. Volume 5494 of Lecture Notes in Computer Science. Berlin: Springer; 2009. pp. 29\u201343. 10.1007\/978-3-642-00834-4-5."},{"key":"9103_CR3","doi-asserted-by":"crossref","unstructured":"Busemeyer JR, Wang Z, Lambert-Mogiliansky A. Empirical comparison of Markov and quantum models of decision making. J Math Psychol. 2009;53(5):423\u2013433 (Special Issue: Quantum Cognition).","DOI":"10.1016\/j.jmp.2009.03.002"},{"key":"9103_CR4","doi-asserted-by":"crossref","unstructured":"Pothos EM, Busemeyer JR. A quantum probability explanation for violations of \u2018rational\u2019 decision theory. Proc R Soc B Biol Sci. 2009.","DOI":"10.1098\/rspb.2009.0121"},{"key":"9103_CR5","unstructured":"Trueblood J, Busemeyer JR. A comparison of the belief-adjustment model and the quantum inference model as explanations of order effects in human inference. In: COGSCI 2010 the annual meeting of the cognitive science society; 2010. pp. 1166\u20131171."},{"key":"9103_CR6","unstructured":"Luger GF, Stubblefield WA. Artificial intelligence: structures and strategies for complex problem solving: second edition. The Benjamin\/Cummings Publishing Company Inc; 1993."},{"key":"9103_CR7","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1016\/S0004-3702(01)00129-1","volume":"134","author":"M Campbell","year":"2002","unstructured":"Campbell M, Hoane Jr AJ, Hsu Fh. Deep blue. Artif Intell. 2002;134:57\u201383","journal-title":"Artif Intell"},{"key":"9103_CR8","unstructured":"Manin YI. Classical computing, quantum computing, and Shor\u2019s factoring algorithm. ArXiv Quantum Physics e-prints; 1999."},{"key":"9103_CR9","doi-asserted-by":"crossref","first-page":"162","DOI":"10.1016\/j.artint.2009.11.009","volume":"174","author":"M Ying","year":"2010","unstructured":"Ying M. Quantum computation, quantum theory and AI. Artif Intell. 2010;174:162\u2013176.","journal-title":"Artif Intell"},{"key":"9103_CR10","doi-asserted-by":"crossref","first-page":"197","DOI":"10.2307\/2371809","volume":"65","author":"E Post","year":"1943","unstructured":"Post E. Formal reductions of the general combinatorial problem. Am J Math. 1943;65:197\u2013268.","journal-title":"Am J Math"},{"key":"9103_CR11","volume-title":"Programming expert systems in OPS5: an introduction to rule-based programming","author":"L Brownston","year":"1985","unstructured":"Brownston L, Farell R, Kant E, Martin N. Programming expert systems in OPS5: an introduction to rule-based programming. Boston: Addison-Wesley; 1985."},{"key":"9103_CR12","unstructured":"Newell A, Shaw JC, Simon HA. Report on a general problem-solving program. In: Proceedings of the international conference on information processing; 1959. pp. 256\u2013264."},{"key":"9103_CR13","unstructured":"Newell A. A guide to the general problem-solver program GPS-2-2. Santa Monica, CA, USA: RAND Corporation; 1963 (RM-3337-PR)."},{"key":"9103_CR14","volume-title":"GPS: a case study in generality and problem solving","author":"GW Ernst","year":"1969","unstructured":"Ernst GW, Newell A. GPS: a case study in generality and problem solving. USA: Academic Press; 1969."},{"key":"9103_CR15","volume-title":"Human problem solving. 1st ed","author":"A Newell","year":"1972","unstructured":"Newell A, Simon HA. Human problem solving, 1st ed. Upper Saddle River: Prentice Hall; 1972."},{"key":"9103_CR16","volume-title":"The architecture of cognition","author":"JR Anderson","year":"1983","unstructured":"Anderson JR. The architecture of cognition. Cambridge: Harvard University Press; 1983."},{"issue":"1","key":"9103_CR17","first-page":"11","volume":"1","author":"JE Laird","year":"1986","unstructured":"Laird JE, Rosenbloom PS, Newell A. Chunking in soar: the anatomy of a general learning mechanism. Mach Learn. 1986;1(1):11\u201346.","journal-title":"Mach Learn"},{"issue":"1","key":"9103_CR18","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(87)90050-6","volume":"33","author":"JE Laird","year":"1987","unstructured":"Laird JE, Newell A, Rosenbloom PS. SOAR: an architecture for general intelligence. Artif Intell. 1987;33(1):1\u201364.","journal-title":"Artif Intell"},{"key":"9103_CR19","unstructured":"Markov A (1954) A theory of algorithms. USSR: National Academy of Sciences."},{"issue":"2","key":"9103_CR20","first-page":"230","volume":"42","author":"AM Turing","year":"1936","unstructured":"Turing AM. On computable numbers, with an application to the Entscheidungsproblem. Proc Lond Math Soc. 1936;42(2):230\u2013265","journal-title":"Proc Lond Math Soc"},{"key":"9103_CR21","volume-title":"Human problem solving","author":"A Newell","year":"1972","unstructured":"Newell A, Simon HA. Human problem solving. Upper Saddle River: Prentice-Hall; 1972."},{"key":"9103_CR22","volume-title":"The architecture of cognition","author":"JR Anderson","year":"1983","unstructured":"Anderson JR. The architecture of cognition. Harvard: Harvard University Press; 1983."},{"key":"9103_CR23","volume-title":"Expert systems: techniques, tools and applications","author":"P Klahr","year":"1986","unstructured":"Klahr P, Waterman DA. Expert systems: techniques, tools and applications. USA: Addison-Wesley; 1986."},{"key":"9103_CR24","volume-title":"Unified theories of cognition","author":"A Newell","year":"1990","unstructured":"Newell A. Unified theories of cognition. Harvard: Harvard University Press; 1990."},{"key":"9103_CR25","volume-title":"The tree prune (TP) algorithm. Artificial Intelligence project memo 30","author":"TP Hart","year":"1961","unstructured":"Hart TP, Edwards DJ. The tree prune (TP) algorithm. Artificial Intelligence project memo 30. Cambridge: Massschusetts Institute of Technology; 1961."},{"key":"9103_CR26","doi-asserted-by":"crossref","unstructured":"Shor PW. Algorithms for quantum computation: discrete logarithms and factoring. In: Proceedings 35th annual symposium on foundations of computer science; 1994. pp. 124\u2013134.","DOI":"10.1109\/SFCS.1994.365700"},{"key":"9103_CR27","doi-asserted-by":"crossref","unstructured":"Grover LK. A fast quantum mechanical algorithm for database search. In: STOC \u201996. Proceedings of the twenty-eighth annual ACM symposium on theory of computing. New York, NY, USA: ACM; 1996. pp. 212\u2013219.","DOI":"10.1145\/237814.237866"},{"issue":"1-2","key":"9103_CR28","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(95)00044-5","volume":"81","author":"T Hogg","year":"1996","unstructured":"Hogg T, Huberman BA, Williams CP. Phase transitions and the search problem. Artif Intell. 1996;81(1-2):1\u201315.","journal-title":"Artif Intell"},{"issue":"1","key":"9103_CR29","first-page":"91","volume":"4","author":"T Hogg","year":"1996","unstructured":"Hogg T. Quantum computing and phase transitions in combinatorial search. J Artif Int Res 1996;4(1):91\u2013128.","journal-title":"J Artif Int Res"},{"key":"9103_CR30","doi-asserted-by":"crossref","first-page":"102","DOI":"10.1016\/S0167-2789(98)00047-5","volume":"120","author":"T Hogg","year":"1998","unstructured":"Hogg T. A framework for structured quantum search. PHYSICA D. 1998;120:102.","journal-title":"PHYSICA D."},{"issue":"5","key":"9103_CR31","doi-asserted-by":"crossref","first-page":"052311","DOI":"10.1103\/PhysRevA.61.052311","volume":"61","author":"T Hogg","year":"2000","unstructured":"Hogg T. Quantum search heuristics. Phys Rev A. 2000;61(5):052311.","journal-title":"Phys Rev A"},{"issue":"6","key":"9103_CR32","doi-asserted-by":"crossref","first-page":"467","DOI":"10.1007\/BF02650179","volume":"21","author":"RP Feynman","year":"1982","unstructured":"Feynman RP. Simulating physics with computers. Int J Theor Phys. 1982;21(6):467\u2013488.","journal-title":"Int J Theor Phys"},{"issue":"6","key":"9103_CR33","doi-asserted-by":"crossref","first-page":"507","DOI":"10.1007\/BF01886518","volume":"16","author":"RP Feynman","year":"1986","unstructured":"Feynman RP. Quantum mechanical computers. Found Phys. 1986;16(6):507\u2013531.","journal-title":"Found Phys"},{"key":"9103_CR34","doi-asserted-by":"crossref","unstructured":"Deutsch D. Quantum theory, the Church-Turing principle and the universal quantum computer. Proc R Soc Lond Ser A Math Phys Sci. 1985;400:97\u2013117.","DOI":"10.1098\/rspa.1985.0070"},{"key":"9103_CR35","doi-asserted-by":"crossref","unstructured":"Deutsch D. Quantum computational networks. In: Proc R Soc Lond A. 1989;425:73\u201390.","DOI":"10.1098\/rspa.1989.0099"},{"key":"9103_CR36","doi-asserted-by":"crossref","first-page":"525","DOI":"10.1147\/rd.176.0525","volume":"17","author":"CH Bennett","year":"1973","unstructured":"Bennett CH. Logical reversibility of computation. IBM J Res Dev. 1973;17:525\u2013532.","journal-title":"IBM J Res Dev"},{"issue":"2","key":"9103_CR37","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1016\/S0022-0000(77)80007-X","volume":"15","author":"T Toffoli","year":"1977","unstructured":"Toffoli T. Computation and construction universality of reversible cellular automata. J Comput Syst Sci. 1977;15(2):213\u2013231.","journal-title":"J Comput Syst Sci"},{"key":"9103_CR38","doi-asserted-by":"crossref","unstructured":"Toffoli T. Reversible computing. In: Proceedings of the 7th colloquium on automata, languages and programming. London: Springer; 1980. pp. 632\u2013644.","DOI":"10.1007\/3-540-10003-2_104"},{"key":"9103_CR39","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1007\/BF01857727","volume":"21","author":"E Fredkin","year":"1982","unstructured":"Fredkin E, Toffoli T. Conservative logic. Int J Theor Phys. 1982;21:219\u2013253.","journal-title":"Int J Theor Phys"},{"key":"9103_CR40","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-09636-9","volume-title":"Quantum computing","author":"M Hirvensalo","year":"2004","unstructured":"Hirvensalo M. Quantum computing. Berlin: Springer; 2004."},{"key":"9103_CR41","volume-title":"Logic and computer design fundamentals: 2nd edition","author":"MM Mano","year":"2002","unstructured":"Mano MM, Kime CR. Logic and computer design fundamentals: 2nd edition. Upper Saddle River: Prentice Hall; 2002."},{"key":"9103_CR42","doi-asserted-by":"crossref","unstructured":"Toffoli T (1980) Reversible computing. Massschusetts Institute of Technology, Laboratory for Computer Science.","DOI":"10.21236\/ADA082021"},{"key":"9103_CR43","volume-title":"An introduction to quantum computing","author":"PR Kaye","year":"2007","unstructured":"Kaye PR, Laflamme R, Mosca M. An introduction to quantum computing. Oxford: Oxford University Press; 2007."},{"key":"9103_CR44","doi-asserted-by":"crossref","unstructured":"Dirac PAM. A new notation for quantum mechanics. In: Proceedings of the Cambridge Philosophical Society, vol. 35; 1939. pp. 416\u2013418.","DOI":"10.1017\/S0305004100021162"},{"key":"9103_CR45","volume-title":"The principles of quantum mechanics\u2014volume 27 of international series of monographs on physics (Oxford, England) Oxford science publications","author":"PAM Dirac","year":"1981","unstructured":"Dirac PAM. The principles of quantum mechanics\u2014volume 27 of international series of monographs on physics (Oxford, England) Oxford science publications. Oxford: Oxford University Press; 1981."},{"key":"9103_CR46","volume-title":"Sliding piece puzzles. Recreations in mathematics, No 4.","author":"E Hordern","year":"1987","unstructured":"Hordern E. Sliding piece puzzles. Recreations in mathematics, No 4. Oxford: Oxford University Press; 1987."},{"key":"9103_CR47","doi-asserted-by":"crossref","first-page":"122","DOI":"10.1038\/scientificamerican0264-122","volume":"210","author":"M Gardner","year":"1964","unstructured":"Gardner M. The hypnotic fascination of sliding-block puzzles. Sci Am. 1964;210:122\u2013130.","journal-title":"Sci Am"},{"key":"9103_CR48","doi-asserted-by":"crossref","unstructured":"Hearn RA, Demaine ED. PSPACE-completeness of sliding-block puzzles and other problems through the nondeterministic constraint logic model of computation. Theor Comput Sci. 2005;343(1-2):72\u201396 (Game Theory Meets Theoretical Computer Science).","DOI":"10.1016\/j.tcs.2005.05.008"},{"key":"9103_CR49","unstructured":"Hearn RA. The complexity of sliding-block puzzles and plank puzzles. In: Tribute to a mathemagician. A K Peters; 2005. pp. 1\u201311."},{"key":"9103_CR50","unstructured":"Tarrataca L, Wichert A. Tree search and quantum computation. Quant Inf Process. 2010;1\u201326. 10.1007\/s11128-010-0212-z. Available from: http:\/\/dx.doi.org\/10.1007\/s11128-010-0212- ."},{"key":"9103_CR51","doi-asserted-by":"crossref","unstructured":"Grover LK. A framework for fast quantum mechanical algorithms. In: STOC \u201998. Proceedings of the thirtieth annual ACM symposium on theory of computing. New York: ACM; 1998. pp. 53\u201362.","DOI":"10.1145\/276698.276712"},{"issue":"15","key":"9103_CR52","doi-asserted-by":"crossref","first-page":"3408","DOI":"10.1103\/PhysRevLett.80.3408","volume":"80","author":"IL Chuang","year":"1998","unstructured":"Chuang IL, Gershenfeld N, Kubinec M. Experimental implementation of fast quantum searching. Phys Rev Lett. 1998;80(15):3408\u20133411.","journal-title":"Phys Rev Lett"},{"key":"9103_CR53","doi-asserted-by":"crossref","first-page":"449","DOI":"10.4153\/CJM-1965-045-4","volume":"17","author":"J Edmonds","year":"1965","unstructured":"Edmonds J. Paths, trees, and flowers. Can J Math. 1965;17:449\u2013467.","journal-title":"Can J Math"},{"key":"9103_CR54","volume-title":"Quantum computation and quantum information","author":"MA Nielsen","year":"2000","unstructured":"Nielsen MA, Chuang IL. Quantum computation and quantum information. Cambridge: Cambridge University Press; 2000."},{"issue":"5","key":"9103_CR55","doi-asserted-by":"crossref","first-page":"052314","DOI":"10.1103\/PhysRevA.66.052314","volume":"66","author":"LK Grover","year":"2002","unstructured":"Grover LK. Trade-offs in the quantum search algorithm. Phys Rev A. 2002;66(5):052314.","journal-title":"Phys Rev A"},{"issue":"15","key":"9103_CR56","doi-asserted-by":"crossref","first-page":"150501","DOI":"10.1103\/PhysRevLett.95.150501","volume":"95","author":"LK Grover","year":"2005","unstructured":"Grover LK. Fixed-point quantum search. Phys Rev Lett. 2005;95(15):150501.","journal-title":"Phys Rev Lett"},{"issue":"19","key":"9103_CR57","doi-asserted-by":"crossref","first-page":"4329","DOI":"10.1103\/PhysRevLett.80.4329","volume":"80","author":"LK Grover","year":"1998","unstructured":"Grover LK. Quantum computers can search rapidly by using almost any transformation. Phys Rev Lett. 1998;80(19):4329\u20134332.","journal-title":"Phys Rev Lett"},{"issue":"10","key":"9103_CR58","doi-asserted-by":"crossref","first-page":"1695","DOI":"10.1016\/S0960-0779(98)00217-3","volume":"10","author":"LK Grover","year":"1999","unstructured":"Grover LK. Quantum search on structured problems. Chaos Solitons Fractals. 1999;10(10):1695\u20131705.","journal-title":"Chaos Solitons Fractals"}],"container-title":["Cognitive Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s12559-011-9103-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s12559-011-9103-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s12559-011-9103-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,6]],"date-time":"2025-03-06T20:44:14Z","timestamp":1741293854000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s12559-011-9103-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,6,30]]},"references-count":58,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2011,12]]}},"alternative-id":["9103"],"URL":"https:\/\/doi.org\/10.1007\/s12559-011-9103-6","relation":{},"ISSN":["1866-9956","1866-9964"],"issn-type":[{"value":"1866-9956","type":"print"},{"value":"1866-9964","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,6,30]]}}}