容斥原理 包含排除原理

容斥原理是一种数数的方法，用来算「至少出现一次」这类问题。直接去数「有炸弹的手牌有多少种」会很麻烦，因为可能有一个炸弹、也可能同时有两三个炸弹，容易重复算或漏算。容斥原理换个角度：先算出一个都没有的情况占多少，再用总数减掉，剩下的就是至少出现一次。

它为什么好用，是因为把复杂问题拆成了几层简单的加加减减。核心公式是：算「至少一个」时，先加上「恰好没有」，遇到会被重复计入的部分就交替地减、再加回来，一层层修正。比如算牌堆里至少凑出一个四张同点，就用组合数先减去含一组四张同点的情况，再加回同时含两组的情况，抵消掉多减的那部分。

常见误区是把「至少一个」和「恰好一个」混为一谈，两者数值差很多。另一个坑是容斥展开时正负号交替，少写一项或符号搞反，结果就会偏大或偏小。斗地主、跑得快里算炸弹这类牌型概率，用的正是这套思路，好处是纯计数、结果精确，不像模拟那样每次略有波动。

容斥原理和直接数有什么不一样？直接数「至少一个」时，含两个、三个的情况会被重复计入，很容易算错。容斥原理反过来先数「一个都没有」再用总数减，规避了重复，算牌型概率时结果是精确的。

为什么公式里有加有减？因为减去「含一组」时，把同时「含两组」的情况多减了一次，得再加回来；层数越多就这样正负交替修正。少写一项符号就会算错。

它和蒙特卡罗模拟怎么选？容斥能写出封闭公式时就用它，结果精确、每次一致；但牌型和点数相邻关系绑在一起（如顺子、连对）时公式很繁琐，这时改用蒙特卡罗模拟更省事。