第2-1讲 绪论-续.pptVIP

第2-1讲 绪论 主讲人：陈红丽 数据类型和抽象数据类型 2.抽象数据类型 (1)定义:指一个数学模型以及定义在此数学模型上的一组操作 。 基本操作的定义格式为 基本操作名（参数表） 初始条件:〈初始条件描述〉 操作结果:〈操作结果描述〉 “基本操作”有两种参数：赋值参数只为操作提供输入值；引用参数以打头， 除可提供输入值外，还将返回操作结果。 “初始条件”描述了操作执行之前数据结构和参数应满足的条件，若不满足，则操作失败，并返回相应出错信息。若初始条件为空，则省略之。 “操作结果”说明了操作正常完成之后，数据结构的变化状况和应返回的结果。 例抽象数据类型复数的定义： ADT Complex { 数据对象：D＝{e1,e2｜e1,e2∈RealSet } 数据关系：R1＝{e1,e2 | e1是复数的实部, e2是复数的虚部 } 基本操作： InitComplex( Z, v1, v2 ) 操作结果:构造复数Z,其实部和虚部分别被赋以参数v1和v2的值。 DestroyComplex( Z) 初始条件：复数已存在。 操作结果：复数Z被销毁。 GetReal( Z, realPart ) 初始条件：复数已存在。 操作结果：用realPart返回复数Z的实部值。 GetImag( Z, ImagPart ) 初始条件：复数已存在。 操作结果：用ImagPart返回复数Z的虚部值。 Add( z1,z2, sum ) 初始条件：z1,z2是复数。 操作结果：用sum返回两个复数z1,z2的和值。 } ADT Complex 由于数据结构是和它的操作集分不开的，因此以后我们对数据结构的定义均包括它们操作的定义，即将它们定义为抽象数据类型。 抽象数据类型的实现包括数据结构的实现和操作的实现，因此不仅要借用高级语言中的数据类型来描述它的存储结构，也要利用高级语言中已经实现的固有数据类型的操作来实现抽象数据类型的操作。 例如利用C语言实现的“复数”类型如下描述： // 存储结构的定义 typedef struct { 　　float realpart; 　　float imagpart; } Complex; // 基本操作的函数原型说明 void InitComplex( Complex Z,float v1,float v2 ); // 构造复数 Z，其实部和虚部分别被赋以参数 v1 和 v2 的值 void DestroyComplex( Complex Z) // 销毁复数 Z float GetReal( cpmplex Z );// 返回复数 Z 的实部值 float Getimag( cpmplex Z );// 返回复数 Z 的虚部值 void add( complex z1, complex z2, complex sum ); // 以 sum 返回两个复数 z1，z2 的和 // 基本操作的实现 ………… void add( complex z1, complex z2, complex sum ) { 　　// 以 sum 返回两个复数 z1，z2 的和 　　sum.realpart = z1.realpart + z2.realpart; 　　sum.imagpart = z1.imagpart + z2.imagpart; } ………… 算法描述与分析 算法的概念 算法是对问题求解过程的一种描述，是为解决一个或一类问题给出的一个确定的、有限长的操作序列 算法的基本特性 有穷性：对于任意一组合法的输入值，在执行有穷步骤之后一定能结束； 算法中的操作步骤为有限个 每个步骤都能在有限时间内完成。 确定性：算法中的每一个步骤必须有确定含义，无二义性得以实现 ； 可行性：算法中的所有操作都必须足够基本，都可以通过已经实现的基本操作运算有限次实现之； 有输入：零个或多个的输入； 有输出：一个或多个的输出。 算法设计的原则、要求 算法设计要达到的目标：正确、可读、健壮、高效低耗。 正确性：除了应该满足算法说明中写明的“功能”之外，应对各组典型的带有苛刻条件的输入数据得出正确的结果； 可读性：在算法是正确的前提下，首先应该便于人们理解和相互交流，另一方面，晦涩难读的程序易于隐藏错误而难以调试。 健壮性：也称鲁棒性，对非法输入的抵抗能力。算法应对非法输入的数据作出恰当反映或进行相应处理，一般情况下，应向调用它的函数返回一个表示错误或错误性质的值； 高效率与低存储量需求：通常，效率指的是算法执行时间；存储量指的是算法执行过程中所需的最大存储空间，两者都与问题的规模有关。 算法与程序的区别 算法是解决问题的一种方法或一个过程，考虑如何将输入转换成输出，一个问题可以有多个