廣義局部可逆映射決策圖通過更大的群作用相比Pauli-LIMDD實現指數級簡潔性改進；透過五個歸約規則建立多項式時間規範形式，推進量子電路模擬、驗證與合成...

#量子軟體 #決策圖 #研究