一種具有多個允許步驟在特定的時間和的概念演算法總是需要的正確或最佳的一步。不是隨機的如隨機演算法，或不確定。而是它具有 supercomputational 的選擇最優的行為特徵。