晶格异聚物模型能量函数的构建：约束满足编程与绝热量子优化的案例研究

与连接粒子相互作用相关的优化问题是聚合物科学、蛋白质折叠以及物理科学中其他重要问题的核心。在这篇综述中，我们解释了如何将这些问题重新表述为约束满足问题，如线性规划、最大可满足性和伪布尔优化。通过这种方式编码问题，我们可以利用计算机科学界研究约束编程（用于物流、调度、人工智能和电路设计等多种应用）的大量见解和强大的求解器。我们演示了如何使用多种策略约束和嵌入晶格异聚物问题。每种策略在约束数量、约束复杂性和变量数量之间取得了独特的平衡。最后，我们展示了如何降低这些能量函数中耦合的局域性，以便它们可以在现有的量子退火机上实现为哈密顿量。我们打算将这篇综述作为将相关组合优化问题编码为适合绝热量子优化的形式的案例研究。