计算机算法类组合数学的研究,鸟笼原理,排列组合,容斥原理