计算性质

一个算法必须具备以下性质：

　　（1）算法首先必须是正确的，即对于任意的一组输入，包括合理的输入与不合理的输入，总能得到预期的输出。如果一个算法只是对合理的输入才能得到预期的输出，而在异常情况下却无法预料输出的结果，那么它就不是正确的。

　　（2）算法必须是由一系列具体步骤组成的，并且每一步都能够被计算机所理解和执行，而不是抽象和模糊的概念。

　　（3）每个步骤都有确定的执行顺序，即上一步在哪里；下一步是什么，都必须明确，无二义性。

　　（4）无论算法有多么复杂，都必须在有限步之后结束并终止运行；即算法的步骤必须是有限的。在任何情况下，算法都不能陷入无限循环中。

　　一个问题的解决方案可以有多种表达方式；但只有满足以上4个条件的解才能称之为算法。