算法-数学-组合计数/生成函数/容斥原理