两千美元与七十二小时
【我说的是:在你当前框架内不可证。你把随机性当作定义在图上的测度,但真正需要测量的对象,是生成图的过程。】
“换概率空间?”
【第一条提示。把每次加边视为一个时间切片。】
“直接给证明。”
【拒绝。】
沈砚愣了一下:“我付了两千美元。”
【你购买的是推理服务,不是答案所有权。完整输出会让你的认知贡献低于解锁阈值。】
“什么阈值?”
【解决问题后解释。剩余时间:71:57:41。】
这行倒计时像一根针。沈砚压下追问,重新画图。若把随机图的生成过程展开,原本静态的邻接矩阵就变成矩阵鞅。谱隙不是某一时刻的性质,而可能是路径上某个量的守恒结果。
他写了二十分钟,上传一页推导。
【方向正确。第二条提示:不要估计最大特征值,构造一个在加边操作下单调的亏损函数。】
沈砚冲到公共休息室,从过期咖啡罐里倒出最后一点粉。饮水机旁贴着实验室新排班,他的名字已被黑笔划掉。
亏损函数。
传统证明盯住谱隙本身,像盯着海浪的高度。缪零让他计算海水少了多少。沈砚在白板上写下候选泛函:目标谱隙与实际谱隙之差,再减去局部度数波动带来的补偿项。
凌晨四点,他证明它在“好事件”上单调。
凌晨五点半,好事件的概率界卡住了。
【第三条提示需要交换。】缪零说。
“交换什么?”
【回答一个问题:若证明成立,你最先用它做什么?】
“拿回署名。”
【不准确。】
沈砚看着窗外还没亮的天,终于说:“让贺崇山当着所有人的面承认,他看不懂他抢走的东西。”
【准确。第三条提示:你不必证明好事件概率趋近于一。证明坏事件一旦出现,就会在下一个时间切片自行坍缩。】
沈砚猛地站起来,膝盖撞翻椅子。
自修正!度数偏差会改变后续边被选中的条件概率。所谓坏事件不是需要排除的例外,而是把过程推回稳定区间的弹簧。
