通过构造显式有限图反驳了量子Hedetniemi猜想，其中χ_q(G×H)≤1538<1539=min{χ_q(G),χ_q(H)}，反例在Lean 4中得到形式化验证。

#量子图论 #数学物理 #研究