为了更确切地描述一种数据结构,通常采用二元组表示
如, B=(D,R)
其中,B是一种数据结构,它由数据元素的集合D(data)和D上二元关系的集合R(relation)所组成。
D={di| 1≤i≤n,n≥0},
R={rj | 1≤j≤m,m≥0},
di表示集合D中的第i个节点或数据元素。n为D中节点的个数,特别地,若n=0,则D是一个空集,因而B也就无结构可言,有时也可以认为它具有任一结构。
rj表示集合R中的第j个关系,每个关系用序偶表示。m为R中关系的个数,特别地,若m=0,则R是一个空集,表明集合D中的元素间不存在任何关系,彼此是独立的。
序偶:序偶<x,y>(x,y∈D)
x为第一元素,y为第二元素。 x为y的前驱元素。 y为x的后继元素。
若某个节点没有前驱元素,则称该节点为开始元素;若某个节点没有后继元素,则称该节点为终端元素。
<