离散数学 · 证明直觉

鸽巢模拟器

调节物品数量 n 和盒子数量 k，比较一次分配后的最大占用量与广义鸽巢原理给出的保证下界。

盒子占用可视化

每个物品独立随机进入一个盒子；最大占用量通常会高于保证下界。

最大盒子 0

广义鸽巢结论

至少有一个盒子不少于 ⌈17/5⌉ = 4 个物品。

读数提醒

当前分配中的最大占用量为 0，它必须不小于下界。