可以把算法看作是一种工具，用来解决具有良好规格说明的计算问题。有关该问题的表述可以用任意语言或形式（包括自然语言、计算机程序、数学方程等）来说明所需的输入/输出关系，与之对应的算法则描述了一个可以实现这种输入/输出关系的计算过程。如果一个算法对其每一个输入实例，都可以输出正确的结果并按时停止，则称它是正确的。不正确的算法对于某些输入来说，可能无法停止，或者停止时给出的结果不符合预期。然而，在某些情况下，如果算法的错误率可以得到控制，那么它们也是有用的，但是一般而言，我们主要关注与讨论正确的算法。——《CC++算法从菜鸟到达人》
