机构名称：
¥ 1.0
布尔可满足性 (SAT) 技术在经典计算中已得到充分认可，可用于解决各种问题，例如经典电路和系统的设计。与经典领域类似，量子算法通常被建模为电路，需要解决类似的设计任务。因此，很自然地会提出一个问题，即量子领域的这些设计任务是否也可以使用 SAT 技术来解决。据我们所知，不存在用于任意量子电路的 SAT 公式，而且这种方法是否可行也不得而知。在这项工作中，我们定义了一个命题 SAT 编码，原则上可以应用于任意量子电路。然而，我们表明，由于表示量子态的固有复杂性，构建这样的编码一般是不可行的。因此，我们建立了确定所提编码可行性的一般标准，并确定了满足这些标准的量子电路类。我们明确地展示了所提编码如何应用于 Clifford 电路类作为代表。最后，我们通过实证证明了所提编码对 Clifford 电路的适用性和效率。这些结果为 SAT 在经典电路和量子电路系统设计中的持续成功奠定了基础。
量子电路的 SAT 编码
主要关键词
相关文件推荐
