广义局部可逆映射决策图通过更大的群作用相比Pauli-LIMDDs实现了指数级的简洁性改进；通过五条归约规则建立多项式时间规范形式，推进量子电路仿真、验证和综合...

#量子软件 #决策图 #研究