完美完备性不是免费的午餐：复杂性理论最微妙的边界

当诚实的证明者永远能说服验证者——"完美完备性"听起来是个诱人的性质。但魏茨曼理工这篇新论文提出了一个更尖锐的追问：在4-to-1游戏协议中，完美完备性到底让困难性证明变得多难？ 答案比多数人预期的更棘手。作者构造了一个具体设定：即使退让到只用完美完备性（而非更宽松的假设），困难性依然成立，代价是需要更精细的论证技术。完美完备性从来不是免费的午餐——它让协议更干净，也让证明协议"安全"变得异常艰难。 我的判断：这篇论文的价值不在于解决了某个悬而未决的大问题，而在于把困难性的边界又向外推了一寸。在复杂性理论里，一寸就是天堑。

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