第93章 用游標卡尺量山（4 / 9）
比较 3 和 4。
比较 2 和 4。
该换就换。
不该换就继续。
顾南舟不懂底层电脑程式的性能优化，但他拥有顶级的数学直觉。
能看懂这根本不是普通意义上的排序。
这更像是一套被极度压缩的固定拓扑动作。
五个位置，有限的几步比较器。所有的全排列状態（5！=120可能）作为输入，都要被这套不可变通的动作，强行压迫坍缩成同一个唯一的有序结果。
再翻一页，图开始变复杂了。
不再只是五个简单的圆圈。
而是一张小型的严密的状態转移图。
几十个节点密密麻麻地分布在纸面上。
节点之间连著带方向的箭头。
有几处分支被江临用红笔画了巨大的x號。
旁边写著几行字：状態合併， 提前剪枝，不能误杀最优路径。
顾南舟翻页的动作慢了下来。
到了第三页，笔记本上已经很少有代码或算法逻辑的痕跡了。
有些图表仍然保留著程序状態树的影子，但有些节点和连接线，已经开始发生异变。
它们扭曲摺叠，变成了边界。
一圈向內凹进去的线段。
一条向外凸出来的齿状结构。
一个被红笔叉掉、標明不可匹配的小缺口。
在这一页的最下方，用极重的笔触写著一行英文。
local rules force global structure.
（局部规则强迫全局结构。）
顾南舟的手指猛地停顿在那一行字上，像被电击中了一样。
“我在写一个工具，暂时叫它微程序搜索器（micro-program searcher， mps）。”
江临適时地开口解释。
“它现在还很笨，算力极其有限，只会在一个被严格限定的很小范围里，把所有可能的底层做法暴力试一遍。”
“比如，我们要找出给五个数排序的最优网络。它可以把所有候选的比较顺序逐个去试，留下那些正確，状態稳定，没有破坏缺失值规则，而且在底层指令周期上跑得更快的那一套。” ↑返回顶部↑
比较 2 和 4。
该换就换。
不该换就继续。
顾南舟不懂底层电脑程式的性能优化，但他拥有顶级的数学直觉。
能看懂这根本不是普通意义上的排序。
这更像是一套被极度压缩的固定拓扑动作。
五个位置，有限的几步比较器。所有的全排列状態（5！=120可能）作为输入，都要被这套不可变通的动作，强行压迫坍缩成同一个唯一的有序结果。
再翻一页，图开始变复杂了。
不再只是五个简单的圆圈。
而是一张小型的严密的状態转移图。
几十个节点密密麻麻地分布在纸面上。
节点之间连著带方向的箭头。
有几处分支被江临用红笔画了巨大的x號。
旁边写著几行字：状態合併， 提前剪枝，不能误杀最优路径。
顾南舟翻页的动作慢了下来。
到了第三页，笔记本上已经很少有代码或算法逻辑的痕跡了。
有些图表仍然保留著程序状態树的影子，但有些节点和连接线，已经开始发生异变。
它们扭曲摺叠，变成了边界。
一圈向內凹进去的线段。
一条向外凸出来的齿状结构。
一个被红笔叉掉、標明不可匹配的小缺口。
在这一页的最下方，用极重的笔触写著一行英文。
local rules force global structure.
（局部规则强迫全局结构。）
顾南舟的手指猛地停顿在那一行字上，像被电击中了一样。
“我在写一个工具，暂时叫它微程序搜索器（micro-program searcher， mps）。”
江临適时地开口解释。
“它现在还很笨，算力极其有限，只会在一个被严格限定的很小范围里，把所有可能的底层做法暴力试一遍。”
“比如，我们要找出给五个数排序的最优网络。它可以把所有候选的比较顺序逐个去试，留下那些正確，状態稳定，没有破坏缺失值规则，而且在底层指令周期上跑得更快的那一套。” ↑返回顶部↑