程良炎
(黃石理工學(xué)院數(shù)理學(xué)院,湖北黃石 435003)
定義 把含有n個元素的集合恰好分成r個無序非空子集的所有不同劃分的數(shù)目稱為第二類stirling數(shù),記為S(n,r).
對于n=r=0時,定義S(0,0)=1,當(dāng)n<r時,S(n,r)=0.
我們這里約定L≥1,因為當(dāng)L=0時,顯然有S(n,n-L)=S(n,n)=1.
前面的 4個引理都給出了 n的取值范圍,即n≥M且M=2L,現(xiàn)在我們來嘗試一下將M=2L改為M≥2L,看會出現(xiàn)什么結(jié)果,現(xiàn)以引理2為例,將條件 n≥8改為 n≥10來計算S(n,n-4).
解 由S(n,n-4)的定義,不難看出將n個球放進(jìn) n-4個盒子里且每個盒子至少放入1個球的方法是:先將n-4-k個盒子里各放入1個球,再將剩余的 k個盒子共放入 4+k個球,且這 k個盒子中每個盒子至少要放入 2個球,因為n≥10,n-4-k≥0,則知k≤6,又由于球的個數(shù)必須超過盒子數(shù),則所有盒子中放入的球數(shù)超過 1的盒子數(shù)至少是 1,則知k≥1,故k的取值范圍為 1≤k≤6.
為了表達(dá)方便,先設(shè)Pi為k=i(k=1,2, 3,…4,5,6)時的分拆數(shù).
1) 當(dāng)k=1時,4+k=5,要將5個球放入 1個盒子中,其余的 n-5個盒子中各放入1個球,其球的放法只有 1種情形,相應(yīng)的方法數(shù)為:
2) 當(dāng)k=2時,4+k=6,將6個球放入2個盒子中,相應(yīng)的放法有 2種情形,分別為: (2,4),(3,3),相應(yīng)的方法數(shù)為:
3) 當(dāng)k=3時,4+k=7,將7個球放入3個盒子中,相應(yīng)的放法為:(2,2,3),相應(yīng)的方法數(shù)為:
4) 當(dāng)k=4時,4+k=8,將8個球放入4個盒子中,相應(yīng)的放法為:(2,2,2,2),相應(yīng)的方法數(shù)為:
5) 當(dāng)k=5時,4+k=9,將9個球放入5個盒子中,每個盒子至少放入 2個球是不可能的,則相應(yīng)的方法數(shù)為:
6) 當(dāng)k=6時,4+k=10,將10個球放入 6個盒子中,每個盒子至少放入 2個球也是不可能的,則相應(yīng)的方法數(shù)為:
將以上方法數(shù)相加得:
由此可以看出,當(dāng) n≥10時,利用引理 2是可以計算S(n,n-4)的,但是這里關(guān)鍵的一點就是上面 Pk中 k的取值范圍如何確定,以及k取何值時才使得 Pk=0,因此文獻(xiàn)[2]中定理反應(yīng)的問題還不夠全面.
設(shè)n≥M,在計算S(n,n-L)時,我們希望知道在 L給定的情形下怎樣確定 n,k,M (n,k,M這 3個數(shù)均為正整數(shù),k為至少裝有2個球的盒子數(shù)).
首先確定 k的取值范圍,將 n個球放進(jìn)n-L個盒子里且每個盒子至少放入 1個球的放法是:先將n-L個盒子各放入1個球,剩余的L個球在n-L個盒子中選出若干個盒子進(jìn)行放入,因此至少有 1個盒子放入球的個數(shù)大于 1,因為至少放入 2個球的盒子數(shù)為 k,顯然k至少是 1,現(xiàn)在看 k的最大值是多少,因為剩余的L個球要在n-L個盒子已經(jīng)各放入1個球的基礎(chǔ)上最多可選出 L個盒子,且這 L個盒子中每個盒子再加入 1個球,顯然 k的最大值為L,則1≤k≤L.
其次確定 M的取值范圍,因為 k的最大值為L,至少要準(zhǔn)備2L個球裝L個盒子,則M必須大于或等于2L,所以M=2L或M>2L.
我們也可從另一角度討論 k與 L的關(guān)系,當(dāng)n≥M時,為求S(n,n-L)的值,根據(jù)k依次取 1,2,…,L的情形分成 L類,在每一類中,先將n-k-L個盒子里各放入1個球,再將剩余的k個盒子共放入k+L個球,且這k個盒子中每個盒子至少要放入 2個球.
若要將k+L個球放入k個盒子中,且k個盒子中每個盒子至少放入 2個球,只有當(dāng)k+L≥2k時,即L≥k時才有可能,因此有:
由n≥M,n-L-k≥0可知:1≤k≤ML,但當(dāng)L<k≤M-L時,Pk=0,故:
因而當(dāng)M≥2L時有:
式(1)和式(2)是當(dāng)n≥M時,在S(n, n-L)中根據(jù)n,M,L這3個數(shù)之間的內(nèi)在聯(lián)系給出的,為我們計算第二類stirling數(shù)S(n,n -L)帶來很大的方便.
由式(1)可知,P5=0,P6=0,P7=0,P8= 0,則有:
[1] 孫淑玲,許胤龍.組合數(shù)學(xué)引論[M].合肥:中國科學(xué)技術(shù)大學(xué)出版社,1999
[2] 杜春雨.第二類stirling數(shù)的一個恒等式[J].江西師范大學(xué)學(xué)報:自然科學(xué)版,2004,28(3): 240-241
[3] 余敏.關(guān)于第二類stirling數(shù)的幾個恒等式的證明[J].黃石理工學(xué)院學(xué)報,2009,25(5):22-24