理论计算机科学圈争论：10 月 6 日集中发布比 ETH 被证伪更重磅

理论计算机科学圈争论 10 月 6 日集中发布是否比“ETH 被证伪”更重磅。有人认为 k-SAT 可在 2^(n/logn) 时间内求解即证伪 ETH，但 verbine 等人称这不算意外，ETH 更多是精细复杂度领域的有用猜想工具。他们反而认为 UGC、PSPACE=IP、NP 完全性、零知识证明存在性与 FFT 等结果分量更重。