算法观澜

观澜台悬在万法之上。台下，无数算法如光河流淌——有的湍急，有的缓滞，有的在暗处打转，永不前行。石碑刻着四个字：「效率为尺。」

你嗤笑。算法不就是代码写得快不快？给你一个 for 循环，什么算不了？台角站着一个人影，通体由打孔纸带编织而成——诺依曼老祖。他递过来三块令牌。

诺依曼老祖

「挑一块最好的。」他的声音像机器咬合，没有任何温度。「你敢把直觉押上去吗？」

停机之渊

「最快的最好。」深渊在台下低语。「我替你记账。每一笔，S9 清算。」

尺子入手冰凉。刻度不是数字，是函数。台下光河中浮出九个函数球——1、log₂n、√n、n、n log₂n、n²、n³、2ⁿ、n!——在无标度的虚空中乱作一团。

诺依曼老祖

「把它们从小到大排好。」

停机之渊

「100n² 比 n³ 大得多，不是应该排前面？」

量劫仪是一座三面棱镜，内部悬浮着一段快排伪代码。

诺依曼老祖

「快排。你给它什么，它就是什么命。」

你不信。快排不就是 O(n log n)？尺子上写着的。棱镜第一面亮了——你喂进去一个已排好序的数组。光河猛地滞住，像撞上一堵墙。

分形塔的每一层都是上一层的缩影——递归的物理化身。塔壁刻着一行递推方程：T(n) = aT(n/b) + f(n)。

诺依曼老祖

「搭一棵递归树，看看每层花多少。」他递来一面镜子——递归之镜，镜框铭刻「映树」。

你心想：分治嘛，二分两半再合并，不就 O(n log n)？你在镜面上写下 T(n) = 2T(n/2) + n²——合并那一步是 n²，你以为无所谓。镜中的递归树长出来了。你数了数每层的总和——n² + n²/2 + n²/4 + …… = 2n²。不是 n log n。是 n²。塔壁裂了一道缝。

排序刑场是一片开阔的石台。诺依曼老祖：「排好它们。比 O(n log n) 更快。」你不信邪。冒泡太慢？换快排。快排最坏 O(n²)？换堆排。堆排也是 O(n log n)？换归并——还是 O(n log n)。你试了五种排序，没有一种低于 n log n。

停机之渊

「换更聪明的排序，总能比 n log n 快——是吗？」

刑场中央升起一棵巨树——不是递归树，是判定树。每个节点是一次比较，每条路径是一种排列结果。

散列阁里悬着无数小格，每格有自己的编号。诺依曼老祖递给你一个哈希函数：「把数据丢进去，算个地址，直接放。不比较，不排序。」

你试了——O(1)。丢一个，查一个，都是 O(1)。你笑了：「这就是答案。排序下界？那是比较排序的下界。我不比较。」然后你丢进了第一百个数据。两个数据算出了同一个地址。格子里撞了。

贪心迷阵的每条岔路口都写着「取最优者行」。第一关活动选择——每步选最早结束的，完美。第二关 Huffman 编码——每步合并频率最低的，完美。你笑了：「每步取最优，全局就最优。」

第三关——0-1 背包。容量 10，三件宝物：重 6 值 12、重 5 值 10、重 5 值 10。你按性价比选了最贵的——重 6 值 12。剩 4 的空间，什么都装不下了。总计值 12。

诺依曼老祖

「另一条路：选两件重 5 值 10——总重 10，总值 20。你每步都选了最优。你的结果比最优差了 40%。」

记忆之殿的墙壁上刻满了格子——每一个格子是一个子问题的答案。你在墙上写下递推：OPT(i, w) = max{ OPT(i-1, w), OPT(i-1, w-wᵢ) + vᵢ }。格子逐个填满，最优解 20 浮现。你笑了：「DP。天下无敌。」

诺依曼老祖

递过递归之镜——第二次了。镜面铭刻已变：「映图」。「现在解这个。」他在镜上写下：TSP。

S 是已访问城市的子集。子集有多少？2ⁿ。10 个城市，1024。15 个，32768。20 个——一百万。墙壁裂了。

迷图深渊是一张巨网——节点如星辰，边如暗河。你吐出一口气。BFS——队列推进，一层一层扫开。DFS——深入到底再回溯。两种走法，O(V+E)。掌控感回来了。

你开始找最短路径——Dijkstra，贪心地取最近节点。干净利落。然后，一条边亮起了暗红色。它的权重是负的。Dijkstra 的光河在那条边前停住了。

诺依曼老祖

「慢一点。Bellman-Ford。什么路都走得通。」

你以 O(VE) 的代价走完了负权图。但当你走到最深的那个节点——脚下的网碎了。下面是深渊。深渊里传来一个声音：「它会停吗？」

观澜台回到脚下。你低头看——石板上的五道刻痕亮了。五道刻痕拼成一幅地图。不是迷路的图——是边境的图。

诺依曼老祖

「你来了的时候说：给我一个循环，什么算不了。现在你知道了。有些东西，算不了。不是因为你不够能干——是因为它们不在计算的范围里。这不是退步。这是你第一次看见了世界的形状。」