0-1原理

✍ dations ◷ 2025-07-01 05:59:00 #数据结构

0-1原理(0-1 Principle)是由美国斯坦福大学著名的计算机教授高德纳(Donald Ervin Knuth)提出来的,他在《计算机程序设计艺术》的第三卷:排序与选择中,提出并论证了这个原理。

0-1原理:如果一个排序网络能够正确地对任何0-1序列排序,那么它就能对任意数组成的任意序列正确排序。

这条原理的作用是很大的,为了验证一个n输入排序网络的正确性,我们不必检验所有数字构成的任意长为n的序列,而只需检验 2 n {\displaystyle 2^{n}} 个0-1序列就足以验证排序网络是否能正确排序了。

相关

  • 中卫市中卫市是中华人民共和国宁夏回族自治区下辖的地级市,位于宁夏西部,黄河西岸。市境东邻吴忠市,南接固原市,西界甘肃省白银市,北毗内蒙古自治区阿拉善盟。地处宁甘蒙三省区交界,腾格
  • 神经脊神经脊(英语:neural crest)属于动物胚胎的外胚层,位于神经管(neural tube)与胚胎上皮之间。神经脊细胞在神经板形成(neurulation)之后不久就会离开原来所在位置。
  • 狂犬病病毒属丽沙病毒属(英语:Lyssavirus),又称狂犬病毒属,一种核糖核酸病毒,属于单股反链病毒目炮弹病毒科。它的名称来自希腊神话中的丽沙(Lyssa),主管疯狂、发狂的女神。这个属的病毒中,包括了
  • 阿尔贝希特·科塞尔阿尔布雷希特·科塞尔(Ludwig Karl Martin Leonhard Albrecht Kossel,1853年9月16日-1927年7月5日),生于罗斯托克,德国医生。科塞尔的工作范畴是生理化学,特别是组织和细胞的化学。
  • 杨云萍杨云萍(1906年10月17日-2000年8月6日),台湾作家、历史学者,原名友濂,不过他的字号云萍较为人所知。杨云萍生于士林,祖父为士林宿儒,父亲杨敦谟是医生,可说生长于书香世家。大正十年(19
  • 日本 (消歧义)日本(Japan)可以是指:
  • 波尔斯因奶酪波尔斯因奶酪(Boursin cheese,或翻译为“波尔斯因奶酪”、“富强奶酪”)产自法国的西北部,最早产自1957年,波尔斯因奶酪是一种经过大蒜和香草调味的奶酪,另外亦有以胡椒粉调味。
  • 福隆战役美国等国正式介入之后美国撤出至南越灭亡福隆战役,(越南语:Chiến dịch Đường 14 - Phước Long,英语:Battle of Phuoc Long)是越南战争后期的一场战斗,北越在1974年12月,越南
  • 中州名贤文表《中州名贤文表》,明代刘昌编,三十卷。《中州名贤文表》辑载元代河南人物遗文,有许衡六卷、姚遂八卷、马祖常五卷、许有壬三卷、王恽六卷、孛术鲁翀二卷。意在表彰诸贤,又有考证
  • 杜联喆杜联喆(1902年-1994年),又名杜连喆;别名杜豆。燕京大学历史系毕业,及后赴美国留学,成为旅美汉学、历史学者。以明清史见长。天津杨柳青镇人,1924年毕业于燕京大学历史学系,获文学士学