×
西蒙·马蒂尔；马克西姆·雷穆德

量子回溯算法的实际实现。 （英语） Zbl 1440.68098号

Chatzigeorgiou，Alexander（编辑）等人，SOFSEM 2020：计算机科学的理论与实践。第46届信息学理论和实践当前趋势国际会议，SOFSEM 2020，利马索尔，塞浦路斯，2020年1月20日至24日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12011, 597-606 (2020).
小结：在之前的工作中，A.蒙塔纳罗【理论计算14，论文编号15，24 p.（2018；Zbl 1417.68046号)] 提出了一种获得回溯算法量子加速比的方法，回溯是解决约束满足问题的通用元算法。在这项工作中，我们推导出了这种方法的空间效率实现。假设我们要求解一个对（n）变量具有（m）约束的CSP，并且这些变量取值的域具有基数（d）。然后，我们证明了Montanaro回溯算法的实现可以通过使用（mathcal{O}（n\log{d}）数据量子位来完成。我们详细介绍了与CSP关联的谓词的实现，该谓词带有一个额外的寄存器\（\mathcal{O}（\log{m}）\）qubits。我们明确了图着色和SAT问题的实现，并给出了仿真结果。最后，我们讨论了在量子环境中使用静态和动态变量排序启发式的影响。
有关整个系列，请参见[Zbl 1435.68022号].

MSC公司：

2012年第68季度 计算理论中的量子算法和复杂性
68兰特 可满足性的计算方面
68兰特 计算机科学中的图论（包括图形绘制）

关键词：

回溯算法；量子行走；CSP公司；图着色；坐

引文：

Zbl 1417.68046号

软件：

超小卫星
PDF格式BibTeX公司 XML格式引用
\textit{S.Martiel}和\textit{M.Remaud}，莱克特。注释计算。科学。12011、597--606（2020；Zbl 1440.68098）
全文： 内政部 arXiv公司

参考文献：

[1] Ambainis，A.：量子行走及其算法应用。《国际量子信息》01（04），507-518（2003）。https://doi.org/10.1142/S0219749903000383 ·Zbl 1069.81505号 ·doi:10.1142/S0219749903000383
[2] Ambainis，A.：用于元素区分的量子行走算法。SIAM J.计算。37(1), 210-239 (2007). https://doi.org/10.1137/S0097539705447311 ·Zbl 1134.81010号 ·doi:10-239&publication_year=2007&doi=10.1137/S0975397054447311发布日期
[3] Ambainis，A.，Kokainis，M.：用于树大小估计的量子算法，应用于回溯和两层游戏。在：第49届STOC会议记录。ACM（2017）。https://doi.org/10.1145/3055399.3055444 ·Zbl 1369.68210号 ·数字对象标识代码：10.1145/3055399.3055444
[4] Aono，Y.，Nguyen，P.Q.，Shen，Y.：量子晶格枚举和调整离散修剪。收件人：Peyrin，T.，Galbraith，S.（eds.）ASIACRYPT 2018。LNCS，第11272卷，第405-434页。查姆施普林格（2018）。https://doi.org/10.1007/978-3-030-03326-2_14 ·Zbl 1446.94094号 ·doi:10.1007/978-3-030-03326-2_14
[5] Belovs，A.，Childs，A.M.，Jeffery，S.，Kothari，R.，Magniez，F.：3区分的省时量子漫步。收件人：Fomin，F.V.，Freivalds，R.，Kwiatkowska，M.，Peleg，D.（编辑）ICALP 2013。LNCS，第7965卷，第105-122页。斯普林格，海德堡（2013）。https://doi.org/10.1007/978-3642-39206-110 ·Zbl 1336.68081号 ·doi:10.1007/978-3-642-39206-110
[6] Campbell，E.，Khurana，A.，Montanaro，A.：将量子算法应用于约束满足问题。Quantum 3167（2018）。https://doi.org/10.22331/q-2019-07-18-167 ·doi:10.22331/q-2019-07-18-167
[7] Childs，A.、Cleve，R.、Deotto，E.、Farhi，E.、Gutmann，S.、Spielman，D.：量子行走的指数算法加速。参见：第35届STOC会议记录。ACM（2003）。https://doi.org/10.1145/780542.780552 ·Zbl 1192.81059号 ·数字对象标识代码：10.1145/780542.780552
[8] Davis，M.，Logemann，G.，Loveland，D.：理论证明的机器程序。Commun公司。ACM 5（7），394-397（1962）。https://doi.org/10.1145/368273.368557 ·Zbl 0217.54002号 ·数字对象标识代码：10.1145/368273.368557
[9] Davis，M.，Putnam，H.：量化理论的计算程序。JACM 7（3），201-215（1960）。https://doi.org/10.1145/321033.321034 ·Zbl 0212.34203号 ·数字对象标识代码：10.1145/321033.321034
[10] Eén，n.，Sörensson，n.：可扩展SAT解决方案。收录：Giunchiglia，E.，Tacchella，A.（编辑）SAT 2003。LNCS，第2919卷，第502-518页。斯普林格，海德堡（2004）。https://doi.org/10.1007/978-3-540-24605-3_37 ·Zbl 1204.68191号 ·doi:10.1007/978-3-540-24605-337
[11] Gomes，C.P.，Kautz，H.，Sabharwal，A.，Selman，B.：可满足性求解器。摘自：《知识表示手册》。Elsevier（2008）。https://doi.org/10.1016/S1574-6526(07)03002-7 ·doi:10.1016/S1574-6526（07）03002-7
[12] Gu，J.，Purdom，P.W.，Franco，J.，Wah，B.W.：可满足性（SAT）问题的算法：一项调查。在：组合优化手册。斯普林格（1999）https://doi.org/10.1007/978-1-4757-3023-4_7 ·Zbl 1253.90196号 ·doi:10.1007/978-1-4757-3023-47
[13] Kempe，J.：量子随机游走：介绍性概述。康斯坦普。物理。44(4), 307-327 (2003). https://doi.org/101080/00107151031000110776 ·doi:10.1080/00107151031000110776
[14] Magniez，F.、Nayak，A.、Roland，J.、Santha，M.：通过量子行走进行搜索。参见：第39届STOC会议记录。计算理论（2007）。https://doi.org/10.1145/1250790.1250874 ·Zbl 1232.68053号 ·数字对象标识代码：10.1145/1250790.1250874
[15] Malaguti，E.，Toth，P.：顶点着色问题的调查。国际事务处理。操作。第17（1）号决议，1-34（2010）。https://doi.org/10.1111/j.1475-3995.2009.00696.x ·Zbl 1223.05079号 ·doi:10&doi=10.1111/j.1475-3995.2009.00696.x
[16] Montanaro，A.：回溯算法的量子行走加速。理论计算。14(15), 1-24 (2018). https://doi.org/10.4086/toc.2018.v014a015 ·Zbl 1417.68046号 ·doi:10.4086/toc.2018.v014a015
[17] Montanaro，A.：分支定界算法的量子加速。arXiv:1906.10375（2019）
[18] Montanaro，A.：来自CSP量子算法的数据。c9引脚。2019年7月访问。https://doi.org/10.5523/bris.19va21gun3c7629f291kmd6w37 ·doi:10.5523/bris.19va21gun3c7629f291kmd6w37
[19] Santha，M.：基于量子行走的搜索算法。作者：Agrawal，M.，Du，D.，Duan，Z.，Li，A.（编辑）TAMC 2008。LNCS，第4978卷，第31-46页。施普林格，海德堡（2008）。https://doi.org/10.1007/978-3-540-79228-4_3 ·Zbl 1139.68338号 ·doi:10.1007/978-3-540-79228-43
[20] Szegedy，M.：基于马尔可夫链的算法的量子加速。在：FOCS 2004。IEEE（2004）。https://doi.org/10.1109/FOCS.2004.53 ·doi:10.1109/FOCS.2004.53
[21] 范·比克，P·doi:10.1016/S1574-6526（06）80008-8
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。