机构名称：
¥ 1.0
摘要 — 量子算法的高级描述不考虑物理硬件的限制。因此，在量子计算机上实际执行量子电路形式的算法需要首先针对所需的目标架构对其进行编译。量子电路的编译依赖于有效的方法，才能适用于除琐碎实例之外的所有实例。为此，过去曾引入过不同的编译方法，但仍有改进的空间。此外，仅有高效的编译过程本身是不够的——生成的电路也必须正确。在这篇总结论文中，我们回顾了如何利用启发式搜索算法或精确推理引擎来优化现有的编译方法。此外，我们回顾了如何通过巧妙的数据结构（如决策图）来验证所获得结果的正确性。这说明了编译流程的核心步骤，该流程可以为许多实例生成最小或接近最小的结果，此外，还保证了整个过程的正确性。
量子电路的高效正确编译
主要关键词
相关文件推荐
