算法的每一步都必须是可行的，也就是每一步都能够通过执行有限次数完成，指的是算法的确定性。