不相邻的组合

所谓不相邻的组合是指从$A=\{1,2,3,\dots,n\}$中选取$m$个不相邻的组合个数，即不存在两个数j和j+1的组合。例如，$n=4,m=2$，有组合$\{1,3\},\{2,4\},\{1,4\}$。

定理：从$A=\{1,2,3,\dots,n\}$中取$m$个不相邻组合，其组合数为$C_{n-m+1}^{m}$。

证明：设$B=\{b_1,b_2,\dots,b_m\}$是一组不相邻的组合，假设$b_1<b_2<\dots<b_m$，令$c_1=b_1,c_2 = b_2-1,c_3=b_3-2,\dots,c_m=b_m-m+1\leq n-m+1$,则$\{c_1,c_2,\dots,c_m\}$即为从$1$到$n-m+1$中取$m$个不允许重复的组合，其中$0\leq m \leq n-r+1$.
反之，令$\bar{A}=\{1,2,3,\dots,n-m+1\}$，从$\bar{A}$中取$m$个不重复的组合$\{d_1,d_2,\dots,d_m\}$,其中 $d_1<d_2<\dots<d_m$.假定
$c1=d_1,c_2=d_2+1,\dots,c_m=d_m+m-1\leq n-m+1+(m-1)=n$
则$c_1\leq c_2\leq \dots\leq c_m$，而且
$c_{i+1} - c_i = (d_{i+1} +i) - (d_i + i -1) = d_{i+1} -d_i + 1 > 1$
故$\{c_1,c_2,\dots,c_m\}$是从$A=\{1,2,3\dots,n\}$取的m个不相邻的组合。

参考文献：
组合数学（第四版） 卢开澄 卢华明 著