arXiv:2504.00634v1 交叉公告类型 摘要：克利福德电路优化是量子编译管道中的一个关键步骤。主要的编译器采用了启发式方法。虽然这些方法速度快，但结果往往不理想。减少嘈杂门，如2-qubit CNOT门，对于实用计算至关重要。已经提出了精确方法来弥补启发式方法的不足。其中，基于SAT的方法可以通过优化门的数量或深度来优化电路，但它们面临扩展性问题。此外，它们不能在更关键的度量标准，如CNOT数量或CNOT深度，上保证最优性。最近的一项工作提出仅在特定范式下的克利福德电路中进行全面搜索以保证CNOT数量的最优性。但全面的方法无法扩展到超过6个量子比特。 在本文中，我们结合限制在克利福德范式下的搜索来优化CNOT数量的SAT编码。通过允许并行计划，我们提出了一种新的SAT编码来优化CNOT深度。借助基于SAT的方法的灵活性，我们还处理了硬件平台的连接性限制，并允许量子比特重新标记。我们在开源工具Q-Synth中实现了上述编码和变体。 在实验中，我们的编码在随机克利福德电路方面显著优于现有的SAT方法。我们采用实际的VQE和费曼基准与TKET和Qiskit编译器进行比较。在全连接情况下，我们观察到CNOT数量最多减少32.1%，CNOT深度最多减少48.1%。总体而言，我们观察到在CNOT数量和深度上比TKET有更好的结果。我们还尝试了主要量子平台的连接性限制。与Qiskit相比，我们观察到CNOT数量最多减少30.3%，CNOT深度最多减少35.9%。