可建構函式

如果某個演算法 以二進位制形式在體積 內計算函式 ，則稱該函式是可構造的，即 。這裡，體積 是所有步驟中活動邊的總數，它是執行特定 圖靈機 在特定輸入上所需的狀​​態更改數。