可构造函数

如果某个算法 以二进制形式在体积 内计算函数 ，则称该函数是可构造的，即 。这里，体积 是所有步骤中活动边的总数，它是运行特定 图灵机 在特定输入上所需的状​​态更改数。