算法的性质有（ ）。