低_(複雜度)

在計算複雜度理論內 ， 若有A與B兩個複雜度類 ， 且AB = A ； 或者說, A 在B成爲他的神諭之後的複雜度等同於A ， 則我們說複雜度類別B比A要來的 " 低 " 。 這陳述代表著一個可以解決問題類別A的機器 ， 在獲得了在單位時間內解決問題類別B的能力之後 ， 並沒有增加多餘的計算能力 。 特別是 ， 這代表著如果B類別低於A類別 ， 則B必然包含在A裏面 。 較不正式的說 ， 較低的關係不僅僅代表包含於B的問題可以被能夠解決A問題的機器所解決, 而且是 " 可以被簡單解決的 " 。 一個能解決A問題類別的機器可以模擬許多計算B的啓示 ， 而不超出其計算能力的上限值 。 建立在一個類別低於另一類別的關係跟結果常常被稱呼爲 " " 。 Category: 概率複雜度類