机构名称：
¥ 3.0
量子退火器（QAS）是专门的量子计算机，可以通过物理利用量子效应来最大程度地限制离散变量的目标函数。当前的QA平台允许优化二进制变量（Qubits）定义的二次目标，也称为ISING问题。在过去的十年中，D-Wave实施的质量检查系统随着摩尔般的增长而扩展。当前的体系结构提供2048个稀疏连接的量子位，并预计持续的指数增长以及连通性的提高。我们探讨了解决SAT和MaxSAT问题等体系结构等QA Systems量表等架构的可行性。我们开发了有效地编码SAT的技术，并具有一定局限性的Maxsat-将与稀疏QA体系结构兼容的问题。我们为此映射提供了理论基础，并提供了编码技术，这些技术结合了o ne ine ne ane fimita和optimization modulo理论与在空中的位置和路由相结合。对当前一代2048 Qubit D-Wave系统的初步经验测试支持该方法对于某些SAT和MAXSAT问题的可行性。
用量子退火器求解SAT（和MaxSat）
主要关键词
相关文件推荐
