数据结构之树（1）：树的基本定义、术语以及树的抽象数据类型

• 一、树的定义
  树（有根树）是n(n>=0)个结点的有序集合T。
  当n等于0时，T为空树；
  当n>0时，T是非空树，并且可表示为T={r,T1,T2……Tn};
  其中r是根结点(root).
  e.g. 如图所示，（a）是空树，连一个结点都没有；（b）是只有根结点的树；（c）是有13个结点的树，A是根结点，其余结点又分成3个互不相交的子集：T1={B,E,F,K,L},T2={C,G},T3={D,H,I,J,M},他们称为根的子树（subtree,每个子集合又是一棵树）；同时T1中，又可以分为T11={E,K,L},T12={F},他们是T1的子树。由于在树的定义中又用到了树，所以树的定义具有递归性。

除了根结点没有直接前驱外，每个子树的根结点有且仅有一个直接前驱，但所有结点都可以有0个或多个直接后继。

• 二、树的术语
  结点（node）:由数据元素和构造数据元素之间关系的指针组成。大白话就是有数据和联系其他结点的指针
  结点的度：结点所拥有的子树的个数，例如上图©中根结点A的度为3.

叶节点（leaf）:度为0的结点（终端结点），例如上图的K.
分支结点（branch）：除叶节点外的其他结点。

孩子结点（child）:该结点的子树的根结点是该结点的孩子，例如上图中B是A的孩子，同时B又有两个孩子。
父节点（parent）：若该结点有孩子，则该结点为他的孩子结点的父节点。
兄弟结点（sibling）：同一父节点的孩子互称为兄弟。
祖先结点（ancester）:从根结点到该结点所经分支的所有结点，例如上图中结点K的祖先为A，B，E.
子孙结点（descendant）:该结点的孩子和孩子的孩子都是该结点的子孙，例如B的子孙为E，F，K，L.

结点所在层次（level）:从根结点到该结点所经路径上的分支条数，根结点为第一层，其他结点就是沿着从根结点到这个结点的这条路径上的分支结点数。
树的深度（depth）:树中距离根结点最远的点所处的层次数就是树的深度，空树的深度为0，只有根结点的深度为1，上图中树（c）的深度为4.
树的高度（height）:深度是从上往下算，高度是从下往上算，从叶节点开始算，但是高度等于深度。

有序树：树中各棵子树有次序。
无序树：树中结点的各棵子树次序不重要，可以交换位置。

森林：是n(n>=0)棵树的集合。多棵树是森林，一棵树也是森林；删去一棵非空树的根结点，树就变成森林（当然也有可能是空的森林），这个角度来说要是删除一棵树可不能前序遍历！变成森林就不好办了！

• 三、树的抽象数据类型

template<class T>class Tree
{//该类中position是树中结点的地址
public:
	Tree();
	~Tree();
	position Root();                               //返回根结点所在的地址，若为空返回0
	BuildRoot(const T& value);                    //建立树的根结点
	position FirstChild(position p);              //返回 p 第一个子女地址, 无子女返回 0
	position NextSibling(position p);             //返回 p 下一兄弟地址, 若无下一兄弟返回 0
	position Parent(position p);                  //返回 p 父结点地址, 若 p 为根返回 0
	T getData(position p);                        //返回p中存的值
	bool InsertChild(position p, T& value);        //给结点p插入一个新的值为value的孩子
	bool DeleteChild (position p, int i);           //删除p的第i个孩子及其全部子孙
	void DeleteSubTree (position t);                //删除以 t 为根结点的子树
	bool IsEmpty ();                                 //判断树是否空,若空则返回true, 否则返回false
	void Traversal (void (*visit)(position p));      //遍历以 p 为根的子树
};