机构名称：
¥ 1.0
摘要 — 近期量子计算机将在嘈杂的环境中运行，且无法进行纠错。近期量子计算的一个关键问题是将逻辑电路布置到量子比特之间连接有限的物理设备上。这被称为量子比特映射和路由 ( QMR ) 问题，是一个难以解决的组合问题。尽可能以最优方式解决 QMR 非常重要，以减少增加的噪声量，因为噪声可能会导致量子计算变得毫无用处。在本文中，我们提出了一种通过简化为最大可满足性 ( MAXSAT ) 来最优解决 QMR 问题的新方法。此外，我们提出了两个新颖的松弛思想，通过利用量子电路的结构来缩小 MAXSAT 约束的大小。我们彻底的实证评估表明：(1) 与最先进的最优 QMR 技术相比，我们的方法具有可扩展性（解决了 3 倍以上的基准问题，速度提高了 40 倍）；(2) 与最先进的启发式方法相比，成本显著降低（平均减少 ∼ 5 倍交换）；(3) 我们提出的约束放松的强大功能。索引术语 — 量子计算、量子比特映射
通过 MaxSAT 进行量子比特映射和路由 - cs.wisc.edu
主要关键词
相关文件推荐
