×
卡拉·席尔瓦;安娜·阿奎尔;Priscila M.V.利马。;杜特拉，因斯

将TSP的逻辑表示映射到量子退火。 （英语） Zbl 1508.81535号

量子信息处理。 20，第12号，第386号论文，21页（2021年）.
摘要：这项工作展示了基于伪布尔约束的旅行销售人员问题（TSP）到D-Wave Systems Inc.图的映射。我们首先将问题表示为命题逻辑中表示的一组约束，然后使用SATyrus方法将约束集转换为能量最小化问题。接下来，我们将该公式转换为二次无约束二元优化问题（QUBO），并使用不同的方法解决该问题：（a）在von Neumann机器中使用模拟退火的经典QUBO，（b）在模拟量子环境中使用QUBO；（c）使用D波量子机的QUBO。此外，我们研究了通过使用这三种方法探索近似解可以实现的时间量和执行时间减少。结果表明，对于节点数小于或等于7的每个测试图大小，我们总是可以获得至少一个最优解。此外，对于相同的迭代次数和重复次数，D-Wave机器可以比经典机器更频繁地找到最优解。然而，对于小型图，执行时间可能比经典或模拟方法高出几个数量级。对于更多的节点，在量子机中找到第一个最优解的平均执行时间比经典算法好26%（n=6）和47%（n=7）。

MSC公司：

81页68 量子计算

关键词：

绝热量子计算;二次无约束二进制优化;约束与逻辑编程;应用;伪布尔优化

软件：

github;PyQUBO公司
PDF格式BibTeX公司 XML格式引用
\textit{C.Silva}等人，《量子信息处理》。20，第12号，第386号论文，21页（2021；Zbl 1508.81535）
全文： 内政部

参考文献：

[1] Albash，T。；激光雷达，DA，绝热量子计算，修订版。物理。，90, 1 (2018) ·doi:10.1103/RevModPhys.90.015002
[2] Ayanzadeh，R。；Halem，M。；Finin，T.，《增强量子退火：混合量子学习自动机》，科学。众议员，10，17952（2020）·doi:10.1038/s41598-020-64078-1
[3] 伯纳尔，德国；KEC展位；德里迪，R。；Alghassi，H。；Tayur，S。；文丘里·D·。；希伯拉德，E。；Musliu，N.，量子退火器中小嵌入的整数编程技术，约束编程、人工智能和运筹学的集成，112-129（2020），Cham:Springer，Cham·Zbl 07636015号 ·doi:10.1007/978-3-030-58942-4_8
[4] Booth，K.E.C.，O'Gorman，B.，Marshall，J.，Hadfield，S.，Rieffel，E.：Quantum-accelerated global constraint filtering。In:Simonis，H.（ed.）Principles and Practice of constraint Programming，pp.72-89。查姆斯普林格（2020）
[5] Boothby，K.，Bunyk，P.，Raymond，J.，Roy，A.：D波量子处理器的下一代拓扑结构。arXiv电子打印arXiv:2003.0133（2020）
[6] 博罗夫斯基，M。；戈拉，P。；卡纳斯，K。；Błajda，M。；Król，K。；Matyjasek，A。；伯奇克·D·。；Szewczyk，M。；库特温，M。；Krzhizhanovskaya，VV；Závodszky，G。；Lees，MH；JJ Dongarra；斯洛特，PMA；南卡罗来纳州布里索斯。；Teixeira，J.，解决车辆路径问题的新型混合量子退火算法，计算科学-ICCS 2020，546-561（2020），Cham:Springer，Cham·doi:10.1007/978-3-030-50433-5_42
[7] Dai，S.，关于量子逻辑蕴涵算子的注记，量子力学。智力。，2, 2, 15 (2020) ·doi:10.1007/s42484-020-00029-3
[8] Dattani，N.，Chancellor，N.：在嵌合体和飞马座图上嵌入象限化小工具。arXiv:1901.07676（2019）
[9] Djidjev，H.N.、Chapuis，G.、Hahn，G.和Rizk，G.：使用量子退火的高效组合优化。arXiv：1801.08653（2018）
[10] Farhi，E.，Goldstone，J.，Gutmann，S.，Sipser，M.：绝热演化的量子计算。arXiv电子打印pp quant-ph/0001106（2000）
[11] 霍普菲尔德，JJ，《具有涌现集体计算能力的神经网络和物理系统》，Proc。国家。阿卡德。科学。，79, 8, 2554-2558 (1982) ·Zbl 1369.92007号 ·doi:10.1073/pnas.79.8.2554
[12] JJ霍普菲尔德；Tank，DW，优化问题中决策的神经计算，生物。赛博。，52, 3, 141-152 (1985) ·Zbl 0572.68041号
[13] 胡，F。；Lamata，L。；桑兹，M。；陈，X。；陈，X。；王，C。；Solano，E.，《量子计算密码学：用2000量子比特d波量子计算机通过量子退火寻找加密布尔函数》，Phys。莱特。A、 384、10、126214（2020年）·doi:10.1016/j.physleta.2019.126214
[14] 侯赛因，H。；Javaid，MB；可汗，FS；Dalal，A。；Khalique，A.，使用量子退火优化交通信号控制，量子信息处理。，19, 9, 312 (2020) ·doi:10.1007/s11128-020-02815-1
[15] 包括DWS。D波。https://www.dwavesys.com (2020)
[16] 包括DWS。跳跃。https://cloud.dwavesys.com/leap/ (2020)
[17] Jalowiecki，K。；Wieckowski，A。；加伦，P。；Gardas，B.，与量子退火器的时间动力学并行，科学。代表，10，1，13534（2020年）·doi:10.1038/s41598-020-70017-x
[18] Li，R.Y.、Di Felice，R.、Rohs，R.和Lidar，D.A.：量子退火与经典机器学习应用于简化计算生物学问题。npj Quantum Inf.4（1），14（2018）
[19] Lima，P.M.V.，Pereira，G.C.，Morveli Espinoza，M.M.M.，França，F.M.G.：通过伪布尔约束将组合问题映射并组合到能源景观中。摘自：De Gregorio，M.、Di Maio，V.、Frucci，M.和Musio，C.（编辑）Brain Vis。Artif公司。智力。，第308-317页。柏林施普林格出版社（2005）
[20] Lucas，A.：许多np问题的Ising公式。前面。物理学。2 (2014)
[21] Lucas，A.，许多np问题的Ising公式，Front。物理。，2, 5 (2014) ·doi:10.3389/fphy.2014.00005
[22] Maádziuk，J.，用hopfield型神经网络解决旅行推销员问题，Demonstr。数学。，29, 1, 219-232 (1996) ·Zbl 0914.90257号
[23] Martoňák，R.，Santoro，G.E.，Tosatti，E.：旅行售货员问题的量子退火。物理学。E版70（5）（2004年）
[24] McGeoch，CC，基于退火的量子计算理论与实践，Theor。计算。科学。，816, 169-183 (2020) ·Zbl 1435.81059号 ·doi:10.1016/j.tcs.2020.01.024
[25] 米什拉，A。；Albash，T。；激光雷达，DA，有限温度量子退火求解非单调成功概率指数小间隙问题，国家通讯。，9, 1, 2917 (2018) ·doi:10.1038/s41467-018-05239-9
[26] 阴性，CF；Ushijima-Mwesigwa，H。；Mniszewski，SM，《在d波系统上使用量子退火检测多个社区》，《公共科学图书馆·综合》，第15期，第2期（2020年）·doi:10.1371/journal.pone.0227538
[27] Nimbe，P。；韦约里，BA；阿德科亚，AF，《量子计算模型：系统综述》，《量子信息处理》。，20, 2, 80 (2021) ·兹比尔1509.81292 ·doi:10.1007/s11128-021-03021-3
[28] Ohzeki，M.，打破量子退火在解决约束优化问题中的限制，科学。代表10、1、3126（2020年）·doi:10.1038/s41598-020-60022-5
[29] 冈田，S。；Ohzeki，M。；Terabe，M。；Taguchi，S.，通过在d波量子退火器中嵌入较大的子问题来改进解决方案，Sci。代表9、1、1-10（2019年）
[30] Palubeckis，G.，无约束二元二次优化问题的多重启动禁忌搜索策略，Ann.Oper。第131、1259-282号决议（2004年）·Zbl 1066.90069号 ·doi:10.1023/B:ANOR.000039522.58036.68
[31] Pastorello，D。；Blanzieri，E.，量子退火学习搜索解决量子问题，量子信息处理。，18, 10, 303 (2019) ·Zbl 1508.81517号 ·doi:10.1007/s11128-019-2418-z
[32] 皮尔逊，A。；米什拉，A。；母鸡。；激光雷达，DA，《量子退火中的模拟误差：末日与希望》，NPJ quantum Inf.，5，1-9（2019）·doi:10.1038/s41534-019-0210-7
[33] JY Potvin，《旅行推销员问题现状调查：神经网络视角》，ORSA J.Compute。，5, 4, 328-348 (1993) ·Zbl 0789.90086号 ·doi:10.1287/ijoc.5.4.328
[34] Raymond，J.，Ndiaye，N.，Rayaprolu，G.，King，A.D.：通过参数调整和拓扑补偿提高逻辑量子位的性能。In:2020 IEEE量子计算与工程国际会议（QCE）（2020）
[35] Reichardt，B.W.：量子绝热优化算法和局部极小值。摘自：第三十六届美国计算机学会计算机理论年会论文集，美国纽约州纽约市计算机协会，STOC'04，第502-510页（2004）·Zbl 1192.81098号
[36] Silva，C.，Dutra，I.：代码[可用]。https://github.com/cmaps/tsp-量子退火 (2020)
[37] 席尔瓦，C。；Aguiar，A。；利马，PMV；Dutra，I.，图着色到量子退火的映射，量子马赫。智力。，2, 2, 16 (2020) ·doi:10.1007/s42484-020-00028-4
[38] Srinivasan，K.，Satyajit，S.，Behera，B.K.，Panigrahi，P.K.：解决旅行推销员问题的高效量子算法：ibm量子体验。arXiv:1805.10928（2018）
[39] Streif，M.，Neukart，F.，Leib，M.:用d波量子退火器解决量子化学问题。参加：量子技术与优化问题国际研讨会。施普林格，第111-122页（2019）
[40] Tan，K.，Tang，H.，Ge，S.：关于应用于旅行商问题的hopfield网络的参数设置。IEEE传输。电路系统。我是Regul。巴普。52(5), 994-1002 (2005) ·Zbl 1374.82025号
[41] 王，C。；陈，H。；Jonckheere，E.，《无线干扰网络优化中的量子与模拟退火》，科学。众议员，6，1，25797（2016）·doi:10.1038/srep25797
[42] Warren，RH，在量子退火机上解决旅行推销员问题，SN Appl。科学。，2, 1, 75 (2019) ·数字对象标识代码：10.1007/s42452-019-1829-x
[43] Zaman，M.，Tanahashi，K.，Tanaka，S.：Pyqubo：将组合优化问题映射为qubo形式的python库。arXiv:2103.01708（2021）·Zbl 07568687号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。