算法设计与分析: 2-13 标准二维表问题

2-13 标准二维表问题

---

问题描述

设n是一个正整数。2*n的标准二维表是由正整数1,2,…,2n组成的2*n数组，该数组的每行从左到右递增，每列从上到下递增。2*n的标准二维表全体记为Tab(n)。例如，当n=3时，tab(3)二维表如下图所示。

1	2	3
4	5	6

1	2	4
3	5	6

1	2	5
3	4	6

1	3	4
2	5	6

1	3	5
2	4	6

给定正整数n，试计算Tab(n)中2*n的标准二维表的个数。

---

分析

一维数组递归遍历法

将上面标准二维表从左到右从上往下看成一维数组，递归遍历，记录符合条件的情况。

进栈出栈法

1	2	3
4	5	6

1	2	3	4	5	6
0	0	0	1	1	1

如上图，先把2*n个数字排成一行来看（1~2*n 有序）。之前上表中放到第一行的数字1，2，3在下表中标记为0，放到第二行的数字4，5，6在下表中标记为1，这样就可以有一个0，1的序列，如下图（按照上面方式，将前面n=3时的所有5种标准二维表转变为一维表）：

1	2	3
4	5	6

1	2	3	4	5	6
0	0	0	1	1	1

1	2	4
3	5	6

1	2	3	4	5	6
0	0	1	0	1	1

1	2	5
3	4	6

1	2	3	4	5	6
0	0	1	1	0	1

1	3	4
2	5	6

1	2	3	4	5	6
0	1	0	0	1	1

1	3	5
2	4	6

1	2	3	4	5	6
0	1	0	1	0	1

当n=3时，5种标准二维表转化成的总表如下

1	2	3	4	5	6
0	0	0	1	1	1
0	0	1	0	1	1
0	0	1	1	0	1
0	1	0	0	1	1
0	1	0	1	0	1

可见，题目要求前面的数字比后面、上面的数字比下面的数字小的问题，可以转化为，序列中每个数字前面0的个数要大于等于1的个数问题。

该问题又可以转换成进栈出栈问题。2*n个数字，进栈是0，出栈是1，且进栈出栈次数均为n，这样就可以保证输出的进栈出栈序列中每个数字前面0的个数大于等于1的个数，符合题目要求。

Catalan数法

上面方法中涉及到的 进栈出栈问题 本质上属于 Catalan数问题。因此，又可以转化为 Catalan数问题。

令h(0)=1,h(1)=1，Catalan数满足递推式[1] ：
h(n)=h(0)∗h(n−1)+h(1)∗h(n−2)+...+h(n−1)h(0)(n>=2)