0-1原理

0-1原理（0-1 Principle）是由美國斯坦福大學著名的計算機教授高德納（Donald Ervin Knuth）提出來的，他在《計算機程序設計藝術》的第三卷：排序與選擇中，提出並論證了這個原理。

0-1原理：如果一個排序網絡能夠正確地對任何0-1序列排序，那麼它就能對任意數組成的任意序列正確排序。

這條原理的作用是很大的，為了驗證一個n輸入排序網絡的正確性，我們不必檢驗所有數字構成的任意長為n的序列，而只需檢驗 $2^{n}$個0-1序列就足以驗證排序網絡是否能正確排序了。