鴿巢原理,又名狄利克雷抽屜原理、鴿籠原理。 其中一種簡單的表述法為: 若有n個籠子和n+1隻鴿子,所有的鴿子都被關在鴿籠裡,那麼至少有一個籠子有至少2隻鴿子。 另一種為: 若有n個籠子和kn+1隻鴿子,所有的鴿子都被關在鴿籠裡,那麼至少有一個籠子有至少k+1隻鴿子。 集合论的表述如下:...
9 KB (1,667 words) - 11:45, 1 December 2024
lemma)指的是從輔助函數的構造中得到的線性方程的解的界限。這些多項式的存在性由阿克塞爾·圖厄所證明:圖厄的證明用到了鴿巢原理,卡爾·路德维希·西格爾在1929年出版此引理。這是一個線性方程組方面純粹的存在性定理。 近年來,西格爾引理受到改進以得出比引理給出的估計更強的界限。...
4 KB (535 words) - 03:31, 18 June 2024
在现代密码学中,对称加密密码一般分为流密码和块密码。块密码根据一个固定长度的位元串来进行操作。块大小就是这个位串的长度。输入(明文)和输出(密文)的长度是相同;输出不短于输入——鴿巢原理将导致逻辑上密码一定可逆的事实——并且不希望输出长于输入。 在NIST宣布进行高级加密标准评选过程(AES竞赛)之前,大多数块密码使用类似資料加密...
3 KB (385 words) - 11:40, 17 August 2020
Quorum 机制,是一种分布式系统中常用的,用来保证数据冗余和最终一致性的投票算法,其主要数学思想来源于鸽巢原理。 在有冗余数据的分布式存储系统当中,冗余数据对象会在不同的机器之间存放多份拷贝。但是同一时刻一个数据对象的多份拷贝只能用于读或者用于写。 该算法可以保证同一份数据对象的多份拷贝不会被超过两个访问对象读写。...
3 KB (479 words) - 04:07, 19 June 2022
双射,即便这一集合(如有理数集)本身就包含了自然数集。 由于希尔伯特的这一悖论违反了我们的直觉,因而被经常利用否定实无穷的存在來作實質謬誤推論。 鴿巢原理 巴拿赫-塔斯基定理 伽利略悖論(Galileo's paradox(英语:Galileo's paradox)) Hilbert infinite...
5 KB (746 words) - 13:36, 4 December 2023
具有相同的哈希值、校验和,数字指纹时发生的情况。当数据量足够多(例如将所有可能的人名和计算机文件名映射到一段字符上)时,碰撞是不可避免的。这仅仅是鸽巢原理的一个实例。 哈希碰撞是指两个不同的输入值经过哈希函数处理后得到相同的输出值。 这种情况在哈希表数据结构中尤为重要,因为它可能影响查找和存储的效率。...
3 KB (528 words) - 05:05, 8 October 2024
研究同事展示了寻找MD5、SHA-0及其他相關雜湊函數的雜湊衝撞的新方法。所謂雜湊衝撞指兩個完全不同的訊息經雜湊函數計算得出完全相同的雜湊值。根據鴿巢原理,以有長度限制的雜湊函數計算沒有長度限制的訊息是必然會有衝撞情況出現的。在此之前,已有一些研究者在有约束条件下找到多对哈希冲撞。...
8 KB (865 words) - 13:38, 3 May 2024
研究同事展示了寻找MD5、SHA-0及其他相關雜湊函數的雜湊衝撞的新方法。所謂雜湊衝撞指兩個完全不同的訊息經雜湊函數計算得出完全相同的雜湊值。根據鴿巢原理,以有長度限制的雜湊函數計算沒有長度限制的訊息是必然會有衝撞情況出現的。在此之前,已有一些研究者在有约束条件下找到多对哈希冲撞。 2009年,中國科學院的謝濤和馮登國仅用了220...
10 KB (1,319 words) - 12:04, 12 November 2024
算过程中不产生热量。对于一般逻辑门,输入状态在运算后会丢失,这导致输出的信息少于输入信息。根据熵原理,信息的损失以热的形式耗散到环境中。而可逆逻辑门只将信息状态从输入搬移到输出,不会损失信息。 由鸽巢原理可知,任何可逆逻辑门,需要具有相同数量的输入端与输出端。对于一个输入端,存在有两个可能的可逆逻辑门。一为非门(NOT),另一种为...
7 KB (649 words) - 03:22, 15 August 2023
Theory),該書於2015年曾更新擴展 拉姆齊理論的結果通常有以下兩個特點: 可能證明了某個結構存在,但卻並無給出構造該個結構的方法(除暴力搜索外)。例如,過程中可能採用鴿巢原理,便是非構造性的。 雖然拉姆齊理論的結果斷言充份大的物件必定包含某個指定的結構,但證明經常要求該物件極巨大:常見指數增長甚至阿克曼函數增長的界。對...
7 KB (1,186 words) - 23:34, 20 December 2021
费马平方和定理 法伊特-汤普森定理 弗罗贝尼乌斯定理 费马小定理 凡·奥贝尔定理 芬斯勒-哈德维格尔定理 反函数定理 费马多边形数定理 辐角原理 格林公式 鸽巢原理 高斯-马尔可夫定理 谷山-志村定理 哥德尔完备性定理 哥德尔不完备定理 古尔丁定理 高斯散度定理 古斯塔夫森定理 共轭复根定理 高斯-卢卡斯定理...
7 KB (1,114 words) - 03:16, 15 May 2023
5日出生概率平均分佈(現實的出生機率不是平均分佈)。 計算概率的方法是,首先找出p(n)表示n人中,每人生日都不同的概率。假如n > 365,根據鴿巢原理其概率為0,假设n ≤ 365,则概率为 p ¯ ( n ) = 1 ⋅ ( 1 − 1 365 ) ⋅ ( 1 − 2 365 ) ⋯ ( 1 −...
15 KB (2,114 words) - 07:20, 2 December 2024
輔助函數 (section 起自鴿巢原理的輔助函數)
十世紀,阿克塞爾·圖厄和卡爾·路德维希·西格爾做出了突破,顯示說不一定要將相關函數構造出來,有時知道有這樣的函數,且這些函數有特定性質就夠了。利用鴿巢原理,圖厄和西格爾先後證明了說會有輔助函數有特定性質,像例如會有在許多不同點為零,或在較小的點擊和尚有高次零的輔助函數;不僅如此,他們還證明了說構造這...
15 KB (2,784 words) - 23:39, 13 April 2024
s, sizeof(buf))就能解决问题) 边值分析(英语:Boundary-value analysis) 鸽巢原理 植樹問題 從零開始的編號 Dijkstra, Edsger Wybe. Why numbering should start at zero (EWD...
6 KB (968 words) - 10:51, 18 June 2024
桶排序(英語:Bucket sort)或所謂的箱排序,是一個排序演算法,工作的原理是將陣列分到有限數量的桶裡。每個桶再個別排序(有可能再使用別的排序演算法或是以遞迴方式繼續使用桶排序進行排序)。桶排序是鴿巢排序的一種歸納結果。當要被排序的陣列內的數值是均勻分配的時候,桶排序使用線性時間( Θ ( n...
8 KB (1,027 words) - 11:51, 8 January 2024
W} (設有 k {\displaystyle k} 個集合)中,各集合一共衹有少於 k {\displaystyle k} 個互異元素,如此由鴿巢原理,為 k {\displaystyle k} 個集合所選的 k {\displaystyle k} 個代表元之中,必有兩者相等。霍爾定理說明,前述...
28 KB (4,598 words) - 06:30, 30 July 2023
K(s) ≤ |s|-c。否则的话,我们就说 s 不能被压缩掉 c 。如果一个字符串不能被压缩掉1,那么我们就说这个字符串是 不可压缩的 。根据鸽巢原理,每一个压缩后的字符串对应唯一的压缩前的字符串,所以不可压缩串(英语:incompressible string)一定存在。因为长度为 n 的字符串有...
29 KB (3,971 words) - 13:45, 31 December 2021
內,每邊塗上紅或藍色。欲證必然有一個紅色的三角形或藍色的三角形。 任意選取一個端點 P {\displaystyle P} ,它有5條邊和其他端點相連。 根據鴿巢原理,5條邊染兩種顏色,至少有3邊顏色相同,不失一般性設這種顏色是紅色,又設該三邊為 P A , P B , P C {\displaystyle PA...
31 KB (4,842 words) - 16:40, 18 January 2024
「古無舌上音」,贛語各方言存在大量將舌上音字讀為舌頭音聲母。例如:啄、涿聲母俱為[t]。 上古音匣母、群母相關,諧聲也通諧(如甲-匣、合-鴿、今-含),贛語也把部分匣母字讀為k聲母。例如:呼、環、(底)下聲母全為[kʰ]。 上古歌韻字讀[a]母音,漢代佛經譯音以陀、羅譯da、la,今贛語方言歌韻字白...
151 KB (22,239 words) - 17:03, 25 November 2024
五段棋士。外型是光頭且幾乎沒有眉毛。一直停留在五段並且連續得到四次新人王,旁人私下常以「再一次就可以得到『永世新人王』」來揶揄他。在喜歡將棋與培養賽鴿的祖父教導下之後也有同樣的興趣。外表看起來比他的實際年齡還大,以致於零第一次和他對弈時還以為自己走錯對局場。 神宮寺崇德(神宮寺崇徳(じんぐうじ たかのり),聲:玄田哲章,演:岩松了)...
79 KB (7,213 words) - 06:13, 12 November 2024
一二三排檢法,全稱「一二三漢字筆順排檢法」,是一種根據筆順和筆畫表來給漢字做排序和檢索的方法,其工作原理與英文和汉语拼音等拉丁文字的字母順序 (alphabetical order) 一致。與傳統的筆畫排檢法相比,一二三排檢法免除了數算筆畫和歸併筆形(為五類)的負擔,但保持了排檢的精確度。 該排檢法已應用於Unicode...
94 KB (1,360 words) - 05:31, 8 November 2024