机构名称：
¥ 1.0
摘要 — 量子计算机有望有效解决传统计算机永远无法解决的重要问题。然而，为了利用这些前景，需要开发一个完全自动化的量子软件堆栈。这涉及到许多复杂的任务，从量子电路的经典模拟到它们在特定设备上的编译，再到要执行的电路的验证以及获得的结果。所有这些任务都极其复杂，需要高效的数据结构来处理固有的复杂性。从相当直接的决策图数组（受设计自动化社区的启发）到张量网络和 ZX 演算，已经提出了各种互补方法。这项工作提供了当今工具的“幕后”视角，并展示了如何在其中使用这些方法，例如，用于量子电路的模拟、编译和验证。索引术语 — 量子计算、数据结构、数组、决策图、张量网络、ZX 演算
量子计算设计工具的基础
主要关键词
相关文件推荐
