posts - 403, comments - 310, trackbacks - 0, articles - 7
            BlogJava :: 首頁 :: 新隨筆 :: 聯系 :: 聚合  :: 管理

          Ferrers圖像

          Posted on 2007-10-16 11:19 ZelluX 閱讀(1222) 評論(0)  編輯  收藏 所屬分類: Mathematics
          http://www.ekany.com/wdg98/zhsx/2/2_6.htm

          Ferrers圖像 

              一個從上而下的n層格子,mi 為第i層的格子數,當mi>=mi+1(i=1,2,...,n-1) ,即上層的格子數不少于下層的格子數時,稱之為Ferrers圖像,如圖(2-6-2)示。 

                  

                                           圖   (2-6-2)

              Ferrers圖像具有如下性質: 

              1.每一層至少有一個格子。 

              2.第一行與第一列互換,第二行于第二列互換,…,即圖(2-6-3)繞虛線軸旋轉所得的圖仍然是Ferrers圖像。兩個Ferrers 圖像稱為一對共軛的Ferrers圖像。 

              利用Ferrers圖像可得關于整數拆分的十分有趣的結果。 

              (a)整數n拆分成k個數的和的拆分數,和數n拆分成個數的和的拆分數相等。 

              因整數n拆分成k個數的和的拆分可用一k行的圖像表示。所得的Ferrers圖像的共軛圖像最上面一行有k個格子。例如: 

                

          圖   (2-6-3)      

              (b)整數n拆分成最多不超過m個數的和的拆分數,和n拆分成最大不超過m的拆分數相等。 理由和(a)相類似。 

              因此,拆分成最多不超過m個數的和的拆分數的母函數是 

                 

              拆分成最多不超過m-1個數的和的拆分數的母函數是 

                 

              所以正好拆分成m個數的和的拆分數的母函數為 

                 

              (c)整數n拆分成互不相同的若干奇數的和的的拆分數,和n拆分成自共軛的Ferrers圖像的拆分數相等. 設 

                 

          其中n1>n2>...>nk 

              構造一個Ferrers圖像,其第一行,第一列都是n1+1格,對應于2n1+1,第二行,第二列各n2+1格,對應于2n2+1。以此類推。由此得到的Ferres圖像是共軛的。反過來也一樣。 

              例如 17=9+5+3 對應為Ferrers圖像為

                 

          圖   (2-6-4)

                 


          費勒斯(Ferrers)圖象

          假定n拆分為n=n1+n2+n3+……+nk,且n1>=n2>=n3>=……>=nk

          我們將它排列成階梯形,左邊看齊,我們可以得到一個類似倒階梯圖像,這種圖像我們稱之為Ferrers圖像,如對于20=10+5+4+1,我們有圖像:

           

           

           

           

           

           

           

           

           

           

           

           

           

           

           

           

           

           

           

           

           

           

           

          對于Ferrers圖像,我們很容易知道以下兩條性質:

          (1)      每層至少一個格子

          (2)      行列互換,所對應的圖像仍為Ferrers圖像,他應該為該圖像的共軛圖像

             任意的Ferrers圖像對應一個整數的拆分,而可用Ferrers圖像方便地證明:

          (1)      n拆分為k個整數的拆分數,與n拆分成最大數為k的拆分數相等

          (2)      n拆分為最多不超過k個數的拆分數,與n拆分成最大數不超過k的拆分數相等

          (3)      n拆分為互不相同的若干奇數的拆分數,與n拆分成圖像自共軛的拆分的拆分數相等


          主站蜘蛛池模板: 壶关县| 宜兰市| 车致| 雷山县| 晋中市| 南部县| 区。| 拜城县| 都安| 马尔康县| 榕江县| 隆昌县| 南平市| 拜城县| 永昌县| 广宁县| 沧州市| 精河县| 易门县| 东山县| 民勤县| 建德市| 南郑县| 东城区| 青州市| 崇阳县| 无极县| 仁化县| 鹤庆县| 渝北区| 武清区| 大城县| 济宁市| 五常市| 吉安县| 安徽省| 阳东县| 永春县| 泰安市| 阳曲县| 屯门区|