所有算法可视化站都在演示算法怎么工作。这十四份演示的是没有它世界会怎么样——每一个都配一个能真按下去的开关,关掉之后屏幕上必须有东西当场塌掉。选它们的判据只有一条反事实:如果 1950 年有人证明它不可能存在,今天少的不是一点速度,是一整个行业。
关掉它,移动互联网不会被设计成今天这个样子。一个真的 5G OFDM 符号,和 71.4 微秒那道截止线。
关掉它,数字存储和数字通信全都变得不可信。真的 GF(256) Reed–Solomon,可以用鼠标砸坏字节。
关掉它,互联网只能是个公告板,不可能是市场。Eve 真的在跑大步小步算法。
关掉它,流媒体在物理上不能存在。一个真的编解码器在浏览器里现编现解。
关掉它,人类到不了月球,你的手机也不知道自己在哪条车道。
关掉它,高维空间里的一切都算不动。外带 Metropolis 接受准则的开关。
关掉它,你现在正在用的这个东西不存在。同样的前向预算,两个决策边界并排。
关掉它,互联网扩展不到几十台机器以上。两个开关管的是两件不同的事。
关掉它,整个物理经济的调度层退回到拍脑袋。外带 Klee–Minty 那族反例。
关掉它,每加一台缓存机器,整个互联网都要回源一次。一行取模换成环上取后继。
关掉它,市场不是变慢,是所有人开始撒谎。前十份关的是「机器算得动」,这一份关的是「人肯说真话」。
关掉它,不是变慢,是两个人同时以为自己是对的。提交前要不要等多数派确认。
关掉它,「千元基因组」里便宜下来的那一半根本没发生——测序仪读得再快,也没人比对得完。
关掉它,搜索结果的前十名可以被造出来——链接是免费的,造一批垃圾页互指就行。