离散数学 组合计数大观 基本原理 加法原理+乘法原理 容斥原理 鸽笼原理 组合计数 可重复计数 k-组合 多元非负整数方程解数问题 k-排列 组合等式 字典序问题 组合字典序覆盖 完全字典序覆盖 递推 常系数线性递推 主定理