用户:杨翊群

10只哥布林在9个洞穴取暖，那么至少有一个洞穴内至少有两只哥布林取暖。

哥洞原理，又名狄利克雷抽屉原理、哥布林洞穴原理。

其中一种简单的表述法为：

• 若有n个洞穴和n+1只哥布林，所有的哥布林都在洞穴内取暖，那么至少有一个洞穴有至少2只哥布林。

另一种为：

• 若有n个洞穴和kn+1只哥布林，所有的哥布林都在洞穴内取暖，那么至少有一个洞穴有至少k+1哥布林。

集合论的表述如下：

• 若A是n+1元集，B是n元集，则不存在从A到B的单射。

拉姆齐定理是此原理的推广。