0X00 组合恒等式
首先我们来学一些组合恒等式
-
- 当 k = n - 1 时
0X01 隔板法
隔板法求等式的正整数解的数量
求: 的正整数解的数量
相当于有 n 个小球, n - 1 个空隙。在 n-1 个空隙里面插入 k - 1 个板子所以答案是
隔板法求不等式正整数解的数量
求: 的正整数解的数量
同样也是有 n 个小球,每个解 相当于有 n 个空隙(包括最后一个小球的最后),再往这 n 个空隙里面插入 k 个板子就是最后的答案
可能这么说,比较抽象,我举一个具体的例子假设 n = 6, k = 3 如下面的小球
⚪⚪⚪⚪⚪⚪
现在我用「隔板法」画出一个解
⚪⚪|⚪|⚪|⚪⚪
除了第一个解,每个板子之间就是一个解。而最后剩下的部分, 因为是 所以是可以不要的,也可以全部要就像这样:
⚪⚪|⚪|⚪⚪⚪|
隔板法的变形
- 每一个解
上面的每一个解都是 , 我们需要做的就是将当前这种情况,转换成上面的情况
令 这样
而等式右边由
变化为
- 区间求解
现在我们求的是 解的数量,同样我们可以把它转换成:
0X02 重要的卡特兰数
一旦看到有这么一个序列,它由两种元素组成,且一部分的个数大于等于另一部分的个数,就得想到卡特兰数
这么说可能比较抽象,举个具体的例子:满足条件的01序列
它的推导

得放在一个坐标系中,不具体叙述了记住结论,到 B 的方案数量 =
网友评论