研究人员证明了QMA=QMA1，展示了量子Merlin-Arthur证明系统在使用Hadamard门、Toffoli门和X门的通用门集的情况下，可以在不损失计算能力的前提下实现完全性。

#量子复杂性 #量子证明 #研究