当鸽子数量超过鸽巢数量时，一些鸟儿必须挤在一起。这个显而易见的陈述——及其逆命题——与数学和计算机科学的许多领域都有深刻的联系。