机构名称：
¥ 1.0
量子计算（QC）是一种新的计算范式，有望比各个域中的经典计算大幅加速。但是，近期QC面临许多挑战，包括有限的量子连接性和嘈杂的量子操作。要解决量子连接约束，在量子计算机上执行量子电路是必需的。此过程涉及执行初始量子位置并使用量子交换操作来重新安置最近的静脉相互作用。减少电路映射中的互换计数对于提高量子电路执行的成功率至关重要，因为掉期昂贵且容易出错。在这项工作中，我们通过结合增量和并行解决布尔满意度（SAT）来引入一种新颖的电路映射方法。我们提出了用于电路映射问题的创新SAT编码，该编码可显着改善基于求解器的映射方法，并在编译质量和编译时间之间提供平稳的权衡。通过在2种不同的量子计算机拓扑上涵盖3种量子算法的78个实例的全面基准测试，我们证明我们的方法比基于最先进的求解器的方法快26××，从而将汇编时间从数小时减少到数分钟的时间来减少重要的量子应用。我们的方法还超过了现有的启发式算法的掉期数量26％。
基于增量和平行SAT求解
主要关键词
相关文件推荐
