0-1原理

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

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

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