系统生命周期应该包括:需求,分析,设计,逐步求精和编码,验证。
算法的标准:输入,输出,确定性,有限性,有效性。
抽象数据型(ADT)是一个数据类型,其数据对象和对性上操作的规格说明独立于对象的存储表示和对象上操作的实现。
操作的规格说明由各个函数的名称,每个函数的参数类型以及返回的结果类型构成。还应该包括函数的功能实现,但不涉及函数的机内存储表示或实现细节。这个要求是很重要的,它表明抽象数据类型是独立于实现的。另外,可以把数据类型中的函数分为几个类型:
(1)生成器/构造器:这些函数将创造一个指定数据类型的实例。
(2)转换器:这些函数也创造一个指定类型的实例,但是通常是要使用一个或多个其他实例。构造器和转换器之间的区别用一些实力来说明将会更加清除。
(3)观察器/报告器:这些函数提供某种类型的实例信息,但并不改变该实例。
ADT包括数据
数据元素,数据关系以及相关的操作。
即ADT
{
数据关系:(数据关系二元组结合)
基本操作:(操作函数的罗列)
}
*算法的性能分析
空间复杂性和时间复杂性
空间复杂性:固定的空间需求,可变的空间复杂性。
S(P) = c + Sp(I)
c是常数表示固定的存储空间需求,程序P在实例I上的可变空间。
时间复杂性:编译时间和运行时间的总和。
T(n):将程序划分为独立的程序步。