排列组合母函数与递推关系容斥原理与鸽巢原理波利亚定理线性规划区组设计与编码