数据结构之广义表

这一篇主要描述广义表的相关概念。

• 广义表： 是$n\ge 0$个元素$a_0,a_1,\cdots ,a_{n-1}$的有限序列，其中每一个$a_i$或是一个原子，或是一个广义表。
  广义表又称列表，可以理解为python语言里列表的概念。

• 广义表记作：$LS=(a_1,a_2,\cdots ,a_n)$,
  其中，LS为表名，n为表的长度，每一个$a_i$为数据元素。
  习惯上，用大写字母表示广义表，小写字母表示原子。

• 表头： 若LS非空($n\ge 1$)，则其第一个元素$a_1$就是表头。记作$head(LS)=a_1$。表头可以是原子，也可以是子表。

• 表尾： 除表头之外的其他元素组成的表。记作$tail(LS)=(a_2,\cdots ,a_n)$。表尾不是最后一个元素，而是一个子表，且一定是一个子表，不能是原子。

例子如下：

广义表	广义表说明
A=()	空表，长度为0。
B=(())	长度为1，表头、表尾均为()。
C=(a,(b,c))	长度为2，由原子a和子表(b,c)构成。表头为a，表尾为((b,c))。
D=(x,y,z)	长度为3，每一项都是原子。表头为x，表尾为(y,z)。
E=(C,D)	长度为2，每一项都是子表。表头为C，表尾为(D)。
F=(a,F)	长度为2，第一项为原子，第二项就是它本身。表头为a，表尾为(F)。

广义表的性质

• 广义表中的数据元素有相对次序：一个直接前驱和一个直接后继。
• 广义表的长度定义为最外层所包含的元素个数；
  如：C=(a,(b,c))的长度为2
• 广义表的深度定义为该广义表展开后所含括号的重数；
  A=(b,c)的深度为1，B=(A,d)的深度为2，C=(f,B,h)的深度为3。
  “原子”的深度为0；“空表”的深度为1。
• 广义表可以为其他广义表共享；
  如，广义表B就共享表A。在B中不必列出A的值，即通过名称来引用，B=(A)。
• 广义表可以是一个递归的表。
  如，$F=(a,F)=(a,(a,(a,\cdots )))$
  递归表的深度是无穷值，长度是有限值。
• 广义表是多层次结构，广义表的元素可以是单元素，也可以是子表，而子表的元素还可以是子表。
  这种结构可以用图形形象的表示。
  如，D=(E,F)，其中：E=(a,(b,c))      F=(d,(e))
  

广义表和线性表的区别

广义表可以看成是线性表的推广，线性表是广义表的特例。

广义表的结构相当灵活，在某种前提下，它可以兼容线性表、数组、树和有向图等各种常用的数据结构。

当二维数组的每行(或每列)作为子表处理时，二维数组即为一个广义表。

另外树和有向图也可以用广义表来表示。