来自University of Warwick的Mike Paterson星期二在 Yao 的理论计算机课堂上给了一个非常有趣的小讲座。
n 个长度为 1 的砖块,叠起来能伸出桌面多远?(只考虑方块各平面都与桌面平行的情况)。
下面这种放法,很多人高中学物理的时候都见过吧?它用 N 个砖块伸出了大约\(\ln(N)/2\)。
上面这种叠放方法称为 Harmonic Stacks ,但它是最优的吗?下面这个例子可以看出,在 3 个砖块,我们就已经能做的更好了。
上面这个能继续往上堆么?很不幸
下面这个也不行
如果在上面再压很多砖块就可以了
下面是一种叠放方法,可以做到大约\(O(lnN)\).
但它也不是最优的,下面是 20 个和 30 个方块的最优叠放方法,它比上面的要好
下面是砖块数目比较少的时候的最优叠放方法。
不过说了这么多,上面的方法都只能做到 $ln(N) $ 的量级,而下面这个方法可以用 N 个砖块,往前伸出 $N^{\frac13}$的长度。
而且,Mike Paterson及其合作者证明了,这种方法在量级上已经是最优的了!
Q. E. D.