。
“等等，如果不同盲盒的抽取概率不均匀呢？比如有隐藏款，概率只有1%，其他是10%，那这个数量状态压缩就不成立了，缺A和缺隐藏款的期望完全不一样。”
“是的，所以你要在证明的开头，先浓墨重彩地写明对称性条件。题目给定的均匀抽取不是一句为了让题面好看的装饰语，我们进行状态压缩，真正要算的是N个阶段期望。”
尹航听到这里，忍不住吐槽了一句：“你做题的时候，脑子里还一直想着阅卷人啊？”
“想着复核。”江临认为自己应该纠正他的用词。
“数学竞赛也叫复核？”
“只要是需要人去验证的逻辑链，就叫复核。”江临看着尹航，“证明写出来，就是给别人复核的。如果你的解答只有你自己懂，那不叫数学证明，那叫私人日记。”
一旁的孟澈听得是直点头。
复核这个词，他太熟了。
老板在组会上不知道骂过他们多少次类似的话。
“科研不是你自己觉得数据好看就行。你要把你的实验条件，你的误差分析，你的数据处理流程清清楚楚地写在paper里，让大洋彼岸另一个素不相识的同行，能在他自己的实验室里，在合理的时间内把你的结果复核出来。不能复核的东西，就是伪科学。”
数学竞赛显然也是一样的逻辑。
会做，只是第一步，最多算自己通过了。
能写成让挑剔的评审在有限时间内稳定复核的证明，才算真正完成。
已经想通透了的姚思雨，把草稿纸上那一大片旧的递推公式用力划掉，长舒了一口气，整个人都放松了下来。
“太好了，这样就干净多了。我之前的问题是历史包袱太重，跟背着一座山似的。”
江临点点头：“状态里当然只需保留影响未来的最小信息，因为多一丝都是累赘。”
“这不就是最小充分状态嘛。”尹航喃喃自语。
最小充分状态？
一旁笑眯眯的孟澈忽然捕捉到了关键词。
先找状态，再找边界。
最后判断，哪些信息是必须保留的承重墙，哪些信息只是花里胡哨的壁纸和噪声。
这是一种拆解世间一切复杂系统的底层方法论。
不是一个能在单纯的数学竞赛题集里学到的漂亮说法。
可比会做题的天才厉害多了。
联想到这位才读高三的小师弟，一出山就帮大家解决了数据漂移的问题。
孟澈脑子里冒出一个不太严肃的念头。
这不就是先天科研圣体吗？
“等等，如果不同盲盒的抽取概率不均匀呢？比如有隐藏款，概率只有1%，其他是10%，那这个数量状态压缩就不成立了，缺A和缺隐藏款的期望完全不一样。”
“是的，所以你要在证明的开头，先浓墨重彩地写明对称性条件。题目给定的均匀抽取不是一句为了让题面好看的装饰语，我们进行状态压缩，真正要算的是N个阶段期望。”
尹航听到这里，忍不住吐槽了一句：“你做题的时候，脑子里还一直想着阅卷人啊？”
“想着复核。”江临认为自己应该纠正他的用词。
“数学竞赛也叫复核？”
“只要是需要人去验证的逻辑链，就叫复核。”江临看着尹航，“证明写出来，就是给别人复核的。如果你的解答只有你自己懂，那不叫数学证明，那叫私人日记。”
一旁的孟澈听得是直点头。
复核这个词，他太熟了。
老板在组会上不知道骂过他们多少次类似的话。
“科研不是你自己觉得数据好看就行。你要把你的实验条件，你的误差分析，你的数据处理流程清清楚楚地写在paper里，让大洋彼岸另一个素不相识的同行，能在他自己的实验室里，在合理的时间内把你的结果复核出来。不能复核的东西，就是伪科学。”
数学竞赛显然也是一样的逻辑。
会做，只是第一步，最多算自己通过了。
能写成让挑剔的评审在有限时间内稳定复核的证明，才算真正完成。
已经想通透了的姚思雨，把草稿纸上那一大片旧的递推公式用力划掉，长舒了一口气，整个人都放松了下来。
“太好了，这样就干净多了。我之前的问题是历史包袱太重，跟背着一座山似的。”
江临点点头：“状态里当然只需保留影响未来的最小信息，因为多一丝都是累赘。”
“这不就是最小充分状态嘛。”尹航喃喃自语。
最小充分状态？
一旁笑眯眯的孟澈忽然捕捉到了关键词。
先找状态，再找边界。
最后判断，哪些信息是必须保留的承重墙，哪些信息只是花里胡哨的壁纸和噪声。
这是一种拆解世间一切复杂系统的底层方法论。
不是一个能在单纯的数学竞赛题集里学到的漂亮说法。
可比会做题的天才厉害多了。
联想到这位才读高三的小师弟，一出山就帮大家解决了数据漂移的问题。
孟澈脑子里冒出一个不太严肃的念头。
这不就是先天科研圣体吗？