通过结合 Schrijver 的 theta 界与关联格式理论的新型谱刚性条件，证明了多个图族的量子图同态问题的 RE 完全性，建立了量子复杂性分类的关键结果。

#量子复杂性 #图同态 #研究