例题一 · 不同二数,和有上限
从1至6选两个不同数,和不超过7,交换不另算
- 规范为 a<b,且 a、b 都是1至6中的整数,a+b≤7。
- 固定 a 后,b 至少 a+1,至多是6与7−a中的较小者。因此每行范围是 a+1≤b≤min(6,7−a);若下界超过上界,本行为空。
| a | 合法的 (a,b) | 种数 |
|---|---|---|
| 1 | (1,2)、(1,3)、(1,4)、(1,5)、(1,6) | 5 |
| 2 | (2,3)、(2,4)、(2,5) | 3 |
| 3 | (3,4) | 1 |
若 a≥4,因为 b≥a+1≥5,和至少为9,超过7,后面的行全部为空。所以答案是 5+3+1=9种。
不重:一对数的较小数唯一,同一行的 b 又各不相同。不漏:任意合法一对按大小排列后,都落入上面相应行的完整 b 范围。两点合在一起才构成完备性说明。