计数的映射方法简介

对于两个有限集合MN,如果我们能够建立单射f:MN,那么card(N)(其中card表示有限集合中元素的数目).进一步,如果我们能够证明f是满射,那么就可以得到card(M)=card(N).这一简单结论在组合计数中应用很广泛,举例如下.

问题一    棋盘上的方格

如图1,一个m×n的棋盘(指包含边界在内有m条竖线和n条横线).

QQ20151104-2

图1

(1)有多少个小正方形方格?

(2)有多少个“对顶”方格组(包括旋转对称后的形状)?

(1)    设M是小正方形方格的集合,N是前m1条竖线和n1条横线形成的交点的集合.那么小正方形方格和N中的点是一一映射的,因此card(M)=card(N)=(m1)(n1).

(2)    设M是“对顶”方格组的集合,通过取两个小方格的公共点P以及形成方向τ,于是(P,τ)构成集合N.显然这也是一个一一映射,于是card(M)=card(N)=2(m2)(n2).

思考题    有多少个“犄角”方格组(包括旋转对称后的形状)呢?又有多少个“情侣”方格组(包括旋转后的形状)?(如图2)

QQ20151104-3

图2

答案分别为4(m2)(n2)(m2)(n1)+(m1)(n2)

提示    对于“犄角”,可以取中心点和缺角方向;对于“情侣”,可以取中间的小竖线或小横线.

 

问题二    棋盘上的“方格”

如图3,在一个m×n的矩形网格(指包含边界在内有m条竖线和n条横线)中有多少个矩形?

QQ20151104-4

图3

   如图4,横线上的两个不同点和竖线上的两个不同点与矩形一一对应,于是所求矩形数为C2mC2n.

QQ20151104-9

图4

思考题    如图5,在一个n级正三角网格中有多少个平行四边形呢?

QQ20151104-5

图5

答案是3C4n+2

提示    如图6,每条横线上的四个不同点都与平行四边形一一对应.

QQ20151104-7

图6

问题三    圆周上的点

圆周上有n个点,用弦把它们连接起来,那么

(1)有多少条不同的弦?

(2)这些弦至多有多少个交点(指在圆内部的)?

(3)这些弦至多将圆分成多少个无公共部分的区域?

(1)    如图7,圆上的两个无序点对与弦一一对应,因此数目为C2n

QQ20151104-14

图7

(2)    圆上的四个无序点对与交点一一对应(圆内接四边形对角线的交点),因此数目为C4n

QQ20151104-11

图8

(3)    新添一条弦l时,弦l与其他弦的交点将l分割为交点数加1条线段,每条线段都对应一个新增区域.因此所求数目为1+C2n+C4n

思考题    平面上有n条直线,它们最多将平面分成多少个不同的无重叠部分的区域?

答案是C2n+C1n+1

问题四    数的拆分

将一个正整数n表示为a1+a2++appN)的形式,其中aiNi=1,2,,p,且a1a2ap,记所有这样的表示法的种数为f(n)(如4=44=1+34=2+24=1+1+24=1+1+1+1,故f(4)=5).对任意正整数n,比较f(n+1)12[f(n)+f(n+2)]的大小,并给出证明.

    对任意正整数n,均有f(n+1)12[f(n)+f(n+2)],只需要证明f(n+2)f(n+1)f(n+1)f(n),证明如下:

注意到在n的所有表示法前加上“1+”就可以得到(n+1)的表示法中以1为第一项的表示法,因此(n+1)的表示法中以1为第一项的有f(n)种,而不以1为第一项的有f(n+1)f(n)种;

类似的,(n+2)的表示法中不以1为第一项的有f(n+2)f(n+1)种;在(n+1)的表示法中所有不以1为第一项的表示法中的最后一项加上1就可以得到(n+2)的表示法中不以1为第一项的表示法,且这些表示法均不相同.这样就建立了从(n+1)的不以1为第一项的表示法到(n+2)的不以1为第一项的表示法的单射.

因此f(n+2)f(n+1)f(n+1)f(n).

注一    此题即2014年北京市海淀区第二次模拟考试理科数学压轴题.

注二    更多进阶内容,可以点击《卡特兰数 — 计数的映射方法的伟大胜利》

此条目发表在方法技巧分类目录,贴了标签。将固定链接加入收藏夹。

计数的映射方法简介》有一条回应

  1. Pingback引用通告: 卡特兰数 — 计数的映射方法的伟大胜利 | Math173

发表回复