非局域博弈完美策略判定的精确复杂度：空间模型为 Σ⁰₂ 完备

2026-11-10，Douglas 与 Mghirbi 在 arXiv quant-ph 发布研究，证明有限非局域博弈是否存在完美正常空间策略是 Σ⁰₂ 完全问题。该结果表明，即使将限制收紧到博弈值为 1 的情形，判定问题也无法用停机问题的神谕解决，严格难于此前已知的两类模型：有限维模型的 Σ⁰₁ 完备与交换算符模型的 Π⁰₁ 完备。这是该事件的首篇报道，此前无早先报道可供对照。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。