SAT、小工具、Max2XOR 与量子退火器

量子退火器本质上是量子计算机，能够以高概率在常数时间内优化布尔变量上的某些二次函数。这些函数本质上是 Ising 模型的哈密顿量，在退火过程后以高概率达到基态能量。它们已被提出作为解决 SAT 问题的一种方法。这些哈密顿量可以被视为 Max2XOR 问题，即寻找一个赋值以最大化满足的至多包含 2 个变量的 XOR 子句的数量。在本文中，我们提出了几种小工具 (gadgets) 将 SAT 归约为 Max2XOR。我们展示了如何利用它们将 SAT 实例转换为量子退火器的初始配置。