戴维宁定理是一个数学定理,也被称为“戴宁定理”或者“戴氏定理”。它是由英国数学家戴维·宁(David P. Robbins)所提出的。
戴维宁定理是指一个由n个物品组成的集合,其所有子集的大小排列所形成的序列,其第k项等于由n-k个 1 和k个 -1 所组成的排列,具体为
x1 + x2 + ... + xk = - k
xk+1 + ... + xn = n - k
其中k的取值范围为0到n。
戴维宁定理在组合数学中有广泛应用,包括:
1)计算多项式系数;
2)研究图形的色彩数;
3)概率学和统计学方面的课题。
戴维宁定理有多种证明方法,其中比较简单而又直观的是使用递推法进行证明。具体步骤如下:
1)当k=0时,左侧只有n个1,右侧为n-0=n,定理成立;
2)对于右侧的xk+1 + ... + xn = n - k,我们可以使用递推来得到下一项的值,即
xk+1 +...+ xn-1 + xn = n - k - 1
因此,左侧的所有项也都减少了1。这时我们把两个式子相加即可得到,
x1 + x2 + ...+ xn-1 + xn = -k -1 + n - k - 1 = - k - 1 - (k - n) = - (k + 1)
证毕。
戴维宁定理有着较为丰富的推广形式,比如说,我们可以考虑含有一些附加条件的子集数量。例如,如果要求子集中必须包含某些特定的元素,那么这个问题就可以使用“缩小问题空间”的技巧来解决。
在这种情况下,可以将这些特定元素首先选中,然后再从剩下的元素中选取。根据戴维宁定理,剩下元素的选取方案数量就等于由n-k-m个1和k个-1的情况下,选取m个1的方案数。因此,如果我们令C(n,m)表示从n个元素中选取m个的方案数,那么经过缩小问题空间得到的方案数就等于C(n-k,m)。