量子科技中心_量科网

随着量子计算机的物理实现逐渐接近实际应用，对分析和验证量子算法的工具需求日益增长。在解决此类问题的算法和数据结构中，决策图（DDs）已展现出显著成效。然而，决策图面临并行化效率的挑战——尽管经典应用中的决策图已实现并行加速，但量子专用决策图的并行化尝试收效甚微。该工作提出了一种基于细粒度任务并行和无锁哈希表的并行边值决策图高效实现方案，并运用该方案实现了量子电路模拟和等价性验证两个应用场景。实验评估表明，该团队开发的Q-Sylvan工具在大型算例中的单核性能可与最先进的量子决策图工具MQT DDSIM媲美，同时在64核处理器上实现高达18倍的并行加速。