插空法的妙用

例1 求方程 x_1+x_2+…+x_10=7的非负整数解的个数。分析一般的想法是按 x_1的取值进行0到7分类计数,但复杂易出错,不妨构建板球模型用插空法求解。