从d个项的数据集中可能提取的规则总数

简单证明下。

把所有项分到三个部分：前件、后件，还有看不见。显然一个项只能且必须存在于三个部分之一。这就有了上界。

显然其中有部分是不合理的。

前件为空时的规则，后件为空时的规则，都为。所以减掉2倍的它，再加上被重复减去的1（代表前件、后件都为空的规则）。

Q.E.D.

结论：果然组合数学很重要啊。