×

兹马思-数学第一资源

用量子退火器求解SAT(和MaxSAT):基础、编码和初步结果。(英语) Zbl 07285766号
摘要:量子退火机(QAs)是一种专门的量子计算机,它通过物理利用量子效应来最小化离散变量上的目标函数。目前的QA平台允许优化二进制变量(qubits)上定义的二次目标,也称为Ising问题。在过去的十年里,由D-Wave实现的QA系统已经随着摩尔式的增长而扩展。当前的体系结构提供2048个稀疏连接的量子位,预计还会继续呈指数级增长,同时还会增加连接性。
我们探讨了解决SAT和MaxSAT问题(如QA系统规模)的可行性。我们开发了一些技术来有效地将SAT编码成与稀疏QA体系结构兼容的Ising问题,并在一定程度上限制了MaxSAT。我们为这种映射提供了理论基础,并提出了将离线可满足性和优化模理论与动态布局和路由相结合的编码技术。对当前一代2048qubit D波系统的初步实验证明了该方法对某些SAT和MaxSAT问题的可行性。
理学硕士:
68季度 计算理论
PDF格式 BibTeX公司 引用
全文: 内政部
参考文献:
[1] 肖尔,P。W、 ,量子计算机上素因式分解和离散对数的多项式时间算法,暹罗J。计算机,26,51484-1509(1997)·Zbl 1005.11065号
[2] 格罗弗,L。K、 ,用于数据库搜索的快速量子力学算法,(第二十八届ACM计算理论研讨会论文集,STOC'96(1996),ACM:ACM纽约,纽约,美国),212-219·Zbl 0922.68044
[3] 芬尼拉,A。;戈麦斯,M。;塞贝尼克,C。;斯坦森,C。;《量子退火:多维函数最小化的新方法》,化学。物理。利特,219,5343-348(1994年)
[4] 卡多瓦基,T。;《横向伊辛模型中的量子退火》,物理。版次。E、 585355-5363(1998年)
[5] 法希,E。;戈德斯通,J。;古特曼,S。;Sipser,M.,绝热演化量子计算,arXiv预印本·Zbl 1187.81063
[6] 布尼克,P。一、 。;霍金森,E。M、 。;约翰逊,M。W、 。;托尔卡切瓦。;阿尔托马尔,F。;伯克利,A。J、 。;哈里斯,R。;希尔顿,J。P、 。;兰亭,T。;普尔兹比兹,A。J、 。;《超导量子退火处理器设计中的架构考量》,IEEE Trans。申请。《超级地带》,第24、4、1-10页(2014年)
[7] 塞尔曼,B。;考茨,H。;Cohen,B.,可满足性测试的局部搜索策略,(集团、着色和可满足性)。派系、着色和可满足性,DIMACS,第26卷(1996年)),521-532·Zbl 0864.90093
[8] 斯皮尔斯,W。M、 模拟退火法求解难满足性问题(团、着色和可满足性)。派系、着色和可满足性,DIMACS,第26卷(1996年),美国数学学会,533-558·Zbl 0864.90094
[九] 汤普金斯,D。A、 D。;霍斯,H。H、 ,UBCSAT:一个用于SAT和MAX-SAT的SLS算法的实现和实验环境(Hoos,H。;Mitchell,D.,修订了第七届可满足性测试理论与应用国际会议(SAT 2004)的部分论文。第七届可满足性测试理论与应用国际会议(SAT 2004),计算机科学课堂讲稿,第3542卷(2005年),斯普林格:斯普林格柏林,海德堡,306-320·Zbl 1122.68620
[10] 丹切夫,V。S、 。;博伊克索公司。;伊萨科夫,S。五、 。;丁,N。;巴布希,R。;斯梅兰斯基,V。;马丁尼,J。;奈文,H.,《有限距离隧道的计算值是多少?》,物理。版次。十、 6,第031015页(2016年)
[11] 金,J。;雅科尼S。;雷蒙德,J。;奥兹菲丹,I。;国王,A。D、 。;内维斯,M。M、 。;希尔顿,J。P、 。;麦基欧,C。C、 量子退火和局部失稳
[12] (比尔,A。;赫尔,M。J、 H。;范马伦,H。;Walsh,T.,《可满足性手册》(2009年),IOS出版社)
[13] 李,C。M、 。;许多α,F.,MaxSAT,硬约束和软约束,(Biere,A。;赫尔,M。J、 H。;范马伦,H。;Walsh,T.,《可满足性手册》(2009年),IOS出版社,613-631,第19章
[14] 马萨奇,F。;《逻辑密码分析作为sat问题》,J。自动驾驶。原因,24,1165-203(2000)·Zbl 0968.68052
[15] 米罗诺夫,I。;张,L.,《SAT解算器在散列函数密码分析中的应用》,(Biere,A。;哥伦比亚特区戈梅斯。P、 ,满意度测试的理论与应用-SAT 2006(2006),斯普林格-柏林-海德堡:斯普林格-柏林-海德堡-柏林,海德堡),102-115·Zbl 1187.94028号
[16] 拉菲特,F。;小J。N、 。;赫勒,D。五、 《SAT解算器在密码分析中的应用:寻找弱密钥和预图像》,J。萨提夫。布尔模型。计算机-JSAT,9,1,1-25(2013年)
[17] 弗雷谢特,A。;纽曼,N。;Leyton Brown,K.,《解决车站重新包装问题》,(第三十届AAAI人工智能会议论文集,AAAI'16(2016),AAAI出版社),702-709
[18] 巴雷特,C。W、 。;塞巴斯蒂安尼,右。;塞希亚,S。A、 。;Tinelli,C.,可满足模理论,(Biere,A。;赫尔,M。J、 H。;范马伦,H。;Walsh,T.,《可满足性手册》(2009年),IOS出版社,980
[19] 塞巴斯蒂安尼,右。;Tomasi,S.,线性合理成本的优化模理论,ACM Trans。计算机。日志,16,2,12:1-12:43(2015年)·Zbl 1354.68233
[20] 塞巴斯蒂安尼,右。;Trentin,P.,OptiMathSAT:优化模理论的工具,J。自动驾驶。理由,64423-460(2020年)·Zbl 07176604
[21] 边,Z。;查达克,F。;麦克雷迪,W。;罗伊,A。;塞巴斯蒂安尼,右。;Varotti,S.,用量子退火器求解SAT和MaxSAT:基础和初步报告,(Dixon,C。;Finger,M.,组合系统的前沿(2017),Springer International Publishing:Springer International Publishing Cham),153-171·Zbl 06821632
[22] 哈里斯,R。;约翰森,J。;伯克利,A。J、 。;约翰逊,M。W、 。;兰亭,T。;韩,S。;布尼克,P。;拉迪津斯基。;哦,T。;Perminov,I.,鲁棒可伸缩磁通量子位的实验演示,Phys。版次。B、 81、13(2010年)
[23] 约翰逊,M。W、 。;阿明,M。H、 S。;吉尔德特,S。;兰亭,T。;哈姆夫。;迪克森,N。;哈里斯,R。;伯克利,A。J、 。;约翰森,J。;布尼克,P。;查普尔,E。M、 。;恩德鲁德,C。;希尔顿,J。P、 。;卡里米,K。;拉迪津斯基。;拉迪津斯基,N。;哦,T。;佩尔米诺夫,I。;里奇,C。;托马斯,M。C、 。;托尔卡切瓦。;特伦奇,C。J、 S。;乌查金S。;王,J。;威尔逊,B。;Rose,G.,量子退火与人造自旋,自然,473,7346,194-198(2011)
[24] 兰亭,T。;哈里斯,R。;约翰森,J。;阿明,M。H、 S。;伯克利,A。J、 。;吉尔德特,S。;约翰逊,M。W、 。;布尼克,P。;托尔卡切瓦。;拉迪津斯基。;拉迪津斯基,N。;哦,T。;佩尔米诺夫,I。;查普尔,E。M、 。;恩德鲁德,C。;里奇,C。;威尔逊,B。;托马斯,M。C、 。;乌查金S。;Rose,G.,《成对耦合磁通量子位的协同运行》,Phys。版次。B、 82,6,第060512条pp.(2010)
[25] 阿明,M。H、 在准静态量子退火器中寻找量子加速。版次。A、 92,5,第052323条pp.(2015)
[26] 阿明,M。H、 。;安德里亚斯,E。;罗尔夫,J。;库克希茨基,B。;梅尔科,R.,量子玻尔兹曼机器,物理。版次。十、 第8条,第021050页(2018年)
[27] 雷蒙德,J。;雅科尼S。;Andriyash,E.,《全球变暖:退火炉的温度估计》,前。ICT,3,23(2016年)
[28] 席尔瓦侯爵。P、 。;林奇,I。;Malik,S.,冲突驱动从句学习SAT解决方案,(Biere,A。;赫尔,M。J、 H。;范马伦,H。;Walsh,T.,《可满足性手册》(2009年),IOS出版社,131-153,第4章
[29] 泽廷,G。S、 《论命题演算中推导的复杂性》,466-483(1983),斯普林格-柏林-海德堡:斯普林格-柏林-海德堡-柏林,海德堡
[30] 库克,S。A、 ,定理证明程序的复杂性,(第三届ACM计算理论年会(1971)),151-158
[31] 马杰里克,S。M、 随机布尔可满足性(Biere,A。;赫尔,M。J、 H。;范马伦,H。;Walsh,T.,《可满足性手册》(2009年),IOS出版社,887-925,第27章
[32] 阿提,西米亚。;格里吉奥,A。;Schaafsma,B。J、 。;Sebastiani,R.,MathSAT 5 SMT解算器,(系统构建和分析的工具和算法,TACAS'13。系统构建和分析的工具和算法,TACAS'13,LNCS,第7795卷(2013年),Springer),95-109
[33] 塞巴斯蒂安尼,右。;Trentin,P.,Optimathsat:优化模理论的工具,(Kroneing,D。;Păsăreanu,C。S、 ,计算机辅助验证(2015),Springer International Publishing:Springer International Publishing Cham),447-454
[34] 边,Z。;查达克,F。;以色列,R。;仆人,B。;麦克雷迪,W。G、 。;Roy,A.,稀疏伊辛模型上使用量子退火的离散优化,前沿。Phys.,2156(2014年)
[35] 科雷亚,V。P、 。;赖斯,A。一、 。;波尔图,C。;巴西,A。R、 ,对n输入布尔函数进行分类,(Proc。IWS(2001年),Citeseer)
[36] 黄,Z。;王,L。;纳西科夫斯基。;Mishchenko,A.,基于NPN分类的快速布尔匹配,(2013年现场可编程技术国际会议(FPT)(2013)),310-313
[37] Choi,V.,绝热量子计算中的小嵌入:I。参数设置问题,量子信息处理,7,5,193-209(2008)·Zbl 1160.81326
[38] Choi,V.,绝热量子计算中的小嵌入:II。次要通用图设计,量子信息处理,10,3343-353(2011)·Zbl 1216.81048
[39] 阿德勒,我。;多恩,F。;福明,F。五、 。;苏,I。;蒂利科斯。M、 《小包容的快速参数化算法》,《第12届斯堪的纳维亚算法理论会议论文集》,SWAT'10(2010),Springer-Verlag:Springer-Verlag柏林,海德堡),322-333·Zbl 1285.68206
[40] 布斯比,T。;国王,A。D、 。;Roy,A.,《嵌合体量子比特连接性图中的快速团小代》,量子信息处理,15,1495-508(2016)·Zbl 1333.81098号
[41] 扎里巴菲扬,A。;马尔尚,D。J、 J。;昌泽瑞泽,S。S、 ,图的笛卡尔积的系统与确定性图次嵌入,量子信息处理,16,5,136(2017)·Zbl 1373.81160号
[42] 蔡杰。;麦克雷迪,W。G、 。;罗伊,A.,《寻找图的子类的实用启发式算法》,arXiv预印本
[43] Dechter,R.,《桶消去:概率推断的统一框架》,75-104(1998),Springer荷兰:Springer Netherlands Dordrecht·Zbl 0910.68209
[44] 麦凯,B。D、 。;Piperno,A.,实用图同构,II,J。符号。计算机,6094-112(2014)·Zbl 1394.05079
[45] 边,Z。;查达克,F。;以色列,R。B、 。;仆人,B。;麦克雷迪,W。G、 。;Roy,A.,将约束优化问题映射到量子退火及其在故障诊断中的应用,前沿。2016年信息通信技术
[46] 苏,J。;图,T。;He,L.,布尔可满足性问题的量子退火方法,(2016年第53届ACM/EDAC/IEEE设计自动化会议(DAC)(2016)),1-6
[47] 米什琴科,A。;查特吉。;Brayton,R.,Dag aware AIG rewriting a fresh look of Combination logic synthesis(Dag aware AIG rewriting a fresh look to Combination logic synthesis),(第43届设计自动化年会论文集,DAC’06(2006年),美国纽约州纽约市ACM:ACM,532-535
[48] 米什琴科,A。;查特吉。;江,R。;布莱顿。K、 《FRAIGs:逻辑综合与验证的统一表示》(2005),技术代表,ERL技术报告
[49] 恩,N。;米什琴科,A。;Sörensson,N.,应用逻辑综合加速sat,(Marques Silva,J。;萨卡拉,K。A、 ,满意度测试的理论与应用-SAT2007(2007),斯普林格-柏林-海德堡:斯普林格-柏林-海德堡-柏林,海德堡),272-286·Zbl 1214.68351
[50] 米什琴科,A。;查特吉。;布莱顿,R。;王,X。;Kam,T.,布尔匹配技术映射,超级门与选择(2005)
[51] 贝茨,V。;Rose,J.,VPR:FPGA研究的一种新的封装、布局和布线工具,(现场可编程逻辑和应用国际研讨会(1997年),Springer),213-222
[52] 卡恩,A。B、 。;Lienig,J。;马尔科夫,I。五十、 。;Hu,J.,VLSI物理设计:从图划分到时序闭合(2011),Springer Netherlands:Springer Netherlands Dordrecht·Zbl 1213.68009
[53] 孙,W.-J。;Sechen,C.,超大型电路的有效布局,IEEE Trans。计算机辅助设计。整数。电路系统,14,3349-359(1995)
[54] 陈,T。F、 。;丛,J。;孔,T。;辛内尔,J。R、 《大规模电路布局的多级优化》(IEEE/ACM国际计算机辅助设计会议,ICCAD-2000(2000)),171-176,IEEE/ACM技术论文摘要(Cat。编号:00CH37140)
[55] 罗伊,J。A、 。;爸爸,D。A、 。;阿德亚,S。N、 。;陈,H。H、 。;Ng,A。N、 。;卢,J。F、 。;马尔科夫,I。五十、 ,Capo:健壮和可扩展的开源min cut floorplacer,(2005年国际物理设计研讨会论文集,ISPD'05(2005年),ACM:ACM纽约,纽约,美国),224-226
[56] 拜尔卡,J。;格兰多尼,F。;罗斯沃斯,T。;《通过迭代随机舍入的Steiner树逼近》,SantiáL.,J。ACM,60,1,6:1-6:33(2013年)·Zbl 1281.68234
[57] 盖斯特,M。;穆勒博士。;尼伯格,T。;潘滕,C。;舒尔特,C。;Vygen,J.,BonnRoute:快速和良好VLSI布线的算法和数据结构,ACM Trans。Des公司。自动驾驶。电子。系统,18,2,32:1-32:24(2013年)
[58] 徐,Y。;张,Y。;Chu,C.,Fastroute 4.0:具有高效通孔最小化的全球路由器(2009年亚太地区设计自动化会议论文集,ASP-DAC'09(2009年),IEEE出版社:美国新泽西州Piscataway,IEEE出版社),576-581
[59] 罗伊,J。A、 。;马尔科夫,I。五十、 ,纳米级高性能路由,IEEE Trans。计算机辅助设计。整数。电路系统,27,6,1066-1077(2008)
[60] 陈,H。;徐克。;Chang,Y.,快速减少溢出的高性能全球路由(2009年亚洲及南太平洋设计自动化会议(2009)),582-587
[61] 周,M。;卢,K。;元,K。;平底锅,D。Z、 ,Boxrouter 2.0:混合和健壮的全球路由器的体系结构和实现,(2007年IEEE/ACM国际计算机辅助设计会议(2007)),503-508
[62] 张,Y。J、 。;李,Y。T、 。;王,T。C、 ,NTHU route 2.0:快速稳定的全球路由器,(2008 IEEE/ACM国际计算机辅助设计会议(2008)),338-343
[63] 拜尔卡,J。;格兰多尼,F。;Rothvoß,T。;Santiéa,L.,Steiner tree的改进的基于LP的近似,(第42届ACM计算理论研讨会论文集,STOC 2010,第42届ACM计算理论研讨会论文集,STOC 2010,Cambridge,Massachusetts,USA(2010年6月5日至8日)),583-592·05039.ZB3293
[64] 克莱因,P。;节点加权Steiner树的近似最佳逼近算法。算法,19,1104-115(1995)·Zbl 0836.68046
〔65〕 瓦兹拉尼,V。五、 ,近似算法(2001),斯普林格-韦拉格:德国柏林斯普林格-韦拉格·Zbl 1138.90417
[66] 盖斯特,M。;穆勒博士。;尼伯格,T。;潘滕,C。;舒尔特,C。;Vygen,J.,BonnRoute:快速和良好VLSI布线的算法和数据结构,ACM Trans。Des公司。自动驾驶。电子。系统,18,2,32(2013)
[67] 穆勒博士。;雷德克,K。;《理论与实践中更快的最小最大资源共享》,数学。程序。计算,3,1,1-35(2011年)·Zbl 1242.90200
[68] Lucas,A.,许多NP问题的Ising公式,前沿。物理学,2,5(2014)
〔69〕 校长,N。;佐伦,S。;沃伯顿,P。A、 。;本杰明,S。C、 。;Roberts,S.,max k-sat和高阶奇偶校验直接映射到奇美拉图,Sci。报告,第6章,第37107页(2016年)
[70] Pakin,S.,quantum macro assembler,(2016年IEEE高性能极限计算大会,HPEC 2016年。2016年IEEE高性能极限计算大会,HPEC 2016年,马萨诸塞州沃尔瑟姆,美国,2016年9月13-15日(2016)),1-8
[71] Pakin,S.,在量子退火器上执行完全并行约束逻辑编程,理论实践。日志。计划,18,5-6,928-949(2018年)·Zbl 1452.68039
[72] 文丘里,D。;马尔尚,D。J、 J。;Rojo,G.,作业车间调度的量子退火实现
[73] 罗森博格。;Haghnegahdar,P。;戈达德,P。;卡尔,P。;吴,K。;德普拉多,M。五十、 ,利用量子退火算法求解最优交易轨迹问题(第八届高性能计算金融研讨会论文集,2015年世界金融论坛),美国纽约,美国纽约,ACM:ACM,7:1-7:7
[74] 德里迪,R。;Alghassi,H.,《使用量子退火和计算代数几何的素数因式分解》,Sci。报告,7,1(2017年)
[75] 佩多莫奥尔蒂斯,A。;Fluegemann,J。;Narasimhan,S。;比斯瓦,R。;Smelyanskiy,V.,基于图的系统故障检测和诊断的量子退火方法,欧洲。物理。J。规范顶部,224,1131-148(2015)
[76] 里菲尔,E。G、 。;文丘里,D。;奥格曼,B。;是的,M。B、 。;普莱斯特,E。M、 。;斯梅兰斯基,V。N、 ,为困难操作规划问题编程量子退火器的案例研究,量子信息过程,14,1,1-36(2015)·Zbl 1311.81084
[77] 奥格曼,B。;里菲尔,E。G、 。;Do,M。;文丘里,D。;Frank,J.,比较量子退火的规划问题编译方法,Knowl。英文版,31,5465-474(2016)
[78] 齐克,齐克。M、 。;俄勒冈州谢哈伯。;French,M.,实验量子退火:涉及图同构问题的案例研究,Sci。报告,第5章,第11168页(2015年)
[79] 边,Z。;查达克,F。;麦克雷迪,W。G、 。;克拉克,L。;盖坦,F.,拉姆齐数的实验测定,物理。版次。Lett.,111,第130505条pp.(2013年)
[80] 江,S。;布里特,K。A、 。;麦卡斯基,A。J、 。;谦虚,T。S、 。;Kais,S.,素数因式分解的量子退火
[81] 特鲁默,我。;Koch,C.,d波2x绝热量子计算机上的多查询优化,Proc。VLDB授权,9,9,648-659(2016年)
[82] 安德里亚斯,E。;边,Z。;查达克,F。;德鲁·布鲁克,M。;国王,A。D、 。;麦克雷迪,W。G、 。;Roy,A.,通过量子退火偏移提高整数因子分解性能
[83] 麦基欧,C。C、 。;Wang,C.,用于组合优化的绝热量子系统的实验评估,(ACM国际计算前沿会议论文集,2013),ACM:ACM纽约,美国,23:1-23:11
[84] 圣特拉。;奎罗斯,G。;斯泰格,G。五、 。;激光雷达。A、 ,最大2-sat,最多108个量子比特,新J。Phys.,16,4,第045006页(2014年)
[85] 道格拉斯,A。;国王,A。D、 。;Raymond,J.,用量子退火器构建SAT滤波器,104-120(2015),Springer International Publishing:Springer International Publishing Cham·Zbl 06512568
[86] 普登兹,K。五十、 。;塔兰特,G。S、 。;贝洛特,T。R、 。;阿达奇,S。H、 量子退火与可满足性问题
[87] 法希,E。;戈塞特,D。;母鸡,我。;桑德维克,A。W、 。;肖尔,P。;杨,A。P、 。;Zamponi,F.,正则超图上两个优化问题随机实例的量子绝热算法的性能,Phys。版次。A、 86,第052334页(2012年)
[88] 母鸡,我。;杨,A。P、 一类可满足性问题的量子绝热算法的指数复杂度。版次。E、 84,第061152条,pp.(2011年)
[89] Choi,V.,NP完全精确覆盖和3SAT问题的不同绝热量子优化算法,量子信息计算,11,7-8,638-648(2011)·Zbl 1241.81040号
[90] 国王,A。D、 。;兰亭,T。;Harris,R.,量程受限约束满足问题的量子退火器性能
[91] 布莱顿,R。;Mishchenko,A.,ABC:学术工业强度验证工具,(国际计算机辅助验证会议(2010),Springer),24-40
[92] 斯彭斯,I.,Sgen1:一个小型但困难的可满足性基准的生成器,ACM J。实验算法,15,第1.2页(2010年)·Zbl 1284.68527
[93] 盖德,A。五、 。;斯宾塞,I.,Zero-one设计产生小的硬测试实例(Strichman,O。;2010年《科学与应用科学》第38期,柏林科学与应用科学讲座·Zbl 1306.68177
[94] 斯彭斯,I.,削弱基数约束会产生更难的可满足性基准,ACM J。Exp.Algorithmics,20,第1.4页(2015年)
[95] 李,C。M、 。;黄,W。Q、 在局部寻求可满足性中的多样化和决定论,(巴克斯,F。;Walsh,T.,《满意度测试的理论与应用:第八届国际会议,2005年SAT,英国圣安德鲁斯,2005年6月19日至23日,论文集(2005年),斯普林格-柏林-海德堡-柏林,海德堡),158-172·Zbl 1128.68472
[96] 斯迈思,K。;霍斯,H。H、 。;Stützle,T.,迭代鲁棒禁忌搜索max sat,(第16届加拿大计算研究学会人工智能进展会议论文集》,AI'03(2003),Springer Verlag:Springer Verlag柏林,海德堡),129-144
[97] 麦卡莱斯特,D。;塞尔曼,B。;Kautz,H.,《局部搜索中不变量的证据》,《第十四届全国人工智能会议和第九届人工智能创新应用会议论文集》,AAAI'97/IAAI'97(1997),AAAI出版社,321-326
此参考列表基于出版商或数字数学图书馆提供的信息。它的项被试探性地匹配到zbMATH标识符,并且可能包含数据转换错误。它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性。