<p><b>0-1原理（0-1 Principle）</b>是由美國史丹福大學著名的電腦教授高德納（Donald Ervin Knuth）提出來的，他在《電腦程式設計藝術》的第三卷：<b>排序與選擇</b>中，提出並論證了這個原理。
</p><p><b>0-1原理</b>：如果一個排序網路能夠正確地對任何0-1序列排序，那麼它就能對任意陣列成的任意序列正確排序。
</p><p>這條原理的作用是很大的，為了驗證一個n輸入排序網路的正確性，我們不必檢驗所有數字構成的任意長為n的序列，而只需檢驗
<span><span><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle 2^{n}}">
  <semantics>
    <mrow class="MJX-TeXAtom-ORD">
      <mstyle displaystyle="true" scriptlevel="0">
        <msup>
          <mn>2</mn>
          <mrow class="MJX-TeXAtom-ORD">
            <mi>n</mi>
          </mrow>
        </msup>
      </mstyle>
    </mrow>
    <annotation encoding="application/x-tex">{\displaystyle 2^{n}}</annotation>
  </semantics></math></span></span>個0-1序列就足以驗證排序網路是否能正確排序了。
</p>
**0-1 原理（0-1 Principle）** 是由美國史丹福大學著名的電腦教授高德納（Donald Ervin Knuth）提出來的，他在《電腦程式設計藝術》的第三卷：**排序與選擇**中，提出並論證了這個原理。

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

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