第一章 什么是组合数学
m*n 的棋盘要被 b-牌 覆盖,则 b 必须为 m 或 n 的一个因子
一个 n 阶幻方是由整数 1, 2, 3, ..., n^2 组成的 n*n 方阵,且每行上整数的和,每列上整数的和以及两条对角线中每条对角线上的整数的和都等于同一个数 s,这个整数 s 就叫做该幻方的幻和
因为一个 n 阶幻方中的所有整数的和为
1 + 2 + 3 + ...+ n^2 = (n^2*(n^2 + 1))/2
因为每行都有一个幻和 s
所以 s = (n*(n^2 + 1))/2
不存在 2 阶幻方
构造幻方的方法:将 1 放在最上一行的中间(n为奇数),然后向右上方不断地添加数字,若右上方已经存在数字,则在下方填写,不断地循环填数字,直到幻方构造完毕
19 3
18 2
17 24 1 8 15
23 5 7 14 16 5
4 6 13 20 22 4
10 12 19 21 3 10
11 18 25 2 9
一个 n 阶幻方体由 1, 2, 3, ..., n^3 构成一个 n*n*n 的立方体阵列
1)平行于立方体一条边的直线
2)每个截面的两条对角线
3)四条空间对角线
上述每一条线上的 n 个元素的和 s 都是相等的
s = (n^4 + n)/2
任意平面地图都能够用 4 种颜色着色(相邻国家颜色不相同)
n 阶拉丁方:在矩阵每行每列上,整数 1, 2, 3, ..., n 中的每一个都只出现一次
1 2 3 1 2 3 (1, 1) (2, 2) (3, 3)
3 1 2 * 2 3 1 = (3, 2) (1, 3) (2, 1)
2 3 1 3 1 2 (2, 3) (3, 1) (1, 2)
两个拉丁方存在 i = 1, 2, 3, ..., n 及 j = 1, 2, 3, ..., n 生成的全部 n^2 个可能的序偶 (i, j) ,则两个拉丁方正交
有 n1, n2, ..., nk 堆硬币, 将每一个数 ni 表示成为基为 2 的数
n1 = as...a1a0
n2 = bs...b1b0
...
若 ai + bi + ... 是偶数,则第 i 位是平衡的
若所有位都是平衡的,则这是一个平衡的取石子游戏,否则就是一个非平衡的取石子游戏
游戏人I 能在非平衡的 Nim 取石子游戏中取胜
游戏人II 能在平衡的 Nim 取石子游戏中获胜
第二章 鸽洞原理
定理 2.1.1 如果 n + 1 个物体被放进 n 个盒子,那么至少有一个盒子包含两个或更多的物体
应用1 在13个人中存在两个人,他们的生日在同一个月份里
应用2 设有 n 对已婚夫妇,为了保证被选出的人中至少有一对夫妇,则至少选 n + 1 人
应用3 给定 m 个整数 a1, a2, a3, ..., am,存在整数 k 和 l,0 <= k <= l,使得 ak+1 + ak+2 + ...+ al 能够被 m 整除
考虑 m 个和:a1, a1 + a2, a1 + a2 + a3, ..., a1 + a2 + a3 + ..., am,如果这些和之中的任意一个数可以被 m 整除,那么结论就成立,若不存在,则设他们除以 m 都有一个相应的余数,余数的范围是[1, m - 1],则必有两个和除以 m 后的余数相等,因此 k 和 l 必然存在
应用5 从整数 1, 2, ..., 200 中,所有的数都可以表示为 a*2^k, a = 1, 3, 5, ..., 199,若在这 200 个数中选 101 个数出来,至少存在两个数的 a 值相同,所以必然存在一个数被另一个数整除
定理 2.2.1 令 q1, q2, ..., qn 为正整数,如果将
q1 + q2 + ...+ qn - n + 1
放入 n 个盒子内,那么,或者第一个盒子至少拥有 q1 个物体,或者第二个盒子
至少拥有 q2 个物体,...,或者第 n 个盒子至少拥有 qn 个物体
应用7 一篮子水果中苹果、香蕉和橘子,为了保证篮子内或者至少有 8 个苹果或者至少有 6 个香蕉或者至少有 9 个橘子,则放入篮子中的水果的最小个数为 s = 8 + 6 + 9 - 3 + 1 个
应用9 数列 a1, a2, ..., an^2+1 或者有长度为 n + 1 的递增子序列,或者有长度为 n + 1 的递减子序列
Ramsey 定理 在 6 个(或更多的)人中,或者有 3 个人,他们中的每两个人都互相认识,或者有 3 个人,他们中的每两个人都彼此不认识