棘手, 但很迷人 一一从有序树计数看数学模型.pdfVIP

數學傳播 33 卷 1期, pp. 65-75 棘手, 但很迷人 一一從有序樹的計數看數學模型 柳柏濂 一. 問題的提出—從細胞繁殖到有序樹 細胞繁殖 (cell-growth problem) 是生物數學中的一個著名問題: 從一個正方形的 「細 胞」 開始, 每次從其中一邊生長出一個新的細胞。 如此繼續, 所形成的 「動物」 不含空洞。 那麼, n 個細胞 (正方形) 能形成多少個不同的動物? 我們試考察 n = 4 的情形。 四個細胞所形成的動物如下: n = 4 (1) (2) (3) (4) 圖1 對於一般的 n。 設 f (n) 表示 n 個細胞的不同動物數。 迄今, 只知道如下的結果 (n ≤ 24) (見 [1]) n 1 2 3 4 5 6 7 8 9 10 · · · 23 24 f (n) 1 1 2 5 12 35 108 369 1285 4655 · · · 168,047,007,728 654,999,200,403 我們所說的不同的動物, 指的是在旋轉, 反射變換下不同的動物式樣。 如果我們把細胞的生成限制在平面上, 則所述的問題變成平面細胞繁殖問題。 同樣, 對於 n = 4, 考察平面細胞的不同式樣, 則圖 1 的 (1), (3), (4) 圖無變化, 但圖 (2) 應變成下列兩個圖。 65 66 數學傳播 33 卷 1期 民 98 年 3 月 (1) (2) 圖2 也就是說, 在平面上用旋轉變換, 圖 2 中的圖 (1) 無論如何是不能變成圖 (2) 的。 處於三維空間的你, 習慣於三維空間中的條件變換, 往往不經意地把三維空間中的反射, 用 於限制在二維空間的圖形中, 因而誤認為圖 2 中的圖 (1), (2) 是同一個圖。 正是利用你習慣性思維造成誤判, 電子商炮製出 流行的俄羅斯方塊遊戲。 當方塊在平面上翻著 “筋斗” 下落時 (圖 3), 你能準確地判斷出它能否嵌入下方的 凹洞中嗎? 同樣限制在平面上, 我們考慮在計算機演算法中 不可或缺的樹圖 (tree)。 所謂 n 階樹, 就是 n 個頂點的無圈連通圖, 而每 個頂點所連接的邊數稱為該頂點的度 (degree)。 易 知: n 階樹有 n − 1 條邊, 且至少有兩個度為 1 的 圖3 點, 即懸掛點 (pendent vertex), 或稱為葉點。 限制在平面上變換的樹, 稱為平面樹。 把樹的某一點作特殊標號, 這樣的樹稱為根樹 (roo- ted tree)。 此特殊的點稱為根點。 根點是懸掛點的根樹稱為植樹 (plant tree), 如同上述俄羅 斯方塊的原理 , 圖 4 中兩棵平面植樹 (1) 和 (2) 是不同的。 (1) 有序植樹且是二叉樹 (2) 有序植樹且是二叉樹 (3) 有序植樹 (4) 有序樹 圖4 因為圖 4 中的樹 (1) 不能通過旋轉變為樹 (2)。 於是, 在平面樹中 「枝椏」 都是有序的。 因此, 平面植樹 (圖 4 中 (1) (2) (3)) 又稱為有序植樹 (ordered plant tree), 平面根樹 (圖 棘手, 但很迷人—從有序樹的計數看數學模型 67 4(4)) (根點不一定是懸掛點) 稱為有序樹 (ordered tree), 而像圖 4 的 (1) (2) 那樣僅由