完美完备性的4对1博弈到底有多难？复杂度理论的硬骨头

读ECCC这篇新报告，我在想一个问题：当一个博弈协议同时满足4对1约束和完美完备性时，为什么证明它的"硬度"如此棘手？论文作者试图回答的，正是这个看似抽象却直指交互式证明系统核心边界的问题。我的判断很明确——这类结果的价值不在于参数本身，而在于它们为多证明者系统划定了不可逾越的天花板。如果连4对1这种极简设定下的硬度都这么难啃，那更复杂的交互式协议空间只会更加扑朔迷离。这篇文章目前热度不高，但放在正确的人手里，可能是一次重要铺垫。

原文：The Hardness of 4-to-1 Games with Perfect Completeness · 来源：Hacker News