字典:许多算法只需要能在一个集合中插入和删除元素,以及测试元素是否属于集合,支持这些操作的动态集合称为字典(dictionary)。
卫星数据:一些与其他对象属性一起移动的数据,称为卫星数据。
标准操作(动态集合上的操作可以分为两类:简单返回有关集合信息的查询操作和改变集合的修改操作)
SEARCH(S,k):一个查询操作,给定一个集合S和关键字k,返回指向某个元素的指针x,使得x.key=k;如果S中没有这个元素,则返回NIL。
INSERT(S,x):一个修改操作,将由x指向的元素加入到集合S中。通常假设元素x中的集合S所需要的每个属性都已经初始化好了。
DELETE(S,x):一个修改操作,给定指针x指向集合S中的一个元素,从S中删除x。(注意,这个操作取一个指向元素x的指针作为输入,而不是一个关键字的值。)
MINIMUM(S):一个查询操作,在全序集S上返回一个指向S中具有具有最小关键字元素的指针。
MAXIMUM(S):一个查询操作,在全序集S上返回一个指向S中具有具有最大关键字元素的指针。
SUCCESSOR(S,x):一个查询操作,给定关键字属于全序集S的一个元素x,返回S中比x大的下一个元素指针;如果x为最大元素,则返回NIL。
PREDECESSOR(S,x):一个查询操作,给定关键字属于全序集S的一个元素x,返回S中比x小的前一个元素指针;如果x为最小元素,则返回NIL。