量子计算机有望比传统计算机更快地解决重要问题。其背后是一个完全不同的计算原语,它为帮助设计相应量子算法的软件工具的开发带来了新的挑战。不同的计算原语使得经典的量子电路模拟变得特别具有挑战性。虽然传统电路的逻辑模拟相对简单,复杂度与门的数量呈线性关系,但量子电路模拟必须处理在非量子硬件上表示量子态与量子比特数量呈指数增长的内存需求。决策图 (DD) 通过利用矩阵和向量中的冗余来解决这一挑战,在许多情况下提供更紧凑的表示。此外,量子计算的概率性质使我们可以从另一个角度来应对复杂性:量子算法在一定程度上可以抵抗量子态中的小误差,因为这些误差只会导致结果概率的微小变化。我们建议利用这种对(小)错误的抵抗力来获得更紧凑的决策图。
主要关键词