数和二叉树

• 树

1、树的定义:

树：n（n≥0）个结点的有限集合。

当n＝0时，称为空树；

任意一棵非空树满足以下条件：

⑴ 有且仅有一个特定的称为根的结点；

⑵ 当n＞1时，除根结点之外的其余结点被分成m（m>0）个互不相交的有限集合T1,T2,… ,Tm，其中每个集合又是一棵树，并称为这个根结点的子树。

2、数的基本术语:

结点的度：结点所拥有的子树的个数。

树的度：树中各结点度的最大值。

叶子结点：度为0的结点，也称为终端结点。

分支结点：度不为0的结点，也称为非终端结点。

孩子、双亲：树中某结点子树的根结点称为这个结点的孩子结点，这个结点称为它孩子结点的双亲结点；

兄弟：具有同一个双亲的孩子结点互称为兄弟。

路径：如果树的结点序列n1, n2, …, nk有如下关系：结点ni是ni+1的双亲（1<=i<k），则把n1, n2, …, nk称为一条由n1至nk的路径；路径上经过的边的个数称为路径长度。

祖先、子孙：在树中，如果有一条路径从结点x到结点y，那么x就称为y的祖先，而y称为x的子孙。

结点所在层数：根结点的层数为1；对其余任何结点，若某结点在第k层，则其孩子结点在第k+1层。

3、树的深度：树中所有结点的最大层数，也称高度。

层序编号：将树中结点按照从上层到下层、同层从左到右的次序依次给他们编以从1开始的连续自然数。

有序树、无序树：如果一棵树中结点的各子树从左到右是有次序的，称这棵树为有序树；反之，称为无序树。

森林：m (m≥0)棵互不相交的树的集合。

同构：对两棵树，若通过对结点适当地重命名，就可以使这两棵树完全相等（结点对应相等，结点对应关系也相等），则称这两棵树同构。

4、树的抽象数据类型定义:

ADT Tree

Data

     树是由一个根结点和若干棵子树构成，

     树中结点具有相同数据类型及层次关系

Operation

     InitTree

        前置条件：树不存在

        输入：无

        功能：初始化一棵树

        输出：无

        后置条件：构造一个空树

5、树的遍历：从根结点出发，按照某种次序访问树中所有结点，使得每个结点被访问一次且仅被访问一次。

 

6、树的前序遍历操作定义为：

若树为空，不进行遍历；否则

⑴ 访问根结点；

⑵ 按照从左到右的顺序前序遍历根结点的每一棵子树。

例：A B D E H I F C G

树的后序遍历操作定义为：

若树为空，则遍历结束；否则

⑴ 按照从左到右的顺序后序遍历根结点的每一棵子树；

⑵ 访问根结点。

例：D H I E F B G C A

7、树的层序遍历操作定义为：

从树的第一层（即根结点）开始，自上而下逐层遍历，在同一层中，按从左到右的顺序对结点逐个访问。

例：A B C D E F G H I

8、双亲表示法：

template <class T>

struct PNode{

     T data;          //数据域

     int parent;   //指针域，双亲在数组中的下标

} ;

9、孩子兄弟表示法：

template   <class T>

struct TNode{

     T data;

     TNode <T> *firstchild, *rightsib;

}

三、二叉树

1、二叉树的定义：二叉树是n（n≥0）个结点的有限集合，该集合或者为空集（称为空二叉树），或者由一个根结点和两棵互不相交的、分别称为根结点的左子树和右子树的二叉树组成。

2、二叉树的基本性质：

（1）二叉树的第i层上最多有2i-1个结点（i≥1）。

（2）一棵深度为k的二叉树中，最多有2k-1个结点，最少有k个结点。

（3）在一棵二叉树中，如果叶子结点数为n0，度为2的结点数为n2，则有: n0＝n2＋1。

（4）具有n个结点的完全二叉树的深度为 log2n  +1。

对一棵具有n个结点的完全二叉树中从1开始按层序编号，则对于任意的序号为i（1≤i≤n）的结点（简称为结点i），有：

（1）如果i＞1，

则结点i的双亲结点的序号为  i/2；如果i＝1，

则结点i是根结点，无双亲结点。

(2)如果2i≤n，

则结点i的左孩子的序号为2i；

如果2i＞n，则结点i无左孩子。

(3)如果2i＋1≤n，

则结点i的右孩子的序号为2i＋1；如果2i＋1＞n，则结点 i无右孩子。

3、顺序存储结构：二叉树的顺序存储结构就是用一维数组存储二叉树中的结点，并且结点的存储位置（下标）应能体现结点之间的逻辑关系——父子关系。

二叉链表基本思想：令二叉树的每个结点对应一个链表结点，链表结点除了存放与二叉树结点有关的数据信息外，还要设置指示左右孩子的指针。

二叉链表声明：

template <class T>

class BiTree

{    

  public:

       BiTree();

        ~BiTree( );            

        void PreOrder(){PreOrder(root);}

        void InOrder() {InOrder(root);}

        void PostOrder() {PostOrder(root);}

        void LevelOrder(){LeverOrder(root)};

  private:

        BiNode<T> *root;

        BiNode<T> * Creat( );

        void Release(BiNode<T> *root);

        void PreOrder(BiNode<T> *root);

        void InOrder(BiNode<T> *root);

        void PostOrder(BiNode<T> *root);

        void LevelOrder(BiNode<T> *root);

 };

栈是实现递归的最常用的结构

思想：

遇到一个结点，就访问该结点，并把此结点推入栈中，然后遍历它的左子树；

遍历完它的左子树后，从栈顶托出这个结点，并按照它的右链接指示的地址再去遍历该结点的右子树结构。

4、中序遍历——递归算法

template <class T>

void BiTree::InOrder (BiNode<T> *root)

{

         if (root==NULL) return;     

         else {

               InOrder(root->lchild);

               cout<<root->data;

               InOrder(root->rchild);

         }

}

5、栈中的元素类型定义StackElement

  enum Tags{Left,Right}; //特征标识定义

template <class T>

class StackElement //栈元素的定义

{

public:

BiTreeNode<T>* pointer;     //指向二叉树结点的指针

Tags tag; //特征标识申明

};

判断一棵树是否为完全二叉树：

基于层次遍历。

在层次遍历中，如果遇到一个节点

只有右儿子，没有左儿子，

false;

只有左，没有右

If (is_leaf==true) return false;

Else is_leaf=true;

两个儿子均为空

is_leaf=true

两个儿子均不空

If (is_leaf==true) return false;

将存在的儿子入队

能遍历完所有节点，即为完全二叉树

 

二叉树转换为树或森林

⑴ 加线——若某结点x是其双亲y的左孩子，则把结点x的右孩子、右孩子的右孩子、……，都与结点y用线连起来；

⑵ 去线——删去原二叉树中所有的双亲结点与右孩子结点的连线；

⑶ 层次调整——整理由⑴、⑵两步所得到的树或森林，使之层次分明。

哈夫曼算法基本思想：

⑴ 初始化：由给定的n个权值{w1，w2，…，wn}构造n棵只有一个根结点的二叉树，从而得到一个二叉树集合F＝{T1，T2，…，Tn}；

⑵ 选取与合并：在F中选取根结点的权值最小的两棵二叉树分别作为左、右子树构造一棵新的二叉树，这棵新二叉树的根结点的权值为其左、右子树根结点的权值之和；

⑶ 删除与加入：在F中删除作为左、右子树的两棵二叉树，并将新建立的二叉树加入到F中；

 ⑷ 重复⑵、⑶两步，当集合F中只剩下一棵二叉树时，这棵二叉树便是哈夫曼树。

二叉树的非递归遍历总结

都是沿着左分支访问，直到左分支为空时，再依次对栈中节点的右分支进行处理。（遵循从左至右的遍历原则，体现深度优先搜索的思想）

前序遍历：每个节点只进栈一次，在进栈前访问节点

中序遍历：每个节点进栈一次，在出栈时访问节点

后序遍历：每个节点进栈两次，在第二次出栈时访问节点

结点后继的确定

一个结点的右指针如果是线索，则右指针就是下一个要遍历的结点，

如果右指针不是线索，则它的中序后继是其右子树的“最左”结点

遍历何时停止？

一个节点的右指针==NULL