卞正兵；费边·丘达克；威廉·麦克雷迪；艾丹·罗伊；罗伯托·塞巴斯蒂亚尼；斯特凡诺·瓦罗蒂 用量子退火器求解SAT和MaxSAT：基础和初步报告。 （英语） Zbl 1495.68201号 Dixon，Clare（编辑）等人，《联合系统的前沿》。2017年9月27日至29日在巴西巴西利亚举行的2017年FroCoS第11届国际研讨会。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。10483, 153-171 (2017). 概述：量子退火器（QA）是一种专门的量子计算机，通过物理利用量子效应来最小化离散变量上的目标函数。当前的QA平台允许优化二进制变量上定义的二次目标，即解决二次无约束二进制优化（QUBO）问题。在过去十年中，D-Wave实施的QA系统随着Moore-like增长而扩展。目前的体系结构提供2048个稀疏连接的量子位，预计将继续呈指数级增长。我们探讨了这种体系结构在解决SAT和MaxSAT问题（如QA系统规模）方面的可行性。我们开发了将SAT和MaxSAT有效编码为与稀疏QA架构兼容的QUBO问题的技术。我们为这种映射提供了理论基础，并提出了将离线可满足性和优化模理论与在线布局和路由相结合的编码技术。对当前一代2048量子位D波系统的初步经验测试支持了该方法的可行性。我们提供了SAT编码问题的SMT模型的详细信息，希望进一步的研究可以提高SMT技术应用的可扩展性。此外，这些模型会产生硬SMT问题，这些问题可以作为求解者的基准。有关整个系列，请参见[Zbl 1369.68021号]. 引用于6文件 MSC公司： 68T20型 人工智能背景下的问题解决（启发式、搜索策略等） 81页68 量子计算 PDF格式BibTeX公司 XML格式引用 \textit{Z.Bian}等人，Lect。票据计算。科学。10483，153--171（2017；Zbl 1495.68201） 全文： 内政部 链接