一、 确定性 算法的每一个步骤都具有确定的含义，不会出现二义性。 算法在一定条件下，只有一条执行路径，相同的输入只能有唯一的输出结果。 算法的每个步骤都应该被精确定义而无歧义。

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

三、有穷性 指算法在执行有限的步骤之后，自动结束而不会出现无限循环，并且每一个步骤在可接受的时间内完成。 一个永远都不会结束的算法 是没有用的。

四、输入 算法有零个或多个输入。 尽管对绝大多数算法来说，输入参数都是必要的。但是有些时候，像打印printf(“Hello World”); 就不需要参数了。

五、输出 算法至少有一个或者多个输出。 算法是一定要输出的，输出的形式可以是打印形式输出，也可以是返回一个值或多个值等。 一个算法一定是要有输出的，不然你要这个算法来干啥？

一、正确性 算法的正确性是指算法至少应该具有输入、输出和加工处理无歧义性，能正确反映问题的需求，能够得到问题的正确答案。 (1)算法程序没有语法错误。 (2)算法程序对于合法输入能够产生满足要求的输出。 (3)算法程序对于非法输入能够产生满足规格的说明。 (4)算法程序对于故意刁难的测试输入都有满足要求的输出结果。

二、可读性 算法设计另一个目的是为了方便阅读，便于理解。 我们写代码的目的，一方面是为了让计算机执行，还有一个重要的目的是为了便于他人阅读和自己日后阅读修改。

三、健壮性 当输入数据不合法时，算法也能做出相关处理，而不是产生异常，崩溃或莫名其妙的结果。

四、时间效率高和存储量低 时间效率指的是算法的执行时间，对于同一个问题，如果有多个算法能够解决，执行时间短的算法效率高， 执行时间长的效率低。 存储量 需求指的是算法在执行过程中需要的存储空间，主要指算法程序运行时所 占用的内存或外部硬盘存储空间。设计算法应该尽量满足时间效率高和存储量低的需求。