0-1原理

✍ dations ◷ 2025-10-06 13:13:48 #数据结构

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

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

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

相关

  • 寒地走灯藓寒地走灯藓(学名:Plagiomnium affine),又名近缘走灯藓,为提灯藓科走灯藓属下的一个种。
  • 鼬鼠见内文。鼬属(学名 Mustela),是哺乳纲食肉目鼬科的一属,共有17个种:美洲水鼬(Neovison vison)和已绝种的海鼬(Neovison macrodon)在1999年已从鼬属归类到美洲水鼬属(Neovison)。
  • 刘姥姥刘姥姥,是中国古典小说《红楼梦》中的人物,是四大家族之一的王家的“偶然联宗”族亲王成之子王狗儿的岳母,王狗儿之子王板儿的外祖母。刘姥姥因生计艰难求靠贾府,在《红楼梦》前
  • 上海美国法院上海美国法院,全称美国中国事务法院(The U.S. Court for China)是美国在20世纪于上海设立的法院。1844年美国同清朝政府签订了《中美望厦条约》,从此美国拥有了在中国的“治外法
  • Mozilla本地化Mozilla本地化是指Mozilla产品的本地化版本。这通常是指产品的翻译以及当地特色的加入。本地化通常是由一群志愿者所组成的团体(摩兹志士)所进行。Mozilla Firefox是到2013年
  • 宫崎八郎宫崎 八郎(みやざき はちろう,1851年-1877年4月6日)是一位出生于熊本县的自由民权运动家。宫崎八郎的父亲是玉名郡荒尾村(今熊本县荒尾市)的一位乡士,名叫宫崎政贤(宫崎长兵卫)。宫崎
  • 吴荫培吴荫培(1851年2月26日-1930年12月30日),字树百,号颖芝、云庵、平江遗民,江苏吴县(今属苏州市)人。清末官员。吴荫培生于咸丰元年(1851年2月26日)正月廿六日。天资颖异,18岁补博士弟子员
  • 迈克尔·弗莱恩迈克尔·弗莱恩(Michael Frayn,1933年9月8日-)英国当代著名剧作家及小说家。他著名的剧作有喜剧《傻瓜年代》、《噪音远去》,戏剧《哥本哈根》和《民主》,他的小说代表作则有《一
  • 利利安·米哈伊洛夫利利安·米哈伊洛夫(保加利亚语:Лилиан Михайлов,1994年9月7日-),保加利亚男子羽毛球运动员。2014年8月,利利安·米哈伊洛夫出战保加利亚羽毛球公开赛,与米哈尔·米哈
  • 薇娅薇娅(1986年9月7日-),本名黄薇,出生于安徽省庐江县,淘宝直播主播,人称“直播一姐”和“淘宝一姐”,与“口红一哥”李佳琦齐名,亦拥有“全球好物推荐官”之称号。薇娅1986年出生于安徽