“挺有灵性的。”
要知道，在这类长和式的估计中，让某部分计算停下来，其实并不难。
难的是，用常规的方法让它们停下来，每次都会留下损失。
路径少的时候或许不显眼，可一旦在不同尺寸上的路径多了，这些损失就会不断的积累，最後很可能反过来压住主项，那整套证明也就失去了意义。
所以周牧这套停时型 Mollifier就完全没有这个问题。
它不仅规定了哪条路径该停，而且还规定了该停在哪里。
这样损失就会减到最小，然後他还将这些损失纳入了同一个估计里，证明它们加在一起也压不过主项。
李东又从头看了一遍，轻轻地点头。
“不错不错，论文写的也很漂……”
这话李东还没说完，突然意识到了一个问题。
提前停掉已经没有希望的路径，这不正好可以用在他的思维沙盘里吗？
思维沙盘在筛选材料路径时，也会沿着不同的元素组合与结构，不断地向下推演。
不管这些路径在中途表现的有多差劲，只要没有证明他是错的，沙盘是不会停掉的，还会继续演算下去。
这样会大大加重他用脑的一个程度。
“如果现在把周牧的停时规则加进去的话……那就完全能够避免这样的情况了。”
想到这里，李东立刻将这套规则装进了思维沙盘里。
然後又从记忆宫殿里面，将几组推演过的材料拿了出来，将它们各自的成分、结构参数和筛选指标一起送进了思维沙盘里。
此时，思维沙盘开始运转。
一条条分叉路再次展开。
不过和以往的相比，有很多的岔路，在没有延伸多远的情况下，就主动暗了下去。
李东看着思维沙盘里的变化，嘿嘿地笑了两声。
“果然，这东西可以用在材料上。”
而此时，周牧还在食堂里认真地向沈嘉树解释，自己现在研究的方向，根本就没办法用到应用工程上。