0xBABAF000L - Geeky humor

0xBABAF000L 是一系列的漫画，很有Geek风格，尤其是UNIX Geek。我是通过Ai.Freedom同志的这篇post得知的。由于Ai.Freedom同志的介绍已经十分详细，我就不重复工作了，下面列出几个我比较喜欢的。

首先说一下主页。你也许已经看出来他们各自说的是谁，而其中The Bills 的介绍已经非常明确地把Microsoft讽刺了一番——他们的数量数不清, 每个都完全一样(虽然有时你能通过他们的衬衫的颜色分辨他们). 他们虽然很呆板, 但很恭敬, 也乐于助人. 他们的默认设置让人不爽, 总是把问题重复问你至少两遍, 却从不理会你的回答.（注：Ai.Freedom同志的译文）

接下来一个个说。

• http://tnerual.eriogerg.free.fr/0xBABAF000L/1_en.html

  这个还要用long long呢。就现在的机器说，long 就够惨的了。

• 从这张开始，一直到strip 6。

  SSH 固然安全，但terminal 并不是人人都能用的，友好的用户界面也很重要。最后一句尤其经典——"quit your bullshit and fetch me a gnome!"

• 这两张——1 2

  对死锁的一个形象解释。不过，优先级对调可不是我们想要的。

• 这一张。

  这是所谓的……“暴力搜索”？好在看来还有剪枝。

• 这一张。

  感觉这里的Debby 像是在说我～

• 从这张开始，一直到strip 15。

  What Microsoft realy is... GNUT 的疑惑不无道理，那个问题怎么能回答“OK”呢。"bill < yes", I know what you're to say.

• 这一张。

  Newton 的煮鸡蛋？

• 这一张。

  Sigh, isn't everything 42?

• 这一张。

  我比较喜欢这里对炒作的讽刺。

明天初赛

如题。来点组合数学。

Catalan & Stirling

首先是Catalan。Catalan数定义为C_n = (2n C n) / (n+1)。该数列的意义：C_n表示从(0, 0)到(n, n) 的下对角线格路径的条数。（晕乎？）换种说法，在坐标平面上，有一只蜘蛛在点(0, 0)处。它想走到(n, n)处。这只蜘蛛每次只能向右或向下移动一个单位。如果这蜘蛛从没到达直线y=x的上方（但是可以接触），那么它就有总共C_n种走法。与之等价的问题还有剧院的自动售票机等。

从Catalan数可以衍生出拟-Catalan数——C^*_n = n!C_n-1。该数的意义在《组合数学》中是以乘法格式的形式给出的，不过有点抽象。广大的OIer基本都知道合并果子，现以之为例。如果认为将第x堆与第y堆合并和将第y堆与第x堆合并是不一样的，那么将所有的果子合并为一堆的顺序就有C^*_n种。

接下来是两类Stirling数。第一类s(p, k)指将p个物体排成k个圈的方法数，由此可以证明其递归公式：s(p, k) = (p-1)s(p-1, k)+s(p-1, k-1)，方法类似于归纳法。第二类与之很相似，S(p, k)表示将p个数分成k分的方法数，递归公式：S(p, k) = kS(p-1, k)+S(p-1, k-1)。

去年就考了第二类Stirling，今年估计不会了吧。