摘要：量子计算有望以比传统计算更快的速度解决一些重要问题。目前可用的 NISQ 设备已经执行了第一批实际应用，这证明了量子计算的潜力——未来容错量子硬件将用于更高要求的应用。尽管如此，设计自动化和软件开发社区在计算能力方面的优势也带来了挑战。特别是，为量子电路模拟或验证提供基础的状态和操作的非量子表示需要大量内存。我们建议在许多情况下使用决策图作为数据结构来克服指数级的内存需求。在本章中，我们回顾了决策图的基础知识，并强调了它们在有误和无误的量子电路模拟任务以及量子电路验证中的适用性。这里介绍的工具都可以作为开源项目在线获得。