这个疑问是去年暑假@Pethly_Cat 巨佬提出来的,然后我不知道,所以现在来求助。
在 https://www.luogu.com.cn/blog/ima/solution-p5339 这篇题解中,有这么一句话:
这样,我们可以分别计算至少有 0 组讨论 cxk,至少 1 组,至少 2 组……
最后容斥一下就可以,系数为 (−1)i。
然后就有一个问题:题目求的是 0 组讨论 cxk,所以有两个问题:
-
为什么不能直接用至少 0 组 − 至少 1 组。
-
这道题中容斥的柿子为什么正确,感觉和之前见的不一样。