×
乌戈·达尔拉戈;安德烈亚·马西尼;玛格丽塔·佐齐

量子隐式计算复杂性。 （英语） Zbl 1186.68209号

西奥。计算。科学。 411，第2期，377-409（2010）.
摘要：我们介绍了一种受Lafont软线性逻辑启发的量子lambda演算，并捕获了多项式量子复杂性类EQP、BQP和ZQP。微积分基于“经典控制和量子数据”范式。这是第一个以隐式计算复杂性的精神捕获量子复杂性类的正式系统示例——它是无机器的，其语法中没有显式边界（例如多项式）。

引用于12文件

MSC公司：

2017年第68季度 问题的计算难度（下限、完备性、近似难度等）
第68页第18页 函数编程和lambda演算
2010年第68季度 计算模式（非确定性、并行、交互式、概率性等）
81页68 量子计算

关键词：

量子计算;隐式计算复杂性;λ演算

软件：

QPL公司
PDF格式BibTeX公司 XML格式引用
\textit{U.Dal Lago}等人，Theor。计算。科学。411，第2号，377--409（2010；Zbl 1186.68209）
全文： 内政部

参考文献：

[1] Asperti，A.，光仿射逻辑，（第十三届IEEE计算机科学逻辑年会（印第安纳波利斯，in，1998）（1998），IEEE计算机学会：IEEE计算机协会，加利福尼亚州洛斯阿拉米托斯），300-308·Zbl 0945.03533号
[2] Asperti，A。；Roversi，L.，直觉轻仿射逻辑（证明网，规范化复杂性，表达能力），ACM Trans。计算。日志。，3，1，1-38（2002），（电子版）
[3] Baillot，P。；Mogbil，V.，《软lambda-calculus:多项式时间计算语言》，（《软件科学和计算结构基础》，《软件科学基础和计算结构》，《计算科学讲义》，第2987卷（2004年），施普林格：施普林格柏林），27-41·Zbl 1126.03306号
[4] Baillot，P。；Terui，K.，《初等仿射逻辑中打字的一种可行算法》，（《打字Lambda演算和应用》，打字Lambeda演算与应用，《计算科学》讲义，第3461卷（2005年），施普林格：施普林格柏林），55-70·兹伯利1114.03049
[5] Barendrigt，H.P.，（Lambda微积分。Lambda微积分，逻辑研究和数学基础，第103卷（1984年），北荷兰出版公司：阿姆斯特丹北荷兰出版公司），其语法和语义·Zbl 0467.03010号
[6] 贝兰托尼，S。；Cook，S.，多时间函数的新递归理论表征，计算。复杂性，2,297-110（1992）·Zbl 0766.68037号
[7] 伯恩斯坦，E。；Vazirani，U.，量子复杂性理论，SIAM J.Compute。，26, 5, 1411-1473 (1997) ·Zbl 0895.68042号
[8] Buss，S.R.，（有界算术。有界算术，证明理论研究。讲义，第3卷（1986年），图书馆：那不勒斯图书馆）·Zbl 0654.03043号
[9] 美国达拉戈。；马西尼，A。；Zorzi，M.，《关于经典控制的无测量量子lambda微积分》，数学。结构计算。科学。，19, 2, 297-335 (2009) ·Zbl 1166.68016号
[10] Deutsch，D.，《量子理论、丘吉尔原理和通用量子计算机》，Proc。R.Soc.伦敦。序列号。A、 A40097-117（1985）·Zbl 0900.81019号
[11] Deutsch，D.，《量子计算网络》，Proc。R.Soc.伦敦。A、 42573（1989）·Zbl 0691.68054号
[12] Deutsch，D。；Barenco，A。；Ekert，A.，量子计算的普遍性，Proc。罗伊。Soc.伦敦Ser。A、 449、1937、669-677（1995）·Zbl 0960.81512号
[13] Feynman，R.P.，《用计算机模拟物理》，国际。J.理论。物理。，21，6-7，467-488（1981-82），计算物理，第二部分（马萨诸塞州德德姆，1981）
[14] Gay，S.J.，《量子编程语言：调查和参考书目》，《数学》。结构计算。科学。，16, 4 (2006) ·Zbl 1122.68021号
[15] Girard，J.-Y.，《线性逻辑》，理论。计算。科学。，50, 1, 101 (1987) ·Zbl 0625.03037号
[16] Girard，J.-Y.，《光线性逻辑》，《信息》。和计算。，143, 2, 175-204 (1998) ·Zbl 0912.03025号
[17] Lafont，Y.，软线性逻辑与多项式时间，定理。计算。科学。，318, 1-2, 163-180 (2004) ·Zbl 1079.03057号
[18] 尼尔森，硕士。；《量子计算与量子信息》（2000），剑桥大学出版社：剑桥大学出版社·Zbl 1049.81015号
[19] 西村，H。；小泽，M.，《均匀量子电路族和量子图灵机的计算复杂性》，理论。计算。科学。，276, 1-2, 147-181 (2002) ·Zbl 1002.68055号
[20] H.Nishimura，M.Ozawa，量子图灵机和有限生成的均匀量子电路族之间的完美计算等效，技术报告，2008年。arXiv:quant-ph/0511117v2；H.Nishimura，M.Ozawa，量子图灵机和有限生成的均匀量子电路族之间的完美计算等效，技术报告，2008年。arXiv:quant-ph/0511117v2·Zbl 1200.81029号
[21] Roman，S.（《高级线性代数》，《高级线性代数》，《数学研究生论文》，第135卷（2008年），施普林格出版社：施普林格纽约）·Zbl 1132.15002号
[22] Schwichtenberg，H.，多项式时间计算的算法，Theoret。计算。科学。，357, 1-3, 202-214 (2006) ·Zbl 1118.03052号
[23] Selinger，P.，《量子编程语言的简要概述》，（第七届函数与逻辑编程国际研讨会论文集。第七届功能与逻辑编程研讨会论文集，计算机科学讲义，第2998卷（2004），Springer），1-6·Zbl 1122.68359号
[24] Selinger，P.，走向量子编程语言，数学。结构计算。科学。，14, 4, 527-586 (2004) ·Zbl 1085.68014号
[25] Selinger，P.，《迈向高阶量子计算的语义》，（第二届量子编程语言国际研讨会论文集。第二届国际量子编程语言研讨会论文集，TUCS总出版物，第33卷（2004年），图尔库计算机中心。科学。通用出版物），127-143
[26] 塞林格，P。；Valiron，B.，经典控制量子计算的lambda微积分，数学。结构计算。科学。，16, 3, 527-552 (2006) ·Zbl 1122.68033号
[27] Shor，P.W.，《量子计算算法：离散对数和因子分解》，（第35届计算机科学基础年度研讨会（圣达菲，新墨西哥州，1994年）（1994年），IEEE计算。Soc.出版社：IEEE计算。加利福尼亚州洛斯阿拉米托斯Soc.Press），124-134
[28] Shor，P.W.，量子计算机上素因式分解和离散对数的多项式时间算法，SIAM Rev.，41，2，303-332（1999），（电子版）·兹比尔1005.11507
[29] Simpson，A.，《线性lambda-calculus的约简及其在操作语义中的应用》，（术语重写和应用。术语重写与应用，计算科学讲义，第3467卷（2005年），施普林格：施普林格柏林），219-234·Zbl 1078.03013号
[30] Terui，K.，Light仿射lambda演算和多项式时间强归一化，Arch。数学。逻辑，46，3-4，253-280（2007）·Zbl 1110.03009号
[31] van Tonder，A.，量子计算的lambda微积分，SIAM J.Comput。，3311109-1135（2004年），（电子版）·Zbl 1057.81016号
[32] 姚，A.，量子电路复杂性，（第34届计算机科学基础年度研讨会论文集，加利福尼亚州洛斯阿拉米托斯（1993），IEEE出版社），352-360
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。