数组开始:
m/n |3.4.5..6..7..8…9..10…11…12…13…14….15….16….17….18
---|-------------------------------------------------------------------------
1..|1.2.5.13.33.89.240.657.1806.5026.13999.39260.110381.311465.880840.2497405
2..|.......1..2..8..23..74..220..674..2011..6038..17980..53547.158907..471225
3..|.................1...2....8...27....89...289....938...2985...9456...29722
4..|...............................1.....2.....8.....27.....94....309....1035
5..|..................................................1......2......8......27
6..|........................................................................1
-----------------------------------------------------------------------------
m/n|。。。。。19.......20.......21........22........23.........24.........25....
---------------------------------------------------------------------------
1..|7093751.20187313.57537552.164235501.469406091.1343268050.3848223585....
2..|1394786..4124929.12185636..35972082.106111713..312835608..921809509....
3..|..92842...288509...892506...2749940...8443504...25845735...78897469....
4..|...3382....11040....35659....114614....365970....1163167....3678680....
5..|.....94......315.....1060......3507.....11570......37853.....123196....
6..|......2........8.......27........94.......315.......1067.......3537....
7..|........................1.........2.........8.........27.........94....
8..|.......................................................1..........2....
9..|.......................................................................
表T的第5行和第6行以相同的值开始,即1、2、8、27、94和315。
这是因为具有n个顶点和m个分量的图的数量等于具有n+3j个顶点和m+j个分量的图形的数量,n>=3,j>=1。
所以T(5,16)=T(6,19),T(5,17)=T。
等于3的部分不会改变公式中乘积的值,因为如果i=3,二项式(f(i)+K_i-1,K_i)=二项式。
因此,我们在公式中取i>=4。