点击购买,资源将自动在新窗口打开.
获取独家产品信息,尽享促销优惠!立即订阅,不容错过
* 限···时··优惠
摘要 — 量子计算机有望有效解决传统计算机永远无法解决的重要问题。然而,为了利用这些前景,需要开发一个全自动量子软件堆栈。这涉及许多复杂的任务,从量子电路的经典模拟到将其编译到特定设备,再到要执行的电路的验证以及获得的结果。所有这些任务都非常不简单,需要有效的数据结构来处理固有的复杂性。从相当直接的决策图数组(受设计自动化社区的启发)到张量网络和 ZX 演算,已经提出了各种互补方法。这项工作提供了当今工具的“幕后”视角,并展示了如何在其中使用这些方法,例如,用于量子电路的模拟、编译和验证。
主要关键词