四川省宜賓市南溪區(qū)第一中學(xué) 張玄逸

如果能夠僅僅通過交換而不改變數(shù)值得到的組合只算作一個組合，比如——

那么這一組骰子可以擲出多少不同的組合？

可惜的是作者并沒有給出證明過程。

骰子與組合無法直接建立特定倍數(shù)關(guān)系，因為骰子們點數(shù)的種類和數(shù)量都是變量。

本文試從公式出發(fā)倒推證明過程，最終回歸組合。

一、排序

首先必須把每個數(shù)列中的數(shù)字重排。有序數(shù)組更易發(fā)現(xiàn)規(guī)律。將其記為ai。

二、構(gòu)造數(shù)組

構(gòu)造bi，b1表示有幾個1，b2表示有幾個2，以此類推。上述組合可以改寫為：0 2 1 0 2 1，

另外有很明顯的幾點：a1≥1 ；a6≤6 ；ai-1≤ai。

看似平常的三點可以啟發(fā)我們構(gòu)造另一個數(shù)組：

令ci=ai-ai-1，即ci為ai的差分?jǐn)?shù)組。

經(jīng)驗證，兩個數(shù)組均可以推導(dǎo)得到公式，因此下文就以更難一點的差分?jǐn)?shù)組來證明。

三、規(guī)定

差分?jǐn)?shù)組的含義為當(dāng)前數(shù)字比前一個多了多少，那么c0該等于幾？根據(jù)后面的ci范圍為[0，5]，類比得到c0=1，c1∈[0，5]，否則下一步操作無法等價進(jìn)行。

四、隔板法

現(xiàn)在已經(jīng)類似于隔板法了，因為最后一個數(shù)最多比c0多5，所以有5 個小球。因為最后一個數(shù)不一定為6，因此隔板仍需6 塊，而相鄰兩隔板間的距離即為ci。但會導(dǎo)致此種情況。以上文2 2 3 5 5 6 為例。

隔板法不允許兩隔板置于相同空隙中。

抽象數(shù)組仍需使用隔板法，只是兩隔板間距含義為使用該數(shù)字的個數(shù)，且使用數(shù)字總數(shù)確定，因此需要(6+5)個小球和5 塊隔板。