查看“︁0-1原理”︁的源代码

{{noteTA
|G1=IT
}}
{{Unreferenced|time=2012-12-25T13:28:54+00:00 }}
'''0-1原理（0-1 Principle）'''是由[[美國|美国]][[史丹佛大學|斯坦福大学]]著名的计算机教授[[高德纳]]（Donald Ervin Knuth）提出来的，他在《[[计算机程序设计艺术]]》的第三卷：'''排序与选择'''中，提出并论证了这个原理。

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

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

[[Category:数据结构]]

[[en:Sorting network#Zero-one principle]]