简单证明下。
把所有项分到三个部分:前件、后件,还有看不见。显然一个项只能且必须存在于三个部分之一。这就有了上界。
显然其中有部分是不合理的。
前件为空时的规则,后件为空时的规则,都为。所以减掉2倍的它,再加上被重复减去的1(代表前件、后件都为空的规则)。
Q.E.D.
结论:果然组合数学很重要啊。
简单证明下。
把所有项分到三个部分:前件、后件,还有看不见。显然一个项只能且必须存在于三个部分之一。这就有了上界。
显然其中有部分是不合理的。
前件为空时的规则,后件为空时的规则,都为。所以减掉2倍的它,再加上被重复减去的1(代表前件、后件都为空的规则)。
Q.E.D.
结论:果然组合数学很重要啊。