马蒂亚斯·苏肯;朱利亚·穆利;布鲁诺·施密特;费雷什特·莫扎法里;海因茨·里纳;乔瓦尼·德米凯利 量子编译中的布尔可满足性。 （英语） Zbl 1462.81065号 菲洛斯。事务处理。英国皇家学会。，A、 数学。物理学。工程科学。 378，No.2164，文章ID 20190161，16 p.（2020）. 概要：量子编译的任务是将用高级量子编程语言实现的量子算法转换为物理量子计算机的依赖于技术的指令流。为了解决量子程序和低级指令之间的巨大差距，量子编译被划分为一个由多个抽象层组成的多阶段流程。已经为流中的层提出了几个不同的单独任务，其中许多是NP-hard。在本文中，我们将描述流程，并提出基于布尔可满足性的算法，这是解决此类计算复杂问题的最佳匹配。 引用于1文件 MSC公司： 81页68 量子计算 关键词：布尔可满足性;量子计算;量子编程语言;逻辑综合;量子编译;计算机辅助设计;量子计算 PDF格式BibTeX公司 XML格式引用 \textit{M.Soeken}等人，Philos。事务处理。英国皇家学会。，A、 数学。物理学。工程科学。378，第2164号，文章ID 20190161，16页（2020；Zbl 1462.81065） 全文： 内政部 参考文献： [1] 费曼RP.1982用计算机模拟物理。国际J.Theor。物理学。21, 467-488. （doi:10.1007/BF02650179）·doi:10.1007/BF02650179 [2] Low GH等人，2019 Q#和NWChem:量子计算机上可缩放量子化学的工具。(http://arxiv.org/1904.01131) [3] Roetteler M，Naehrig M，Svore KM，Lauter K.2017计算椭圆曲线离散对数的量子资源估计。《密码学和信息安全理论与应用国际会议》，《密码学进展——2017年亚洲密码》，第241-270页·Zbl 1380.81094号 [4] Shor PW.1997量子计算机上素因式分解和离散对数的多项式时间算法。SIAM J.计算。26, 1484-1509. （doi:10.1137/S009753979529393172）·Zbl 1005.11065号 ·doi:10.1137/S009753979529393172 [5] Castelvecchi D.2017量子计算机准备于2017年跳出实验室。《自然》541，9-10。（doi:10.1038/541009a）·doi:10.1038/541009a [6] IBM。2017年，IBM构建了其最强大的通用量子计算处理器。新闻稿，2017年5月17日。 [7] 英特尔。2017年，Intel向QuTech交付带有先进封装的17量子比特超导芯片。新闻稿，2017年10月10日。 [8] Soeken M，Häner T，Roettler M，2018使用设计自动化编程量子计算机。2018年欧洲设计、自动化和测试，137-146。（doi:10.23919/DATE.2018.8341993）·doi:10.23919/DATE.2018.8341993 [9] Häner T，Steiger DS，Svore K，Troyer M.2016编译量子程序的软件方法论。(http://arxiv.org/1604.01401) [10] Chong FT，Franklin D，Martonosi M.2017现实量子硬件的编程语言和编译器设计。《自然》549180-187。（doi:10.1038/nature23459）·doi:10.1038/nature23459 [11] Soeken M、Roettler M、Wiebe N、De Micheli G出版。基于LUT的分层可逆逻辑综合。IEEE传输。集成电路和系统CAD。 [12] Markov IL，Saeedi M.2012模乘和指数运算的常数优化量子电路。量子信息计算。12, 361-394. ·Zbl 1256.81027号 [13] Markov IL，Saeedi M.2013通过电路合成实现更快的量子数因子分解。物理学。版次A 87，012310。（doi:10.1103/PhysRevA.87.012310）·doi:10.1103/PhysRevA.87.012310 [14] Preskill J.2018 NISQ时代及以后的量子计算。量子2，79。（doi:10.22331/q-2018-08-06-79）·doi:10.22331/q-2018-08-06-79 [15] Gottesman D.2010量子纠错和容错量子计算简介。《应用数学专题讨论会》，第68卷，第13-58页。(http://arxiv.org/0904.2557) ·Zbl 1211.81043号 [16] Kandala A、Mezzacapo A、Temme K、Takita M、Brink M、Chow JM、Gambetta JM。2017小分子和量子磁体的硬件高效变分量子特征解算器。《自然》549，242-246。（doi:10.1038/nature23879）·doi:10.1038/nature23879网址 [17] Nielsen MA，Chuang IL.2000量子计算与量子信息。英国剑桥：剑桥大学出版社·Zbl 1049.81015号 [18] Kitaev AY，Shen AH，Vyalii MN.2002经典与量子计算，第47卷。数学研究生系列。美国数学学会·Zbl 1022.68001号 [19] Saeedi M，Markov IL.2013可逆电路的合成与优化——一项调查。ACM计算机。Surv公司。45, 21. （doi:10.1145/2431211.2431220）·Zbl 1293.94141号 ·doi:10.1145/2431211.2431220 [20] Grover LK.1996数据库搜索的快速量子力学算法。STOC 1996年5月22日至24日在宾夕法尼亚州费城举行的第二十八届年度ACM计算理论研讨会论文集，第212-219页·Zbl 0922.68044号 [21] Bennett CH.1989可逆计算的时间/空间权衡。SIAM J.计算。18, 766-776. （doi:10.1137/0218053）·Zbl 0676.68010号 ·数字对象标识代码：10.1137/0218053 [22] Královic R.2001可逆卵石的时间和空间复杂性。2001年11月24日至12月1日，斯洛伐克彼得尼，《信息学理论与实践的当前趋势》，第292-303页·Zbl 1052.68041号 [23] 库克SA.1971理论证明程序的复杂性。STOC 1971年第三届ACM计算理论年度研讨会论文集，俄亥俄州Shaker Heights，5月3-5日，第151-158页·兹比尔0253.68020 [24] Biere A、Heule M、van Maaren H、Walsh T（编辑）。2009年满意度手册。荷兰阿姆斯特丹：IOS出版社·Zbl 1183.68568号 [25] Knuth DE.2015计算机编程艺术，第4卷，第6分册：可满足性。马萨诸塞州雷丁：Addison-Wesley。 [26] Cong J，Ding Y.1994基于LUT的FPGA技术映射中的面积/深度权衡。IEEE传输。超大规模集成电路系统。2, 137-148. （doi:10.1109/92.285741）·数字对象标识代码：10.1109/92.285741 [27] Cong J，Wu C，Ding Y.1999切割排名和修剪：实现通用高效的FPGA映射解决方案。FPGA 1999年《1999年ACM/SIGDA第七届现场可编程门阵列国际研讨会论文集》，加利福尼亚州蒙特雷，2月21日至23日，第29-35页。 [28] Mishchenko A、Chatterjee S、Brayton RK，2007年基于LUT的FPGA技术映射改进。IEEE传输。CAD集成。电路系统。第26240-253页。（doi:10.1109/TCAD.2006.887925）·doi:10.1109/TCAD.2006.887925 [29] Schmitt B，Mishchenko A，Brayton RK。2018基于SAT的结构技术制图区域恢复。2018年1月22日至25日在韩国济州举行的第23届亚洲及南太平洋设计自动化会议（ASP-DAC），第586-591页。 [30] Bailleux O，Boufkhad Y.2003布尔基数约束的高效CNF编码。收录于：约束编程原理与实践-CP 2003（编辑：F Rossi），第108-122页。计算机科学讲义，第2833卷。德国海德堡柏林：施普林格·Zbl 1273.68332号 [31] Sinz C.2005朝向布尔基数约束的最佳CNF编码。收录于：约束编程的原理与实践——CP 2003（编辑：F Rossi），第827-831页。计算机科学讲义，第2833卷。德国海德堡柏林：施普林格·Zbl 1153.68488号 [32] Bennett CH.1973计算的逻辑可逆性。IBM J.Res.Dev.17，525-532。（doi:10.1147/rd.176.0525）·Zbl 0267.68024号 ·doi:10.1147/rd.176.0525 [33] Meuli G，Soeken M，Roettler M，Björner N，De Micheli G.2019量子内存管理可逆卵石游戏。程序中。欧洲的设计、自动化和测试，第288-291页。 [34] Biere A、Cimatti A、Clarke EM、Zhu Y.1999无BDD的符号模型检查。在系统构建和分析的工具和算法中。TACAS 1999（编辑：WR Cleaveland），第193-207页。计算机科学讲义，第1579卷。德国海德堡柏林：施普林格。 [35] Bradley AR.2011基于SAT的模型检查，无需展开。在验证、模型检查和抽象解释中。VMCAI 2011（编辑：R Jhala，D Schmidt），第70-87页。计算机科学讲义，第6538卷。德国海德堡柏林：施普林格·兹比尔1317.68109 [36] Eén n，Mishchenko A，Brayton RK.2011高效实现面向属性的可达性。《2011年FMCAD计算机辅助设计形式方法国际会议论文集》，德克萨斯州奥斯汀，10月30日至11月2日，第125-134页。 [37] 霍德·K、比约纳·N、德莫拉·LM。2011μZ-一个有效的具有约束的定点引擎。在计算机辅助验证中。CAV 2011（编辑G Gopalakrishnan，S Qadeer），第457-462页。计算机科学讲义，第6806卷。柏林，海德堡，德国：施普林格。 [38] Barenco A，Bennett CH，Cleve R，DiVincenzo DP，Margolus N，Shor P，Sleator T，Smolin JA，Weinfurter H.1995量子计算基本门。物理学。版次A 52，3457。（doi:10.103/PhysRevA.52.3457）·doi:10.1103/PhysRevA.52.3457 [39] Maslov D.2016使用相对相位Toffoli门的优点，并应用于多控制Toffoli-优化。物理学。版次A 93，022311。（doi:10.1103/PhysRevA.93.022311）·doi:10.1103/PhysRevA.93.022311 [40] Abdessied N，Amy M，Drechsler R，Soeken M.2016可逆电路及其量子实现的复杂性。西奥。计算。科学。618, 85-106. （doi:10.1016/j.tcs.2016.01.011）·Zbl 1335.68093号 ·doi:10.1016/j.tcs.2016.01.011 [41] Riener H，Ehlers R，Schmitt B，Micheli GD.2020 ESOP形式的精确合成。《高级布尔技术》（eds R Drechsler，M Soeken）。德国柏林：施普林格。(http://arxiv.org/1807.11103) [42] Kamath AP、Karmarkar N、Ramakrishnan KG、Resende MGC。1992年归纳推理的连续方法。数学。程序。57, 215-238. （doi:10.1007/BF01581082）·Zbl 0783.90122号 ·doi:10.1007/BF01581082 [43] 谢廷GS.1970关于命题演算中推导的复杂性。《建构数学和数学逻辑研究》第二部分，数学研讨会（AP Slisenko编辑），第115-125页。德国柏林：施普林格·Zbl 0205.00402号 [44] Selinger P.2013 T深度1的量子电路。物理学。版次A 87，042302。（doi:10.1103/PhysRevA.87.042302）·doi:10.1003/PhysRevA.87.042302 [45] Amy M、Maslov D、Mosca M、Roettler M，2013用于深度最佳量子电路快速合成的中间会议算法。IEEE传输。CAD集成。电路系统。32, 818-830. （doi:10.1109/TCAD.2013.2244643）·doi:10.1109/TCAD.2013.244643 [46] Amy M，Maslov D，Mosca M.2014通过拟阵划分对Clifford+T电路进行多项式时间T深度优化。IEEE传输。CAD集成。电路系统。第331476-1489页。（doi:10.1109/TCAD.2014.2341953）·doi:10.1109/TCAD.2014.2341953 [47] Soeken M、Mozafari F、Schmitt B、De Micheli G.2019超导QPU排列编译。2019年5月25日至29日，意大利佛罗伦萨，欧洲设计、自动化和测试会议暨展览会，第1349-1354页。 [48] Welch J、Greenbaum D、Mostame S、Aspuru-Guzik A，2014无安西拉对角单位的有效量子电路。新J.Phys。16, 1-15. （doi:10.1088/1367-2630/16/3/033040）·Zbl 1451.81156号 ·doi:10.1088/1367-2630/16/3/033040 [49] Schuch N，Siewert J.2003量子算法的可编程网络。物理学。修订稿。91, 027902. （doi:10.1103/PhysRevLett.91.027902）·doi:10.1103/PhysRevLett.91.027902 [50] Meuli G，Soeken M，De Micheli G.2018基于SAT的{CNOT，T}量子电路合成。在可逆计算中。RC 2018（编辑J Kari，I Ulidowski），第175-188页。计算机科学讲义，第11106卷。查姆：斯普林格·Zbl 1515.81075号 [51] Soeken M、Riener H、Haaswijk W、De Micheli G.2018 EPFL逻辑综合库。(http://arxiv.org/1805.05121) [52] Meuli G，Soeken M，Roettler M，De Micheli G.2019 ROS：量子计算机的资源约束预言合成。在量子物理和逻辑。(http://qpl2019.org/ros-resource-constrained-oracle-synthentis-for-quantum-computers/) [53] Meuli G，Schmitt B，Ehlers R，Riener H，De Micheli G.2019评估量子编译流程中的ESOP优化方法。在可逆计算中。RC 2019（编辑：M Thomsen，M Soeken）。计算机科学讲义，第11497卷。查姆：斯普林格·Zbl 1527.68074号 [54] Nash B、Gheorghiu V、Mosca M.2019 NISQ架构的量子电路优化。(http://arxiv.org/1904.01972) [55] Kissinger A，Meijer van de Griend A.2019拓扑约束量子存储器的CNOT电路提取。(http://arxiv.org/1904.00633) 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。