摘要。量子计算有望比常规计算更快地解决一些重要的概率。当前可以使用的NISQ设备已经显示出第一个实用应用程序，这表明了潜力 - 未来易于故障的量子硬件，以实现更苛刻的应用程序。尽管如此，计算能力的优势带来了设计自动化和软件开发社区中要解决的挑战。在典型的状态和操作的非量词表示中，这些基础是量子电路模拟或验证的基础，需要指数级的内存量。我们建议在许多情况下使用决策图作为数据结构来征服指数记忆要求。在本章中，我们回顾了有关决策的基本原理，并突出了它们在有或没有错误以及量子电路验证的量子电路模拟任务中的适用性。此处介绍的工具全部可作为开源项目可用。