×
埃莉诺·里菲尔（Eleanor G.Rieffel）。;戴维·文图雷利;布莱恩·奥戈曼;做，明B。;Prystay，Elicia M。;瓦迪姆·N·斯梅尔扬斯基。

针对硬性操作规划问题的量子退火编程案例研究。 （英语） Zbl 1311.81084号

量子信息处理。 14，第1期，1-36页（2015年）.
摘要：我们报告了一个早期量子退火程序编程的案例研究，以解决与操作规划相关的优化问题。虽然许多研究考察了量子退火器在其架构固有问题上的性能，其他研究也考察了源于应用领域的选择问题的性能，但我们的研究是第一批从实际领域研究量子退火器在参数化难题族上的性能。我们研究了规划问题到二次无约束二元优化（QUBO）问题的两种不同的一般映射，并将它们应用于两类参数化的规划问题，即导航型和调度型。我们还研究了两个更紧凑但特定于问题类型的映射到QUBO，一个用于导航类型规划问题，另一个用于调度类型规划问题。我们研究了嵌入特性和参数设置，并检查了它们对量子效率的影响退火机解决了这些问题。从这些结果中，我们得出了对未来量子退火器的编程和设计有用的见解：问题选择、使用的映射、嵌入的属性和退火轮廓都很重要，每一个都会显著影响性能。

引用于27文件

MSC公司：

81页68 量子计算

关键词：

量子计算;量子退火关键字;运营规划

软件：

图规划
PDF格式BibTeX公司 XML格式引用
\textit{E.G.Rieffel}等人，《量子信息处理》。14，第1号，1-36（2015；Zbl 1311.81084）
全文： 内政部 arXiv公司

参考文献：

[1] Rieffel，E.G.，Polak，W.：《量子计算入门》。麻省理工学院出版社，马萨诸塞州剑桥（2011）·Zbl 1221.81003号
[2] Nielsen，M.，Chuang，I.L.：量子计算和量子信息。剑桥大学出版社，剑桥（2001）
[3] Farhi，E.，Goldstone，J.，Gutmann，S.，Sipser，M.：绝热演化的量子计算。arXiv:quant-ph/0001106（2000）
[4] Das，A.，Chakrabarti，B.K.：学术讨论会：量子退火和模拟量子计算。修订版Mod。物理学。80, 1061 (2008) ·Zbl 1205.81058号 ·doi:10.1103/RevModPhys.80.1061
[5] Smelyanskiy，V.N.，Rieffel，E.G.，Knysh，S.I.，Williams，C.P.，Johnson，M.W.，Thom，M.C.，Macready，W.G.，Pudenz，K.L.：空间探索中硬计算问题的近期量子计算方法。arXiv:1204.2821（2012）
[6] Johnson，M.、Amin，M.、Gildert，S.、Lanting，T.、Hamze，F.、Dickson，N.、Harris，R.、Berkley，A.、Johansson，J.、Bunyk，P.等人：制造自旋的量子退火。《自然》473（7346），194（2011）·doi:10.1038/nature10012
[7] Boixo，S.、Albash，T.、Spedalieri，F.M.、Chanceller，N.、Lidar，D.A.：可编程量子退火的实验特征。国家公社。(2013). doi:10.1038/ncomms3067
[8] Smolin，J.A.，Smith，G.：量子退火的经典特征。arXiv：1305.4904（2013年）·Zbl 1017.68533号
[9] Wang，L.，Rönnow，T.F.，Boixo，S.，Isakov，S.V.，Wang，Z.，Wecker，D.，Lidar，D.A.，Martinis，J.M.，Troyer，M.：评论“量子退火的经典签名”。arXiv:1305.5837（2013）·Zbl 1072.68076号
[10] Boixo，S.、Rønnow，T.F.、Isakov，S.V.、Wang，Z.、Wecker，D.、Lidar，D.A.、Martinis，J.M.、Troyer，M.：一百多个量子位量子退火的证据。自然物理学。10(3), 218 (2014) ·doi:10.1038/nphys2900
[11] Shin，S.W.，Smith，G.，Smolin，J.A.，Vazirani，U.：D波机器的“量子”程度如何？arXiv:1401.7087（2014）
[12] Vinci，W.，Albash，T.，Mishra，A.，Warburton，P.A.，Lidar，D.A.：区分D波器件的经典模型和量子模型。arXiv:1403.4228（2014）
[13] Shin，S.W.，Smith，G.，Smolin，J.A.，Vazirani，U.：评论“区分D波器件的经典和量子模型”。arXiv:1404.6499（2014）
[14] Rieffel，E.G.，Venturelli，D.，Hen，I.，Do，M.，Frank，J.：阶段转换的硬规划问题的参数化族。摘自：《第二十届AAAI人工智能会议论文集》（AAAI-14），第2337-2343页，（2014）·Zbl 1036.68093号
[15] Wang，Z.，Boixo，S.，Albash，T.，Lidar，D.：通过2D-Ising自旋玻璃对D波绝热量子优化器进行基准测试。APS会议摘要。1, 27005 (2013)
[16] Rönnow，T.F.，Wang，Z.，Job，J.，Boixo，S.，Isakov，S.V.，Wecker，D.，Martinis，J.M.，Lidar，D.A.，Troyer，M.：定义和检测量子加速。《科学》345（6195），420（2014）
[17] Wang，Z.，Job，J.，Troyer，M.，Lidar，D.A.等人：使用D波二实现的随机伊辛问题的量子退火性能。牛市。美国物理。Soc.（2014年）
[18] Venturelli，D.、Mandra，S.、Knysh，S.，OGorman，B.、Biswas，R.、Smelyanskiy，V.：全连接自旋玻璃的量子优化。arXiv:1406.7553（2014）
[19] Kassal，I.、Whitfield，J.D.、Perdomo-Ortiz，A.、Yung，M.H.、Aspuru-Guzik，A.：使用量子计算机模拟化学。arXiv:1007.2648（2010）
[20] Perdomo-Ortiz，A.、Dickson，N.、Drew-Brook，M.、Rose，G.、Aspuru-Guzik，A.：通过量子退火发现晶格蛋白模型的低能构象。科学。代表（2012年）。doi:10.1038/srep00571
[21] Babbush，R.，Perdomo-Ortiz，A.，O'Gorman，B.，Macready，W.，Aspuru-Guzik，A.：晶格异质聚合物模型能量函数的构建：约束满足编程和绝热量子优化的案例研究。arXiv:1211.3422（2012）·Zbl 1072.68076号
[22] Babbush，R.，Love，P.J.，Aspuru-Guzik，A.：量子化学的绝热量子模拟。arXiv:1311.3967（2013）·兹比尔1279.81041
[23] Perdomo-Ortiz，A.、Fluegemann，J.、Narasimhan，S.、Smelyanskiy，V.、Biswas，R.：电力系统多重故障诊断的量子方法。第五届IEEE信息技术空间任务挑战国际会议。（待发布）（2014年）
[24] O'Gorman，B.，Perdomo-Ortiz，A.，Babbush，R.，Aspuru-Guzik，A.，Smelyanskiy，V.：使用量子退火的贝叶斯网络结构学习。欧洲物理学。J.规格顶部。arXiv:1407.3897（2014）·Zbl 1205.81058号
[25] Perdomo-Ortiz，A.，Fluegemann，J.，Narasimhan，S.，Biswas，R.，Smelyanskiy，V.：在量子退火设备上编程和解决实际应用。arXiv:1406.7601（2014）
[26] Fikes，R.E.，Nilsson，N.J.：STRIPS：应用定理证明解决问题的新方法。工件。智力。2(3), 189 (1972) ·Zbl 0234.68036号
[27] Ghallab，M.，Nau，D.，Traverso，P.：自动化规划：理论与实践。Elsevier，阿姆斯特丹（2004）·Zbl 1074.68613号
[28] Long，D.，Fox，M.：PDDL2。1：PDDL的扩展，用于表示时间规划域。J.阿蒂夫。智力。第20号决议，第1号决议（2003年）·Zbl 1036.68097号 ·doi:10.1023/A:1026044009832
[29] Helmert，M.：规划中标准基准领域的复杂性结果。阿蒂菲。智力。J.143（2），219-262（2003）·Zbl 1079.68621号
[30] Hoffmann，J.：规划基准中的局部搜索拓扑：实证分析。J.阿蒂夫。智力。第24、685号决议（2005年）·Zbl 1080.68668号
[31] Komlós，J.，Szemerédi，E.：随机图中哈密顿圈存在的极限分布。离散数学。43(1), 55 (1983) ·Zbl 0521.05055号 ·doi:10.1016/0012-365X（83）90021-3
[32] Cheeseman，P.，Kanefsky，B.，Taylor，W.M.：真正困难的问题在哪里。IJCAI 91、331-337（1991）·兹比尔074768064
[33] Chien，S.、Johnston，M.、Frank，J.、Giuliano，M.，Kavelaars，A.、Lenzen，C.、Policella，N.、Verfailie，G.：自动化空间任务操作的通用时间线表示、服务和接口。参加：第十二届国际空间行动会议（2012年）·Zbl 1279.81041号
[34] Achlioptas，D.，Friedgut，E.：k着色性的一个明显阈值。随机结构。算法。14(1), 63 (1999) ·兹比尔0962.05055 ·doi:10.1002/（SICI）1098-2418（1999010）14:1<63:：AID-RSA3>3.0.CO；2-7
[35] Coja-Oghlan，A.：通过计算覆盖数来提高k着色阈值。arXiv:1305.0177（2013）·Zbl 1298.05285号
[36] Achlioptas，D.，Moore，C.：几乎所有平均度为4的图都是3色的。J.计算。系统。科学。67(2), 441 (2003) ·Zbl 1072.68076号 ·doi:10.1016/S0022-0000（03）00120-X
[37] Dubois，O.，Mandler，J.：关于随机图的非3着色性。arXiv:math/0209087（2002）·Zbl 1038.68052号
[38] 卡尔伯森，J.，比彻姆，A.，帕普，D.：隐藏我们的颜色。摘自：《CP95研究和解决真正困难问题研讨会论文集》，第31-42页，（1995年）
[39] Choi，V.：绝热量子计算中的小嵌入：II。小型通用图形设计。量子信息处理。7(5), 193 (2008) ·Zbl 1160.81326号 ·doi:10.1007/s11128-008-0082-9
[40] Lucas，A.：许多NP问题的Ising公式。arXiv:1302.5843（2013）
[41] Blum，A.，Furst，M.：通过规划图分析快速规划。工件。智力。J.90，281（1997）·Zbl 1017.68533号 ·doi:10.1016/S0004-3702（96）00047-1
[42] Kautz，H.：第四届国际规划竞赛工作说明（IPC-2004），第44-45页（2004）
[43] Boros，E.，Hammer，P.L.：伪布尔优化。离散应用程序。数学。123(1), 155 (2002) ·Zbl 1076.90032号 ·doi:10.1016/S0166-218X（01）00341-9
[44] Babbush，R.，O'Gorman，B.，Aspuru-Guzik，A.：编译绝热量子优化问题的资源高效小工具。安·物理。525(10-11), 877 (2013) ·兹比尔1279.81041 ·doi:10.1002/和p.201300120
[45] Klymko，C.，Sullivan，B.D.，Humble，T.S.：绝热量子编程：带有硬断层的微小嵌入。量子信息处理。13(3), 709 (2014) ·Zbl 1291.81099号 ·doi:10.1007/s11128-013-0683-9
[46] Cai，J.，Macready，B.，Roy，A.：寻找图子项的实用启发式方法。arXiv:1406.2741（2014）
[47] Pudenz，K.L.，Albash，T.，Lidar，D.A.：数百量子比特的纠错量子退火。国家公社。(2014). doi:10.1038/ncomms4243
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。