数据结构及算法.pptVIP

数据结构的数学定义数据结构是一个二元组Data_Structure=(D,S)

D–数据元素的有限集合

S–定义在D上的关系的有限集合例如Complex=(C,R)C={(c1,c2)|c1,c2是实数}R={P|P是定义在C上的关系，c1,c2表示c1是实部,c2是虚部}?数据类型与抽象的数据类型数据类型（DataType）：值的集合以及定义在这个集合上的一组操作。例如:C语言中的整数类型抽象数据类型(ADT)数学模型以及定义在该模型上的一组操作。与其在计算机中的表示和实现无关。ADT可用三元组表示：（D,S,P）D–数据对象;S–D上的关系;P–对D的基本操作集抽象数据类型的定义格式：ADT抽象数据类型名{

数据对象：＜数据对象的定义＞

数据关系：＜数据关系的定义＞

基本操作：＜基本操作的定义＞

｝ADT抽象的数据类型名基本操作的定义格式为：

基本操作名（参数表）

初始条件：＜初始条件描述＞

操作结果：＜操作结果描述＞

抽象数据类型三元组的定义ADTTriplet{数据对象：D={e1,e2,e3|e1,e2,e3属于Elemset(定义了关系的某个集合)}数据关系：R1={＜e1,e2＞|＜e2,e3＞}基本操作：InitTriplet(T,v1,v2,v3)初始条件:操作结果:构造三元组T,元素e1,e2和e3分别被赋予参数v1,v2和v3的值。抽象数据类型三元组的定义(2)DestroyTriplet(T)初始条件:三元组T已经存在。操作结果:销毁三元组T。Get(T,i,e)初始条件:三元组T已经存在,1=i=3。操作结果:用e返回三元组T的第i个元素。Put(T,i,e)初始条件:三元组T已经存在,1=i=3。操作结果:用e值取代三元组T的第i个元素。抽象数据类型三元组的定义(3)IsAscending(T)初始条件:三元组T已经存在。操作结果:如果三元组T的三个元素按升序排列,则返回TRUE;否则返回FALSE。IsDescending(T)初始条件:三元组T已经存在。操作结果:如果三元组T的三个元素按降序排列,则返回TRUE;否则返回FALSE。抽象数据类型三元组的定义(4)Max(T,e)初始条件:三元组T已经存在,。操作结果:用e返回三元组T的最大值。Min(T,e)初始条件:三元组T已经存在,。操作结果:用e返回三元组T的最小值。｝ADTTriplet?1.3抽象数据类型的表示与实现类C语言（作了扩充和修改）的表示如：预定义常量和类型＃defineTRUE1

＃defineFALSE0

＃defineOK1

＃defineERROR0

＃defineINFEASIBLE-1

＃defineOVERFLOW-2

typedefintStatus

三元组基本操作实现---举例StatusGet(TripleT,inti,Elemtype*e)//初始条件:三元组T已经存在,1=i=3。//操作结果:用e返回三元组T的第i个元素。{if(i1||i3)returnERROR;*e=T[i-1]; returnOK;}1.4算法和算法分析

1.4.1算法算法（Algorithm）:对特定问题求解步骤的一种描述．算法的五个重要特性：1）有穷性2）确定性3）可行性4）输入5）输出（1）有穷性对于任意一组合法输入值，在执行有穷步骤之后一定能结束。即：算法中的每个步骤都能在有限时间内完成；（2）确定性对于每种情况下所应执行的操作，在算法中都有确切的规定，使算法的执行者或阅读者都能明确其含义及如何执行。并且在任何条件下，算法都只有一条执行路径；（3）可行性算法中的所有操作都必须足够基本，都可以通过已经实现的基本操作运算有限次实现之；（4）有输入作为算法加工对象的量值，通常体现为算法中的一组变量。有些输入量需要在算法执行过程中输入，而有的算法表面上可以没有输入，实际上已被嵌入算法之中；（5）有输出它是一组与“输入”与确定关系的量值，是算法进行信息加工后得到的结果，这种确定关系即为算法的功能。