0-1原理

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

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

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