×
维多利亚州霍兰;史蒂夫·阿达奇;斯坦利·巴克

图上找出最小识别码的方法的比较。 （英语） Zbl 1338.81136号

量子信息处理。 第15期，第5期，1827-1848（2016）.
小结：为了形成可能为真的数学猜想，必须确定一些基本情况。然而，许多组合问题都是NP-hard问题，计算复杂性使得在典型计算机上使用标准的蛮力方法很难实现这种研究方法。探索的一个示例问题是找到最小识别码。为了解决计算问题，探索了多种方法，包括使用MATLAB的并行计算方法、使用D波量子退火处理器的绝热量子优化方法，以及最后使用可满足性模理论（SMT）和相应的SMT求解器。这些方法中的每一种都要求以一种独特的方式来表述问题。在这篇文章中，我们讨论了关于这些方法中的每一种计算NP-hard问题的解决方案的挑战。

MSC公司：

81页68 量子计算

关键词：

图论;SMT解算器;量子退火

软件：

Matlab公司
PDF格式BibTeX公司 XML格式引用
\textit{V.Horan}等人，《量子信息处理》。15，第5号，1827--1848（2016；Zbl 1338.81136）
全文： 内政部 arXiv公司

参考文献：

[1] Babbush，R.，O'Gorman，B.，Aspuru-Guzik，A.：编译绝热量子优化问题的资源高效小工具。arXiv:1307.8041v1[quant-ph]·Zbl 1279.81041号
[2] Barrett，C.，Sebastiani，R.，Seshia，S.A.，Tinelli，C.：可满足性模理论。参见：Biere，A.，Huele，M.，van Maaren，H.，Walsh，T.（编辑）《可满足性手册》，第825-885页。荷兰阿姆斯特丹，IOS出版社（2009）
[3] Boixo，S.、Albash，T.、Spedalieri，F.M.、Chanceller，N.、Lidar，D.A.：可编程量子退火的实验特征。国家公社。4, 2067 (2013) ·doi:10.1038/ncomms3067
[4] Boutin，D.，Horan，V.，Pelto，M.：有向De Bruijn图上的识别码。arXiv:1412.5842v2（已提交）·Zbl 1411.05099号
[5] Cai，J.，Macready，W.G.，Roy，A.：寻找图子项的实用启发式方法。arXiv:1406.2741v1[quant-ph]
[6] Charon，I.，Hudry，O.，Lobstein，A.：最小化图中识别或定位支配代码的大小是NP-Hard。西奥。计算。科学。290(3), 2109-2120 (2003) ·Zbl 1044.68066号 ·文件编号：10.1016/S0304-3975（02）00536-4
[7] Choi，V.：绝热量子计算中的微小嵌入I.参数设置问题。量子信息处理。7, 193-209 (2008) ·Zbl 1160.81326号 ·doi:10.1007/s11128-008-0082-9
[8] Choi，V.：绝热量子计算中的小嵌入II。小型通用图形设计。量子信息处理。10, 343-353 (2011) ·兹比尔1216.81048 ·doi:10.1007/s11128-010-0200-3
[9] Farhi，E.，Goldstone，J.，Sipser，M.：绝热演化的量子计算。arXiv：定量ph/0001106·Zbl 1216.81048号
[10] Gaitan，F.，Clark，L.：图同构和绝热量子计算。物理学。版本A 89（2），022342（2014）·doi:10.1103/PhysRevA.89.022342
[11] Horan，V.：关于无向De Bruijn图中t-标识码的存在性。arXiv:1508.00403
[12] Johnson，M.W.，Amin，M.H.S.，Gildert，S.，Lanting，T.，Hamze，F.，Dickson，N.，Harris，R.，Berkley，A.J.，Johansson，J.，Bunyk，P.，Chapple，E.M.，Enderud，C.，Hilton，J.P.，Karimi，K.，Ladizinsky，E.，Ladiginsky，N，G.：用制造的自旋进行量子退火。《自然》473194-198（2011）·doi:10.1038/nature10012
[13] Karpovsky，M.G.，Chakrabarty，K.，Levitin，L.B.：关于识别顶点图的一类新代码。IEEE传输。《信息论》355（2），599-611（1998）·Zbl 1105.94342号 ·数字对象标识代码：10.1109/18.661507
[14] King，A.D.，McGeoch，C.C.：量子退火平台的算法工程。arXiv:14100.2628v2[cs.DS]
[15] Klymko，C.，Sullivan，B.，Humble，T.：绝热量子编程：带有硬断层的微小嵌入。量子信息处理。13, 709-729 (2014) ·Zbl 1291.81099号 ·doi:10.1007/s11128-013-0683-9
[16] Kreher，D.L.，Stinson，D.R.：组合算法：生成、枚举和搜索。收录：《离散数学及其应用》，第7册。CRC出版社，博卡拉顿（1998）
[17] Lucas，A.：许多NP问题的Ising公式。前面。物理学。2014年2月5日·doi:10.3389/fphy.2014.00005
[18] 弥赛亚：《量子力学》，第二卷。威利，纽约（1976年）·Zbl 0102.42602号
[19] Mishra，V.，Mathew，J.，Pradhan，D.K.：无线传感器网络的容错de Bruijn图形基多用途架构和路由协议。国际期刊Sens.Netw。10(3), 160-175 (2011) ·doi:10.1504/IJSNET.2011.042199
[20] Moussa，H.，Baghdadi，A.，Jezequel，M.：用于灵活多处理器LDPC解码器的二进制de Briujn芯片网络。ACM/IEEE设计。自动。Conf.429-434（2008）
[21] Perdomo Ortiz，A.，Fluegemann，J.，Biswas，R.，Smelyanskiy，V.N.：量子退火器的性能估计器：规范选择和参数设置。arXiv:1503.01083v1[quant-ph]
[22] Ray，S.、Starobnski，D.、Trachtenberg，A.、Ungrangsi，R.：传感器网络的稳健位置检测。IEEE J.选择。公共区域。22(6), 1016-1025 (2004) ·doi:10.1109/JSAC.2004.830895
[23] Rieffel，E.G.，Venturelli，D.，O'Gorman，B.，Do，M.B.，Prystay，E.，Smelyanskiy，V.N.：为难操作规划问题编写量子退火程序的案例研究。arXiv:1407.2887v1[quant-ph]·Zbl 1311.81084号
[24] Xu，Y.C.，Xiao，R.B.：第八届ACIS软件工程、人工智能、网络和并行/分布式计算国际会议，第97-101页（2007）·Zbl 1105.94342号
[25] Zick，K.M.，Shehab，O.，French，M.：实验量子退火：涉及图同构问题的案例研究。arXiv:1503.06453v1[quant-ph]
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。