对于k=6,图1表示6的分区。图2是结构的最低限度版本,不包含轴[X,Y],如下所示:
.
.j图1分区图2
. _ _ _ _ _ _ _ _ _ _ _ _
. 11 |_ _ _ | 6 _ _ _ |
. 10 |_ _ _|_ | 3+3 _ _ _|_ |
. 9 |_ _ | | 4+2 _ _ | |
. 8 |_ _|_ _|_ | 2+2+2 _ _|_ _|_ |
. 7 |_ _ _ | | 5+1 _ _ _ | |
. 6 |_ _ _|_ | | 3+2+1 _ _ _|_ | |
. 5 |_ _ | | | 4+1+1 _ _ | | |
. 4 |_ _|_ | | | 2+2+1+1 _ _|_ | | |
. 3 |_ _ | | | | 3+1+1+1 _ _ | | | |
. 2 |_ | | | | | 2+1+1+1+1 _ | | | | |
. 1 |_|_|_|_|_|_| 1+1+1+1+1+1 | | | | | |
.
对于初始项的说明,我们使用两个相反的Dyck路径,如下所示:
11 ...........................................................
. /\
. /
. /
7 .................................. /
. /\ /
5 .................... / \ /\/
. /\ / \ /\ /
3 .......... / \ / \ / \/
2 ..... /\ / \ /\/ \ /
1 .. /\ / \ /\/ \ / \ /\/
0 /\/ \/ \/ \/ \/
. \/\ /\ /\ /\ /\
. \/ \ / \/\ / \ / \/\
. 1 \/ \ / \/\ / \
. 4 \ / \ / \ /\
. 9 \/ \ / \/ \
. \ / \/\
. 28 \/ \
. \
. 54 \
. \
. \/
.
图表是无限的。注意,高度0处两个谷之间的第n个最大峰值也是分区数A000041号(n) ●●●●。
计算:
a(1)=1。
a(2)=2^2=4。
a(3)=3^2=9。
a(4)=2^2-1^2+5^2=4-1+25=28。
a(5)=3^2-2^2+7^2=9-4+49=54。
a(6)=2^2-1^2+5^2-3^2+6^2-5^2+11^2=4-1+25-9+36-25+121=151。