第99页

各种算法有若干共有的性质。在描述算法时记住他们是有用的。这些性质是：
*  输入      算法从一个指令的集合得到输入值
*  输出      对每个输入值集合，算法都要从每个指令的集合中产生输出值。输出值就是问题的解。
*  确定性  算法的步骤必须是准确定义的。
*  正确性  对每一组输入值，算法都产生正确的输出值。
*  有限性  对集合中的任何输入，算法都应在有限（可能很多）步之后产生所求的输出。
*  有效性  算法的每一步必须能够准确地执行，并在有限时间内完成。
*  通用性  算法过程应适用于要求形式的所有问题，而不只是用于一组特定的输出值。