J.A.米兹扎克。 量子计算模型和量子编程语言。 （英语） Zbl 1291.68171号 牛市。波兰。阿卡德。科学。，技术科学。 59，第3期，305-324（2011）. 摘要：本文的目的是介绍量子信息理论中使用的基本计算模型。我们回顾了量子图灵机、量子电路和量子随机存取机（QRAM）的各种模型及其经典模型。我们还介绍了使用QRAM模型开发的量子编程语言。我们回顾了几种现有量子编程语言的语法，并讨论了它们的特点和局限性。 引用于4文件 MSC公司： 第68季度12 计算理论中的量子算法和复杂性 68甲15 编程语言理论 2005年第68季度 计算模型（图灵机等）（MSC2010） 81第68页 量子计算 关键词：程序设计语言;计算模型;图灵机器 软件：QPL公司;LanQ公司;哈斯克尔 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Miszczak}，公牛。波兰。阿卡德。科学。，技术科学。59，第3号，305-324（2011；Zbl 1291.68171） 全文： 内政部 arXiv公司 链接 参考文献： [1] D.Bouwmeester、A.Ekert和A.Zeilinger，《量子信息物理：量子密码术、量子隐形传态、量子计算》，Springer-Verlag出版社，柏林，2000年·Zbl 1008.81504号 [2] T.Ladd、F.Jelezko、R.Laflamme、Y.Nakamura、C.Monroe和J.O'Brien，《量子计算机》，《自然》464，45-53（2010）。 [3] G.E.Moore，“在集成电路上填充更多组件”，《电子》38（8），114-117（1965）。 [4] 英特尔公司，摩尔定律：英特尔微处理器晶体管计数表 [5] R.P.Feynman，“用计算机模拟物理”，国际期刊Theor。物理学。21 (6/7), 467-488 (1982). ·doi:10.1007/BF02650179 [6] C.H.Bennett和G.Brasard，“量子密码：公钥分发和投币”，Proc。IEEE计算机、系统和信号处理国际会议1，175-179（1984）·Zbl 1306.81030号 ·doi:10.1016/j.tcs.2014.05.025 [7] A.Ekert，“基于贝尔定理的量子密码术”，Phys。修订稿。67, 661-663 (1991). ·Zbl 0990.94509号 ·doi:10.1103/PhysRevLett.67.661 [8] A.爱因斯坦、B.波多尔斯基和N.罗森，“物理现实的量子力学描述可以被认为是完整的吗？”，物理学。版本47（10），777-780（1935）·Zbl 0012.04201号 ·doi:10.1103/PhysRev.47.777 [9] J.Bouda，“量子信息加密和量子密码协议”，马萨里克大学信息学系博士论文，布尔诺，2004年。 [10] R.Ursin、F.Tiefenbacher、T.Schmitt-Monderbach、H.Weier、T.Sheidl、M.Lindenthal、B.Blauensteiner、T.Jennewein、J.Perdigues、P.Trojek、B.Ømer、M.Fürst、M.Meyenburg、J.Rarity、Z.Sodnik、C.Barbieri、H.魏恩富特和A.Zeilinger，“144 km以上基于纠缠的量子通信”，《自然物理学》第3期，第481-486页（2007年）。 [11] M.Peev、C.Pacher、R.Alléaume、C.Barrero、J.Bouda、W.Boxleitner、T.Debisschert、E.Diamanti、M.Dianati、J.F.Dynes、S.Fasel、S.Fossier、M.Fürst、J.D.Gautier、O.Gay、N.Gisin、P.Grangier、A.Happe、Y.Hasani、M.Hentschel、H.Hübel、G.Humer、T.Länger、M.Leger、R.Lieger、J.Lodewyck、T.Lorünser、N.Lütkenhaus、A.Marhold，T.Matyus、O.Maurhart、L.Monat、S.Nauerth、J.B.Page、A.Poppe、E.Querasser、G.Ribordy、S.Robyr、L.Salvail、A.W.Sharpe、A.J.Shields、D.Stucki、M.Suda、C.Tamas、T.Themel、R.T.Thew、Y.Thoma、A.Treiber、P.Trinkler、R.Tualle-Brouri、F.Vannel、N.Walenta、H.Weier、H.Winfurter、I.Wimberger、Z.L.Yuan、H.Zbinden和A.Zeilinger，“维也纳的SECOQC量子密钥分配网络”，《新物理学杂志》11（7），075001（2009）。 [12] P.W.Shor，“量子计算算法：离散对数和因子分解”，Proc。第35届计算机科学基础年会1，124-134（1994）。 [13] P.Shor，“量子计算机上素因式分解和离散对数的多项式时间算法”，SIAM J.Computing 26，1484-1509（1997）·Zbl 1005.11065号 ·doi:10.1137/S009753979529393172 [14] L.K.Grover，“量子力学有助于大海捞针”，Phys。修订稿。79, 325-328 (1997). ·doi:10.1103/PhysRevLett.79.325 [15] J.Eisert、M.Wilkens和M.Lewenstein，“量子游戏和量子战略”，《物理学》。修订稿。83, 3077-3080 (1999). ·Zbl 0946.81018号 ·doi:10.1003/物理通讯833.077 [16] D.Meyer，AMS当代数学：量子计算和量子信息科学，第305卷，美国数学学会，罗德岛，2000年。 [17] J.Kempe，“量子随机漫步：介绍性概述”，康特姆。物理学。44 (4), 307-327 (2003). ·doi:10.1080/00107151031000110776 [18] J.Koŝík，“量子随机游走的两个模型”，Cent。欧洲物理杂志。4, 556-573 (2003). ·doi:10.2478/BF02475903 [19] P.W.Shor，“量子算法的进展”，量子信息处理3，1-5（2004）·兹比尔1075.68602 ·doi:10.1007/s11128-004-3878-2 [20] S.J.Lomonaco和L.Kauffman，“搜索新的量子算法”，技术代表F30602-01-2-0522 [21] E.Bernstein和U.Vazirani，“量子复杂性理论”，SIAM J.Computing 26（5），1411-1473（1997）·Zbl 0895.68042号 ·doi:10.1137/S0097539796300921 [22] L.Fortnow，“一个复杂性理论家对量子计算的看法”，Theor。计算。科学。292 (3), 597-610 (2003). ·Zbl 1026.68056号 ·doi:10.1016/S0304-3975（01）00377-2 [23] E.Klarreich，“按量子规则游戏”，《自然》414244-245（2001）。 [24] C.F.Lee和N.F.Johnson，“量子态估计和克隆的博弈论讨论”，Phys。莱特。A 319（5-6），429-433（2003）·Zbl 1098.81742号 ·doi:10.1016/j.physleta.2003.10.019 [25] A.Ambainis，“元素区分的量子行走算法”，SIAM J.Computing 37，210-239（2007）·Zbl 1134.81010号 ·doi:10.1137/S0097539705447311 [26] A.M.Childs和J.M.Eisenberg，“子集查找的量子算法”，量子。Inf.计算。5, 593 (2005). ·Zbl 1175.81050号 [27] A.M.Childs和J.Goldstone，“量子行走的空间搜索”，《物理学》。修订版A 70（2），022314.1（2004）·兹比尔1227.81156 ·doi:10.1103/PhysRevA.70.022314 [28] A.M.Childs，“量子行走的通用计算”，Phys。修订稿。102 (18), 180501 (2009). [29] A.P.Hines和P.C.E.Stamp，“量子行走、量子门和量子计算机”，Phys。修订版A 75（6），062321（2007）。 ·doi:10.103/物理版本A.75.062321 [30] A.Ambainis，“量子行走及其算法应用”，国际期刊Quant。Inf.1507-518（2003）·Zbl 1069.81505号 ·doi:10.1142/S0219749903000383 [31] M.Santha，“基于量子行走的搜索算法”，第五届计算模型理论与应用4978，31-46（2008）·Zbl 1139.68338号 ·doi:10.1007/978-3-540-79228-43 [32] S.E.Venegas Andraca，“专题导论：物理学和计算机科学-量子计算和其他方法”，数学。结构。公司。科学。20（6），995-97（2010）。 ·网址：10.1017/S0960129510000423 [33] M.Mosca和J.Smith，“量子计算机的算法”，摘自：《自然计算手册》，施普林格出版社，柏林，2011年。 [34] A.Childs和W.van Dam，“代数问题的量子算法”，修订版。物理学。82 (1), 1-52 (2010). ·Zbl 1205.81057号 ·doi:10.1103/RevModPhys.82.1 [35] C.H.Papadimitriou，《计算复杂性》，Addison-Wesley出版社，伦敦，1994年·Zbl 0833.68049号 [36] S.A.Cook和R.A.Reckhow，“定时随机存取机器”，Proc。第四届ACM计算理论年会173-80（1973）·Zbl 0284.68038号 ·doi:10.1016/S0022-0000（73）80029-7 [37] J.C.Shepherdson和H.E.Strugis，“递归函数的可计算性”，J.ACM 10（2），217-255（1963）·Zbl 0118.25401号 ·doi:10.1145/321160.321170 [38] H.Vollmer，《电路复杂性导论》，Springer-Verlag出版社，柏林，1999年·Zbl 0931.68055号 [39] A.Church，“初等数论的一个无法解决的问题”，美国数学杂志58，345-363（1936）·Zbl 0014.09802号 ·doi:10.2307/2371045 [40] H.Abelson、G.J.Sussman和J.Susseman，《计算机程序的结构和解释》，麻省理工学院出版社，剑桥，1996年·Zbl 0909.68025号 [41] J.C.Mitchell，《程序设计语言的概念》，剑桥大学出版社，剑桥，2003年·Zbl 1058.68029号 ·doi:10.1017/CBO9780511804175 [42] D.Deutsch，“量子理论、丘吉尔原理和通用量子计算机”，Proc。R.Soc.伦敦。A 400，97（1985）·Zbl 0900.81019号 [43] C.Bohm，“关于图灵机器家族和相关编程语言”，ICC Bull。3, 187-194 (1964). [44] S.Aaronson和G.Kuperberg，“复杂性动物园” [45] A.Yao，“量子电路复杂性”，Proc。第34届IEEE计算机科学基础研讨会1，352-360（1993）。 [46] H.Nishimura和M.Ozawa，“均匀量子电路族和量子图灵机的计算复杂性”，Theor。计算。科学。276, 147-181 (2002). ·Zbl 1002.68055号 ·doi:10.1016/S0304-3975（01）00111-6 [47] U.Vazirani，“量子复杂性理论综述”，Proc。交响乐。申请。数学。1, 58 (2002). [48] M.R.Garey和D.S.Johnson，《计算机与难处理性：NP完全性理论指南》，W.H.Freeman，伦敦，1979年·Zbl 0411.68039号 [49] U.Zwick，“布尔电路复杂性课程笔记” [50] M.Hirvensalo，量子计算，Springer-Verlag，柏林，2001年·Zbl 0976.68063号 [51] D.Deutsch，“量子计算网络”，Proc。R.Soc.伦敦。A 42573（1989）·Zbl 0691.68054号 ·doi:10.1098/rspa.1989.0099 [52] T.Toffoli，“可逆组合函数的双连续扩张”，数学。系统。理论14，13-23（1981）·Zbl 0469.94020号 ·doi:10.1007/BF01752388 [53] M.A.Nielsen和I.L.Chuang，《量子计算与量子信息》，剑桥大学出版社，2000年·Zbl 1049.81015号 [54] A.Barenco、C.H.Bennett、R.Cleve、D.P.DiVincenzo、N.Margolus、P.Shor、T.Sleator、J.Smolin和H.Weinfurter，“量子计算的基本门”，物理。修订版A 52，3457（1995）。 ·doi:10.1103/PhysRevA.52.3457 [55] D.Deutsch、A.Barenco和A.Ekert，“量子计算的普遍性”，Proc。R.Soc.伦敦。1, 449 (1937), 669-677 (1995). ·Zbl 0960.81512号 ·doi:10.1098/rspa.1995.0065 [56] V.V.Shende、I.L.Markov和S.S.Bullock，“最小通用双量子位受控非零基电路”，《物理学》。修订版A 6906321（2004年）。 ·doi:10.1103/PhysRevA.69.062321 [57] M.Möttönen、J.J.Vartiainen、V.Bergholm和M.M.Salomaa，“一般多量子比特门的量子电路”，《物理学》。修订稿。93 (13), 130502 (2004). [58] J.J.Vartiainen、M.Mottonen和M.M.Salomaa，“量子门的有效分解”，《物理学》。修订稿。92, 177902 (2004). ·doi:10.10103/PhysRevLett.922.177902 [59] S.Aaronson和D.Gottesman，“稳定器电路的改进模拟”，Phys。修订版A 70（5），052328（2004）。 ·doi:10.1103/PhysRevA.70.052328 [60] E.Knill，“量子伪码惯例”，技术代表LAUR-96-2724，CD-ROM（1996）。 [61] B.Ùmer，“结构化量子编程”，博士论文，维也纳理工大学，维也纳，2003年。 [62] R.Nagarajan、N.Papanikolaou和D.Williams，“模拟和编译顺序量子随机存取机的代码”，《理论计算机科学电子笔记》170，101-124（2007）·Zbl 1277.68078号 ·doi:10.1016/j.entcs.2006.12.014 [63] R.Cleve和D.P.DiVincenzo，“舒马赫的量子数据压缩作为量子计算”，Phys。修订版A 54（4），2636-2650（1996）。 ·doi:10.1103/PhysRevA.54.2636 [64] T.H.Cormen、C.E.Leiserson、R.L.Rivest和C.Stein，《算法导论》，麻省理工学院出版社，伦敦，2001年·Zbl 1047.68161号 [65] K.M.Svore、A.W.Cross、A.V.Aho、I.L.Chuang和I.L.Markov，“走向量子计算设计工具的软件架构”，Proc。第二届量子编程语言国际研讨会，光盘（2004年）。 [66] K.M.Svore、A.W.Cross、I.L.Chuang、A.V.Aho和I.L.Markov，“量子计算设计工具的分层软件架构”，计算机39（1），74-83（2006）。 ·doi:10.1109/MC.2006.4 [67] S.Bettelli，“走向量子编程的架构”，特伦特大学博士论文，特伦托，2002年。 [68] L.K.Grover，“量子计算机可以通过使用几乎任何变换快速搜索”，Phys。修订稿。80, 4329-4332 (1998). ·doi:10.1103/PhysRevLett.80.4329 [69] M.Mosca，“量子计算机算法”，牛津大学沃尔夫森学院博士论文，牛津大学，1999年。 [70] C.Bennett和S.Wiesner，“通过Einstein-Poolsky-Rosen态上的单粒子和双粒子算符进行通信”，《物理学》。修订稿。69, 2881-2884 (1992). ·Zbl 0968.81506号 ·doi:10.1103/PhysRevLett.69.2881 [71] G.Brassard、A.Broadbent和A.Tapp，《发现量子伪心灵感应》。物理学。35, 1877-1907 (2005). ·Zbl 1102.81302号 ·doi:10.1007/s10701-005-7353-4 [72] D.Bacon和W.van Dam，“量子算法的最新进展”，Commun。ACM 53（2），84-93（2010）。 ·数字对象标识代码：10.1145/1646353.1646375 [73] E.H.Knill和M.A.Nielsen，《数学百科全书》，增刊，Kluwer，伦敦，2002年。 [74] S.Bettelli、L.Serafini和T.Calarco，“走向量子编程架构”，《欧洲物理学》。J.D 25（2），181-200（2003）。 ·doi:10.1140/epjd/e2003-00242-2 [75] W.Maureer，“量子编程中通信的语义和模拟”，硕士论文，埃朗根-纽伦堡大学，纽伦堡，2005年。 [76] H.Mlnařík，“量子编程语言LanQ的操作语义和类型稳健性”，马萨里克大学博士论文，布尔诺，2007年。 [77] H.Mlnařík，“量子编程语言LanQ的语义”，Int.J.Quant。信息6（1，补充），733-738（2008）。 ·doi:10.1142/S0219749908004031 [78] S.Gay，“量子编程语言：调查和参考书目”，数学。结构。计算。科学。16（4），CD-ROM（2006）·Zbl 1122.68021号 ·doi:10.1017/S09601290506005378 [79] D.Unruh，“量子编程语言”，Informatik-forschung und entwicklung 21（1-2），55-63（2006）。 [80] Rüdiger，“量子编程语言：简介”，计算。J.50（2），134-150（2007）。 [81] B.Ùmer，“量子计算的程序形式主义”，维也纳理工大学硕士论文，维也纳，1998年。 [82] B.Ùmer，“QCL中的量子编程”，硕士论文，维也纳理工大学，维也纳，2000年。 [83] H.Weimer，量子计算和量子模拟C库1.1.0版 [84] S.Bettelli、L.Serafini和T.Calarco，“走向量子编程架构”，《欧洲物理学》。J.D 25（2），181-200（2003）。 ·doi:10.1140/epjd/e2003-00242-2 [85] J.A.Miszczak和P.Gawron，“混合态量子计算的数值模拟”，国际期刊Quant。Inf.3（1），195-199（2005）。 [86] P.Gawron、J.Klamka、J.Miszczak和R.Winiarczyk，“用结构量子编程能力扩展科学计算系统”，布尔。波兰。Ac.：技术58（1），77-88（2010）。 [87] H.Mlnařík，“LanQ-量子编程语言LanQ的操作语义”，技术代表FIMU-RS-2006-10，马萨诸塞大学，布尔诺，2006年。 [88] A.van Tonder，“量子计算的lambda演算”，SIAM J.Compute。33 (5), 1109-1135 (2004). ·Zbl 1057.81016号 ·doi:10.1137/S0097539703432165 [89] P.Selinger，“走向量子编程语言”，数学。结构。计算。科学。14 (4), 527-586 (2004). ·Zbl 1085.68014号 ·doi:10.1017/S0960129504004256 [90] B.W.Kernighan和D.M.Ritchie，C编程语言，普伦蒂斯·霍尔，上鞍河，1988年。 [91] D.Deutsch和R.Jozsa，“通过量子计算快速解决问题”，Proc。罗伊。Soc.伦敦。A 439553-558（1992）·兹比尔0792.68058 ·doi:10.1098/rspa.1992.0167 [92] W.K.Wootters和W.H.Zurek，“单个量子无法克隆”，《自然》299802-803（1982）·Zbl 1369.81022号 [93] V.Vedral、A.Barenco和A.Ekert，“基本算术运算的量子网络”，《物理学》。修订版A 54，147-153（1996）。 ·doi:10.103/物理版本A.54.147 [94] P.Selinger，“量子编程语言的简要概述”，Proc。LNCS 1，1-6（2004）第7届函数和逻辑编程国际研讨会2998·Zbl 1122.68359号 ·数字对象标识代码：10.1007/b96926 [95] J.Hughes，“为什么函数编程很重要”，计算。J.32（2），98-107（1989）。 ·doi:10.1093/comjnl/32.2.98 [96] A.Sabry，“Haskell中的量子计算建模”，ACM SIGPLAN Haskell.Workshop 1，CD-ROM（2002）。 [97] J.Karczmarczuk，“量子力学的结构和解释：一个函数框架”，Proc。ACM SIGPLAN Haskell 1研讨会，50-61（2003）。 [98] G.Hutton，《哈斯克尔编程》，剑桥大学出版社，剑桥，2007年·Zbl 1117.68018号 ·doi:10.1017/CBO9780511813672 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。