测试

下面将引用一个例子来说明利用容斥原理的求解过程

 

 

#例子：

 

满足$$1\le x_1 \le 5,\ \ \ -2\le x_2 \le 4,\ \ \ 0\le x_3 \le 5,\ \ \ 3\le x_4 \le 9$$

的方程$$x_1+x_2+x_3+x_4 = 18$$

 

的整数解的数目是多少？

 

我们引入一些新变量

$$y_1 = x_1-1,\ \ \ y_2 = x_2 + 2,\ \ \ y_3 = x_3,\ \ \ y_4 = x_4-3$$

 

这样方程变成了$$y_1+y_2+y_3+y_4 = 16\ \ \ \ \ \ \ \ \ \ \ (1)$$

 

关于$x_i$的不等式当且仅当$$0\le y_1\le4,\ \ \ 0\le y_2\le6,\ \ \ 0\le y_3\le5,\ \ \ 0\le y_4\le6$$

 

设S是方程(1)的所有非负整数解即$x_i\ge0$的集合。S的大小为$$|S| = C_{16+4-1}^{16} = 969$$

 

设$P_1$是$y_1\ge 5$的性质，$P_2是y_2\ge7的性质，P_3是y_3\ge6的性质，P_4是y_4\ge7的性质。$

 

$A_i表示S中满足性质P_i(i = 1,2,3,4)$的解组成的子集

 

因此我们实际上想要计算集合$\overline A_1 \bigcap\overline A_2 \bigcap\overline A_3 \bigcap\overline A_4$的大小

 

根据容斥原理，集合$A_1$由S中满足$y_1\ge 5的解组成，做变量代换z_1 = y_1-5,z_2=y_2,z_3=y_3,z_4=y_4$

 

我们看到，$A_1$的解的个数与$$z_1+z_2+z_3+z_4 = 11$$

的非负整数解的个数相同，因此$$|A_1| = C_{14}^{11} = 364$$

 

以类似方式得到

$$|A_2| = C_{12}^{9}=220,|A_3| = C_{13}^{10}=286,|A_4| = C_{12}^9 = 220$$

 

集合$A_1\bigcap A_2$是S中满足$y_1\ge5,y_2\ge7$的那些解组成的，进行变量代换$u_1 = y_1-5,u_2 = y_2-7,u_3=y_3,u_4=y_4$

 

我们看到$A_1\bigcap A_2$的解的个数与$$u_1+u_2+u_3+u_4 = 4$$

的非负整数解的个数相同。因此$$|A_1\bigcap A_2| = C_{7}^4 = 35$$

 

以类似的方式得到$$|A_1 \bigcap A_3| = C_{8}^{5} =56 ,|A_ 1\bigcap A_4| = C_{7}^{4} =35 $$

$$|A_2 \bigcap A_3| = C_{6}^{3} = 20,|A_2 \bigcap A_4| = C_{5}^{2} = 10$$

$$|A_3\bigcap A_4| = C_{6}^3 = 20$$

 

集合$A_1,A_2,A_3,A_4$中任意三个的交集都是空集，应用容斥原理得到

$$|\overline A_1 \bigcap\overline A_2 \bigcap\overline A_3 \bigcap\overline A_4| = 969-(364+220+286+220)+(35+56+35+20+10+20) = 55$$