一.抽象数据类型
抽象数据类型(Abstract Data Type,ADT)是一些操作的集合。抽象数据类型是数学的抽象,在ADT定义中根本没涉及如何实现这些操作。
例如:表、集合、图及它们的操作,它们都可以看作抽象数据类型,就像整数、实数和布尔量是数据类型一样。整数、实数以及布尔量有与它们相关的操作。对于集合ADT,我们可以有并、交、求大小(size)以及取余等操作。或者,我们也可以只要两种操作——并和查找(find),这两种操作在该集合上定义了一种不同的ADT。
二.表
- 处理形如A1,A2,A3……AN的普通表。这个表的大小是N。我们称大小为0的表为空表(empty list)。
- 以 i 定义表中元素的位置,表中第一个元素是A1,最后一个元素是AN,将不定义A1的前驱元和AN的后继元。
- 与这些定义相关的是我们要在表ADT上进行操作的集合。printList和MakEmpty是常用操作。Find返回关键字首先出现的位置;Insert和Delete一般是从表的某个位置插入和删除某个关键字;而FindKth则返回某个位置上(作为参数指定)的元素。如果34,12,52,16,12是一个表,则Find(52)会返回3;Insert(X,3)可能把表变成34,12,52,X,16(如果在给定位置的后面插入的话);而Delete(52)则将该表变为34,12,X,16,12。
- 表的简单数组实现: 数组实现需要对表达到大小最大值进行估计,这会浪费大量空间。插入一个新的元素需要将后面整个数组后移一个位置一空出空间来,而删除一个元素则需要将表中的后面整个元素前移一个位置。这两种操作最坏的情况为O(N),所以也浪费运行时间。
- 链表: 可以不连续存储元素。链表由一系列不必在内存中相连的结构组成。每一个结构均含有表元素和指向包含该元素后继元的结构的指针。称之为Next指针。最后一个单元的Next指向NULL; 为了执行printList(L)或Find(L,Key),只要将一个指针传递到该表的第一个元素,然后用一些Next指针遍历该表。
- 一些细节问题:第一,并不存在从所给定义出发在表的起点端插入元素的真正显性的方法。第二,从表的起始端实行删除是一个特殊情况,因为他改变了表的起始端,编程中的疏忽将会造成表的丢失。第三个问题涉及一般的删除。虽然指针的移动很简单,但是删除算法要求记住删除元素前面的表元。上面三个问题通过留出一个标志节点即表头(header)来解决。
三.线性表的定义与操作-顺序表
typedef int Position;
typedef struct LNode *List;
struct LNode {
ElementType Data[MAXSIZE];
Position Last;
};
/* 初始化 */
List MakeEmpty()
{
List L;
L = (List)malloc(sizeof(struct LNode));
L->Last = -1;
return L;
}
/* 查找 */
#define ERROR -1
Position Find( List L, ElementType X )
{
Position i = 0;
while( i <= L->Last && L->Data[i]!= X )
i++;
if ( i > L->Last ) return ERROR; /* 如果没找到,返回错误信息 */
else return i; /* 找到后返回的是存储位置 */
}
/* 插入 */
bool Insert( List L, ElementType X, Position P )
{ /* 在L的指定位置P前插入一个新元素X */
Position i;
if ( L->Last == MAXSIZE-1) {
/* 表空间已满,不能插入 */
printf("表满");
return false;
}
if ( P<0 || P>L->Last+1 ) { /* 检查插入位置的合法性 */
printf("位置不合法");
return false;
}
for( i=L->Last; i>=P; i-- )
L->Data[i+1] = L->Data[i]; /* 将位置P及以后的元素顺序向后移动 */
L->Data[P] = X; /* 新元素插入 */
L->Last++; /* Last仍指向最后元素 */
return true;
}
/* 删除 */
bool Delete( List L, Position P )
{ /* 从L中删除指定位置P的元素 */
Position i;
if( P<0 || P>L->Last ) { /* 检查空表及删除位置的合法性 */
printf("位置%d不存在元素", P );
return false;
}
for( i=P+1; i<=L->Last; i++ )
L->Data[i-1] = L->Data[i]; /* 将位置P+1及以后的元素顺序向前移动 */
L->Last--; /* Last仍指向最后元素 */
return true;
}
四.线性表的定义与操作-链表
typedef struct LNode *PtrToLNode;
struct LNode {
ElementType Data;
PtrToLNode Next;
};
typedef PtrToLNode Position;
typedef PtrToLNode List;
/* 查找 */
#define ERROR NULL
Position Find( List L, ElementType X )
{
Position p = L; /* p指向L的第1个结点 */
while ( p && p->Data!=X )
p = p->Next;
/* 下列语句可以用 return p; 替换 */
if ( p )
return p;
else
return ERROR;
}
/* 带头结点的插入 */
bool Insert( List L, ElementType X, Position P )
{ /* 这里默认L有头结点 */
Position tmp, pre;
/* 查找P的前一个结点 */
for ( pre=L; pre&&pre->Next!=P; pre=pre->Next ) ;
if ( pre==NULL ) { /* P所指的结点不在L中 */
printf("插入位置参数错误\n");
return false;
}
else { /* 找到了P的前一个结点pre */
/* 在P前插入新结点 */
tmp = (Position)malloc(sizeof(struct LNode)); /* 申请、填装结点 */
tmp->Data = X;
tmp->Next = P;
pre->Next = tmp;
return true;
}
}
/* 带头结点的删除 */
bool Delete( List L, Position P )
{ /* 这里默认L有头结点 */
Position tmp, pre;
/* 查找P的前一个结点 */
for ( pre=L; pre&&pre->Next!=P; pre=pre->Next ) ;
if ( pre==NULL || P==NULL) { /* P所指的结点不在L中 */
printf("删除位置参数错误\n");
return false;
}
else { /* 找到了P的前一个结点pre */
/* 将P位置的结点删除 */
pre->Next = P->Next;
free(P);
return true;
}
}