算法:特定计算模型下,旨在解决特定问题的指令序列
正确性:的确可以解决指定的问题
确定性:任意算法都可以描述为一个由基本操作组成的序列
可行性:每一基本操作都可实现,且在常数时间内完成
有穷性:对于任何输入,经过有穷次基本操作,都可以得到输出
好算法:
正确:符合语法,能够编译、链接
能够正确处理输入:简单、大规模、一般性、退化、任意合法
健壮:辨别不合法输入,不致非正常推出
可读:结构化+准确命名+注释+...
效率:速度尽可能快、存储空间尽可能少
算法分析:
正确性、成本