罗伯特·威利;尼尔斯·奎奇里奇;Yuma井上;靖国神社;新池敏人 使用\（\pi\）DDs进行量子电路的最近邻优化。 （英语） Zbl 1480.81032号 Devitt，Simon（编辑）等人，《可逆计算》。2016年7月7日至8日，第八届国际会议，RC 2016，意大利博洛尼亚。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9720, 181-196 (2016). 摘要：量子电路发展的最新成就推动了量子电路计算机辅助设计的研究。在这里，如何考虑一般的物理约束，特别是所谓的最近邻约束，是最近发展的一个目标。因此，对电路中给定的量子比特进行重新排序提供了一种通用策略，以降低相应的成本。但是，由于这导致了很大的复杂性，现有的解决方案要么只针对单个订单（因此排除了更好的选项），要么在考虑所有可能的选项时运行时间很长。在这项工作中，我们提供了一种替代方案，利用所谓的DD来实现这一目的。它们允许有效地表示和操作排列集，因此为所考虑的问题提供了理想的数据结构。实验评估证实，通过利用\（\pi\）DD，可以在精确解所需时间的一小部分内产生最优或几乎最优的结果。关于整个系列，请参见[Zbl 1342.68013号]. 引用于1文件 MSC公司： 81页68 量子计算 2006年第68季度 作为计算模型的网络和电路；电路复杂性 2012年第68季度 计算理论中的量子算法和复杂性 软件：RevLib版 PDF格式BibTeX公司 XML格式引用 \textit{R.Wille}等人，Lect。注释计算。科学。9720，181--196（2016；Zbl 1480.81032） 全文： 内政部 参考文献： [1] Nielsen，M.，Chuang，I.：量子计算和量子信息。剑桥大学出版社，剑桥（2000）·Zbl 1049.81015号 [2] 肖尔，P.W.：《量子计算的算法：离散对数和因子分解》，载《计算机科学基础》，第124-134页（1994年）·doi:10.1109/SFCS.1994.365700 [3] Grover，L.K.：数据库搜索的快速量子力学算法。摘自：《计算理论》，第212-219页（1996年）·Zbl 0922.68044号 ·doi:10.1145/237814.237866 [4] Gupta，P.，Agrawal，A.，Jha，N.K.：可逆逻辑电路的合成算法。IEEE传输。25加元（11），2317–2330（2006）·doi:10.1109/TCAD.2006.871622 [5] Maslov，D.、Dueck，G.W.、Miller，D.M.：可逆Toffoli网络合成技术。ACM事务处理。设计。自动。电子。系统。12(4), 1–20 (2007) ·数字对象标识代码：10.1145/1278349.1278355 [6] Saeedi，M.、Sedighi，M.和Zamani，M.S.：可逆电路的新型综合算法。摘自：CAD国际会议，第65-68页（2007年） [7] Wille，R.，Große，D.，Dueck，G.，Drechsler，R.：带输出置换的可逆逻辑综合。摘自：超大规模集成电路设计，第189-194页（2009年）·doi:10.1109/VLSI。设计.2009.40 [8] Große，D.，Wille，R.，Dueck，G.W.，Drechsler，R.：采用SAT技术的精确多控制Toffoli网络综合。IEEE传输。CAD 28（5），703–715（2009）·doi:10.1109/TCAD.2009.2017215 [9] Wille，R.，Drechsler，R.：基于BDD的大函数可逆逻辑综合。摘自：设计自动化会议，第270-275页（2009年）·doi:10.145/1629911.1629984 [10] Saeedi，M.、Sedighi，M.和Zamani，M.S.：基于库的可逆逻辑综合方法。微电子。J.41（4），185-194（2010）·doi:10.1016/j.mejo.2010.02.002 [11] Saeedi，M.、Zamani，M.S.、Sedighi，M.和Sasanian，Z.：使用基于循环的方法进行可逆电路合成。J.Emerg.技术。计算。系统。6(4), 1–26 (2010) ·数字对象标识代码：10.1145/1877745.1877747 [12] Soeken，M.，Wille，R.，Hilken，C.，Przigoda，N.，Drechsler，R.：用于大函数的具有最小线路的可逆电路的合成。摘自：ASP设计自动化会议，第85-92页（2012年）·doi:10.1109/ASPDAC.2012.6165069 [13] Barenco，A.，Bennett，C.H.，Cleve，R.，DiVinchenzo，D.，Margolus，N.，Shor，P.，Sleator，T.，Smolin，J.，Weinfuter，H.：量子计算的基本门。美国物理。Soc.52、3457–3467（1995） [14] Miller，D.M.，Wille，R.，Sasanian，Z.：多控制Toffolli门的基本量子门实现。摘自：多值逻辑国际研讨会，第288-293页（2011年） [15] Sasanian，Z.，Wille，R.，Miller，D.M.：使用一类新的量子门实现可逆电路。摘自：设计自动化会议，第36-41页（2012年）·doi:10.1145/2228360.2228368 [16] Wille，R.，Soeken，M.，Otterstedt，C.，Drechsler，R.：使用多个目标线改进可逆电路到量子电路的映射。摘自：ASP设计自动化会议，第85-92页（2013年）·doi:10.1109/ASPDAC.2013.6509587 [17] Shende，V.V.，Bullock，S.S.，Markov，I.L.：量子逻辑电路的合成。IEEE传输。CAD 25（6），1000–1010（2006）·doi:10.1109/TCAD.2005.855930 [18] Hung，W.、Song，X.、Yang，G.、Yang、J.、Perkowski，M.：通过符号可达性分析，使用一组量子门优化合成多输出布尔函数。IEEE传输。CAD 25（9），1652-1663（2006）·doi:10.1109/TCAD.2005.858352 [19] Große，D.，Wille，R.，Dueck，G.W.，Drechsler，R.：基本量子门电路的精确综合。多值逻辑软计算。15(4), 270–275 (2009) ·兹比尔1236.94098 [20] Saeedi，M.、Arabzadeh，M.，Zamani，M.S.、Sedighi，M.：基于区块的量子逻辑合成。数量。Inf.计算。11(3&4), 262–277 (2011) ·Zbl 1237.81056号 [21] Niemann，P.，Wille，R.，Drechsler，R.：实现Clifford群运算的量子电路的高效合成。摘自：ASP设计自动化会议，第483–488页（2014）·doi:10.1109/ASPDAC.2014.6742938 [22] Saeedi，M.，Wille，R.，Drechsler，R.：线性最近邻体系结构的量子电路合成。数量。信息处理。10(3), 355–377 (2011) ·兹比尔1216.81052 ·doi:10.1007/s11128-010-0201-2 [23] Khan，M.H.：基于最近邻合成量子布尔电路的成本降低。工程租约。16(1), 1–5 (2008) [24] Hirata，Y.，Nakanishi，M.，Yamashita，S.，Nakashima，Y.：将任意量子电路转换为线性最近邻结构上的量子电路的有效方法。摘自：量子、纳米和微技术会议，第26-33页（2009年）·doi:10.1109/ICQNM.2009.25 [25] Shafaei，A.，Saeedi，M.，Pedram，M.：线性最近邻结构中量子电路相互作用距离的优化。In:设计自动化会议，第41–46页（2013）·数字对象标识代码：10.1145/2463209.2488785 [26] Wille，R.，Lye，A.，Drechsler，R.：最近邻量子电路的最佳SWAP门插入。摘自：ASP设计自动化会议，第489-494页（2014年）·doi:10.1109/ASPDAC.2014.6742939 [27] Wille，R.，Lye，A.，Drechsler，R.：最近邻量子体系结构电路线的精确重新排序。IEEE传输。CAD 33（12），1818–1831（2014）·doi:10.1109/TCAD.2014.2356463 [28] 米纳托，S.：\[\圆周率\]DD：一种新的决策图，用于置换空间中的高效问题求解。摘自：可满足性测试理论与应用会议，第90–104页（2011年）·兹比尔1330.68274 [29] Fowler，A.G.，Devitt，S.J.，Hollenberg，L.C.L.：Shor算法在线性最近邻量子比特阵列上的实现。数量。Inf.计算。4, 237–245 (2004) ·Zbl 1175.81053号 [30] Meter，R.V.，Oskin，M.：量子计算技术的架构含义。J.Emerg.技术。计算。系统。2(1), 31–63 (2006) ·doi:10.1145/126257.1126259 [31] Ross，M.，Oskin，M.：量子计算。通信ACM 51（7），12-13（2008）·数字对象标识代码：10.1145/1364782.1364787 [32] Amini，J.M.，Uys，H.，Wesenberg，J.H.，Seidelin，S.，Britton，J.，Bollinger，J.J.，Leibfried，D.，Ospelkaus，C.，VanDevender，A.P.，Wineland，D.J.：走向量子信息处理的可伸缩离子阱。新J.Phys。12(3), 033031 (2010) ·doi:10.1088/1367-2630/12/3/033031 [33] Kumph，M.、Brownnutt，M.和Blatt，R.：具有可寻址相互作用的射频离子阱二维阵列。新J.Phys。13(7), 073043 (2011) ·doi:10.1088/1367-2630/13/7/073043 [34] Nickerson，N.H.，Li，Y.，Benjamin，S.C.：具有非常嘈杂的网络和接近1%的局部错误率的拓扑量子计算。国家通讯社。4, 1756 (2013) ·doi:10.1038/ncomms2773 [35] Devitt，S.J.、Fowler，A.G.、Stephens，A.M.、Greentree，A.D.、Hollenberg，L.C.L.、Munro，W.J.、Nemoto，K.：拓扑簇态量子计算机的结构设计。新J.Phys。11(8), 083032 (2009) ·doi:10.1088/1367-2630/11/8/083032 [36] Yao，N.Y.、Gong，Z.X.、Laumann，C.R.、Bennett，S.D.、Duan，L.M.、Lukin，M.D.、Jiang，L.、Gorshkov，A.V.：远程量子寄存器之间的量子逻辑。物理学。版本A 87，022306（2013）·doi:10.10103/PhysRevA.87.022306 [37] Herrera-Martí，D.A.，Fowler，A.G.，Jennings，D.，Rudolph，T.：拓扑集群状态量子计算机的光子实现。物理学。版本A 82，032332（2010）·doi:10.1103/PhysRevA.82.032332 [38] Jones，N.C.、Van Meter，R.、Fowler，A.G.、McMahon，P.L.、Kim，J.、Ladd，T.D.、Yamamoto，Y.：量子计算的分层架构。物理学。修订版X 2，031007（2012） [39] Ohliger，M.，Eisert，J.：基于连续变量系统的高效测量量子计算。物理学。版本A 85，062318（2012）·doi:10.1103/PhysRevA.85.062318 [40] DiVincenzo，D.P.，Solgun，F.：电路量子电动力学中的多量子比特奇偶性测量。新J.Phys。15(7), 075001 (2013) ·doi:10.1088/1367-2630/15/7/075001 [41] Gebser，M.、Kaufmann，B.、Neumann，A.、Schaub，T.：冲突驱动的答案集求解。在：国际人工智能联合会议，第386–392页（2007年）·Zbl 1149.68332号 [42] Wille，R.、Große，D.、Teuber，L.、Dueck，G.W.、Drechsler，R.：RevLib：可逆函数和可逆电路的在线资源。摘自：《多值逻辑国际研讨会》，第220-225页（2008年）。RevLib位于http://www.revlib.org 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。