用量子退火器求解 SAT 与 MaxSAT：基础、编码与初步结果
新兴技术
2018-11-07 v1 量子物理
摘要
量子退火器（QA）是专门的量子计算机，通过物理利用量子效应在离散变量上最小化目标函数。当前 QA 平台允许优化定义在二元变量（量子比特）上的二次目标，也称为伊辛问题。在过去十年中，由 D-Wave 实现的 QA 系统以类摩尔定律增长。当前架构提供 2048 个稀疏连接的量子比特，并预计将持续指数增长，且连接性增强。我们探讨了随着 QA 系统规模扩大，此类架构用于求解 SAT 和 MaxSAT 问题的可行性。我们开发了将 SAT——以及在一定限制下 MaxSAT——有效编码为兼容稀疏 QA 架构的伊辛问题的技术。我们提供了该映射的理论基础，并给出了结合离线可满足性与理论优化模（SMT）与即时布局布线的编码技术。在当前一代 2048 量子比特 D-Wave 系统上的初步实证测试支持该方法对某些 SAT 和 MaxSAT 问题的可行性。
引用
@article{arxiv.1811.02524,
title = {Solving SAT and MaxSAT with a Quantum Annealer: Foundations, Encodings, and Preliminary Results},
author = {Zhengbing Bian and Fabian Chudak and William Macready and Aidan Roy and Roberto Sebastiani and Stefano Varotti},
journal= {arXiv preprint arXiv:1811.02524},
year = {2018}
}
备注
under submission to Information and Computation