查看“︁鴿巢原理”︁的源代码

{{NoteTA
|G1 = IT
|G2 = Math
|1 = zh-hans:4位; zh-hant:4位;
}}
[[File:TooManyPigeons.jpg|thumbnail|right|10只鸽子放进9个鸽笼，那么一定有一个鸽笼放进了至少两只鸽子。]]
'''鴿巢原理'''，又名'''[[約翰·彼得·狄利克雷|狄利克雷]]抽屜原理'''、'''鴿籠原理'''。

其中一種簡單的表述法為：
* 若有n個籠子和n+1隻鴿子，所有的鴿子都被關在鴿籠裡，那麼至少有一個籠子有至少2隻鴿子。

另一種為：

* 若有n個籠子和kn+1隻鴿子，所有的鴿子都被關在鴿籠裡，那麼至少有一個籠子有至少k+1隻鴿子。

集合论的表述如下：

* 若A是n+1元集，B是n元集，則不存在從A到B的[[单射|單射]]。

[[拉姆齐定理]]是此原理的推廣。

== 例子 ==
雖然鴿巢原理看起來很容易理解，但有時使用鴿巢原理會得到一些有趣的結論：
* 比如：[[北京]]至少有兩個人頭髮數一樣多。
** 證明：常人的頭髮數目在15萬左右，可以假定沒有人有超過100萬根頭髮，但北京人口大於100萬。如果把每個鴿巢定義為「頭髮的數量」，便共有100萬個鴿巢。打一個比方，一根頭髮的人就會被編排在一根頭髮屬於的巢、兩根就在兩根頭髮屬於的巢，如此類推。鴿子則對應於人，那就變成了有大於100萬隻鴿子要進到100萬個巢中（另一種說法是把多於100萬個人編排到他們身上頭髮所屬的鴿巢，比如有一個人有三根頭髮，他便會進了屬於有三根頭髮的人的鴿巢）。因為北京人口多於100萬，如果受訪的前100萬人頭髮數目剛好不同，第100萬零一個的北京市民就必定會進了一個已經有一人在內的鴿巢。因此，我們便可以得到「北京至少有兩個人頭髮數一樣多」的結論。

另一個例子：
* 盒子裡有10隻黑襪子、12隻藍襪子，你需要拿一對同色的出來，最多需要拿出几只？假設總共-{只}-能拿一次，只要3隻就無法迴避會拿到兩隻相同颜色的袜子，因為顏色只有兩種（鴿巢只有兩個），而有三隻襪子（三隻鴿子），從而得到「拿3隻襪子出來，就能保證有一雙同色」的結論。

另一個例子：

*某男性先後有過4位妻子，合共生有2子3女，則至少有2位子女有同一位母親，且至少1位妻子沒有女兒，至少2位妻子沒有兒子。
**至少有2位子女有同一位母親 → 若非如此，即任何2位子女都沒有相同的母親，則該男性至少要有5位妻子，矛盾。
**至少1位妻子沒有女兒 → 若非如此，即每位妻子都有女兒，則該男性至少要有4位女兒，矛盾。
**至少2位妻子沒有兒子 → 若非如此，即最多1位妻子沒有兒子，則該男性至少要有3位兒子，矛盾。

更不直觀一點的例子：
* 有n個人（至少2人）互相握手（隨意找人握），必有兩人握過手的人數相同。
** 這裡，鴿巢對應於握過手人數，鴿子對應於人，每個人都可以與[0,n-1]人握過手（但0和n-1不能同時存在，因為如果一個人不和任何人握手，那就不會存在一個和所有其他人都握過手的人），所以鴿巢是n-1個。但有n個人（n隻鴿子），因此証明了命題正確。

鴿巢原理經常在計算機領域得到真正的應用。比如：[[哈希表]]的重複問題（衝突）是不可避免的，因為Keys的數目總是比Indices的數目多，不管是多麼高明的算法都不可能解決這個問題。這個原理，還證明任何無損壓縮算法，在把一些輸入變小的同時，作為代價一定有其他的輸入增大，否則對於長度為L的輸入集合，該壓縮算法總能將其映射到一個更小的長度小於L的輸出集合，而這與鴿巢理論相悖。

== 推廣 ==
一种表达是这样的：如果要把n个物件分配到m个容器中，必有至少一个容器容纳至少<math>\left\lceil\frac{n}{m}\right\rceil</math>个物件。
== 数学证明 ==
=== 反证法 ===
设把n+1个元素分为n个集合<math>A_1,A_2,\cdots,A_n</math>，记<math>a_i = |A_i|(i = 1,2,\cdots,n)</math>表示这n个集合里相应的元素个数。

假设<math>\forall a_i < 2(i = 1,2,\cdots,n)</math>

因为<math>a_i \in \mathbb{N}</math>

所以<math>a_i \le 1</math>

所以<math>a_1+a_2+\cdots+a_n \le 1+1+\cdots+1 = n < n+1</math>

这与题设矛盾，因此结论得证。

=== 数学归纳法===
证明：若存在一个从集合<math>\{1\leq x\leq n|x\in\mathbb{N}\}</math>到集合<math>\{1\leq x\leq p|x\in\mathbb{N}\}</math>的单射<math>f</math>，那么<math>n\leq p</math>。

若<math>n=1</math>，易得原式成立。

若<math>n>1</math>，归纳假设存在<math>p</math>，有从集合<math>\{1\leq x\leq n-1|x\in\mathbb{N}\}</math>到集合<math>\{1\leq x\leq p|x\in\mathbb{N}\}</math>的单射,<math>n-1\leq p</math>。
若<math>f:\{1\leq x\leq n|x\in\mathbb{N}\} \rightarrow \{1\leq x\leq p|x\in\mathbb{N}\}</math>
如果<math>p</math>在映射<math>f</math>下没有原像或<math>f(n)=p</math>,那么<math>f</math>是一个从 <math>
\{1\leq x\leq n|x\in\mathbb{N} \} </math>到<math> \{1\leq x\leq p|x\in\mathbb{N}\}</math>的单射，所以 <math>n-1\leq p-1</math>，即<math>n\leq p</math>。

如果<math>p</math>在映射<math>f</math>下有原像，那么我们记<math>p</math>在映射<math>f</math>下的原像为<math>j</math>且<math>n</math>在映射<math>f</math>得到的像为<math>k</math>,可以得到映射:
<math>\{1\leq x\leq n-1|x\in\mathbb{N}\} \rightarrow \{1\leq x\leq p-1|x\in\mathbb{N}\}</math>
<math>
i \rightarrow
\begin{cases}
 f(i)   & i \neq j \\
 k  & i = j
\end{cases}
</math>
是一个单射所以<math>n-1\leq p-1</math>，即<math>n\leq p</math>。

=== 概率方法===
将m个元素随机放入n个集合<math>A_{k}</math>中(m > n)。规定<math>\left\lceil \frac{m}{n} \right\rceil = \frac{m}{n}</math>如果n整除m。随机选择一个集合，它的大小的期望值是：
<math>\sum_{k = 1}^{n}|A_{k}|\frac{1}{n} = \frac{|A_{1}|+|A_{2}|+\cdots+|A_{n}|}{n} = \frac{m}{n}</math>
由于<math>|A_k|</math>只能是整数，所以必有一个m，使得<math>|A_m| \ge \left\lceil \frac{m}{n} \right\rceil</math>

== 更強的形式 ==
設 {{math|''q''<sub>1</sub>, ''q''<sub>2</sub>, ..., ''q''<sub>''n''</sub>}} 皆是正整數，現有

: <math>q_1 + q_2 + \cdots + q_n - n + 1</math>

個物件要分配在{{math|''n''}}個箱子中，那麼以下敘述至少一者成立：

* 第1個箱子包含至少{{math|''q''<sub>1</sub>}}個物件；
* 第2個箱子包含至少{{math|''q''<sub>2</sub>}}個物件；
* ......
* 第{{math|''n''}}個箱子包含至少{{math|''q''<sub>n</sub>}}個物件。<ref>{{harvnb|Brualdi|2010|page=74 Theorem 3.2.1}}</ref>

這個原理一樣可以使用[[反證法]]證明，即假設上述所有敘述為假並得出矛盾，方法與前述簡單情況類似。

== 无穷集中的情况 ==
藉由[[格奥尔格·康托尔|康托]]的无穷基数可将鸽巢原理推广到无穷集中：如果集合A的[[基数 (数学)|势]]大于集合B的势，那么不存在由A到B的[[单射]]。

==參見==
*其他[[組合技巧|組合原理]]，如：
**[[容斥原理]]
**[[乘法原理]]

== 参考资料 ==
{{Reflist}}

=== 参考文献 ===
* Grimaldi, Ralph P. Discrete and Combinatorial Mathematics: An Applied Introduction. 4th edn. 1998. ISBN 0-201-19912-2. pp. 244–248.
* Jeff Miller, Peter Flor, Gunnar Berg, and Julio González Cabillón. "Pigeonhole principle". In Jeff Miller (ed.) Earliest Known Uses of Some of the Words of Mathematics. Electronic document, retrieved 11 November 2006.
* [http://www.fxzx.net.cn/gsw/editor/UploadFile/200565102020310.doc 抽屉原理]{{dead link|date=2018年5月 |bot=InternetArchiveBot |fix-attempted=yes }}

== 外部連結 ==
* [http://episte.math.ntu.edu.tw/articles/mm/mm_02_4_07/index.html 鴿籠原理] {{Wayback|url=http://episte.math.ntu.edu.tw/articles/mm/mm_02_4_07/index.html |date=20200503160319 }}；謝聰智对鸽巢原理的介绍。
* "[http://www.cs.utexas.edu/users/EWD/transcriptions/EWD09xx/EWD980.html The strange case of The Pigeon-hole Principle] {{Wayback|url=http://www.cs.utexas.edu/users/EWD/transcriptions/EWD09xx/EWD980.html |date=20080705042534 }}"; [[艾兹赫尔·戴克斯特拉|Edsger Dijkstra]] investigates interpretations and reformulations of the principle.
* "[http://zimmer.csufresno.edu/~larryc/proofs/proofs.pigeonhole.html The Pigeon Hole Principle] {{Wayback|url=http://zimmer.csufresno.edu/~larryc/proofs/proofs.pigeonhole.html |date=20201001125228 }}"; Elementary examples of the principle in use by Larry Cusick.
* "[http://www.cut-the-knot.org/do_you_know/pigeon.shtml Pigeonhole Principle from Interactive Mathematics Miscellany and Puzzles] {{Wayback|url=http://www.cut-the-knot.org/do_you_know/pigeon.shtml |date=20201112012121 }}"; basic Pigeonhole Principle analysis and examples by [[Cut-the-Knot]].
* "[https://web.archive.org/web/20100507111316/http://www.maa.org/editorial/knot/pigeonhole.html The Puzzlers' Pigeonhole]"; [[Cut-the-Knot]] on the importance of the principle in the field of puzzle solving and analysis.

[[Category:组合数学]]
[[Category:离散数学定理]]
[[Category:数学原理]]
[[Category:拉姆齊理論]]