二叉树的创建算法
1,导论
什么是数据结构?
A data structure is an aggregation of data components that together constitute a meaningful whole。在计算机领域中,技术千变万化,但是基本的数据结构始终只有那几种。而抽象数据类型(ADT)就是用来描述数据结构具有的功能。比如,二叉树就有前序、中序遍历功能;栈,有先进后出功能。对于某一数据结构,放在不同的层次,它有不同的抽象,比如,对于存入整形数组的栈而言,站在使用Stack的角度,它具有提供先入后出功能;而栈可以用List实现,而List又可以用数组实现,而数组元素又可以是由各个Integer组成,而Integer对于编译器而言,又由bit组成。因此,谈论一种数据结构(类型),需要考虑站在的角度。
2,二叉树的构建算法--以二叉树的结点存储String类型的数据为例讨论
通常的想法是,创建一个根结点,再创建一颗左子树和右子树,然后把根结点的左孩子指向左子树,右孩子指向右子树。这种说法并没有考虑,结点如何构造?子树根据什么原则来构造?具体的实现代码怎么写?下面就是记录二叉树创建的具体实现算法。先给一个定义:
singature of a data structure: The signature of a data structure is an encoding of the structure and its contents in plain-text format that can be stored off-line(on disk) and used to recreate the data structure in memory when needed.
那二叉树的Signature是什么?由二叉树的性质知道:中序遍历和先序遍历顺序可以唯一确定一颗二叉树;中序遍历和后序遍历也可以唯一确定一颗二叉树。因此,若把二叉树遍历的顺序(如:中序遍历和先序遍历)保存在一个磁盘中的文本文件中,那么当需要构造一颗二叉树时(当然是在内存中),直接读该文本文件,然后调用构建算法即可。
①从Signature文本文件中读取二叉树的各个结点:
1 public BinaryTree<String> buildFromSignature() throws IOException{ 2 BufferedReader stdinbr = new BufferedReader(new InputStreamReader(System.in)); 3 System.out.println("File name? -->"); 4 System.out.flush(); 5 String file = stdinbr.readLine(); 6 Scanner sc = new Scanner(new File(file)); 7 int numNodes = sc.nextInt(); 8 String[] preorder = new String[numNodes]; 9 String[] inorder = new String[numNodes]; 10 11 for(int i = 0; i < numNodes; i++) 12 preorder[i] = sc.next(); 13 for(int i = 0; i < numNodes; i++) 14 inorder[i] = sc.next(); 15 return buildTree(preorder, 0, inorder, 0, numNodes - 1);//key point 16 }
②buildTree算法的实现,先看完整代码,然后再解释:
1 private BinaryTree<String> buildTree(String[]pre, int i, String[]in, int lo, int hi){ 2 if(i >= pre.length) 3 return null; 4 BinaryTree<String> myTree = new BinaryTree<>(); 5 myTree.makeRoot(pre[i]); 6 //search for pre[i] in in[lo..hi] 7 int j; 8 for(j = lo; j <= hi; j++) 9 if(pre[i].equals(in[j])) 10 break; 11 //build left and right subtrees recursively 12 BinaryTree<String>leftSub = buildTree(pre, i + 1, in, lo, j - 1); 13 BinaryTree<String>rightSub = buildTree(pre, i + j - lo + 1, in, j + 1, hi); 14 //attach them to the root and return 15 myTree.attachLeft(leftSub); 16 myTree.attachRight(rightSub); 17 return myTree; 18 }
@param String[] pre: 二叉树的先序遍历顺序
@param i:标记当前正在构造的根结点,从第5行的makeRoot(pre[i])看出,它用来标记当前正在构造哪个根结点,以及进一步构造该根结点的子树
@param String[] in:二叉树的中序遍历顺序
@param lo:查找下一个根结点时,lo 用来指示中序数组中的下限(low)
@param hi:查找下一个根结点时,hi 用来指示中序数组中的上限(high)
解释:根据先序遍历和中序遍历推断二叉树时,先在先序中找一个结点,然后再中序数组中去查找该结点,在中序数组中该结左边的元素都是它的左子树中的结点,在该结点右边的元素都是它的右子树中的结点。
return buildTree(preorder, 0, inorder, 0, numNodes - 1);
初始调用buildTree时,i = 0,因为先序遍历中的第一个结点即为根结点。lo = 0, hi = numNodes-1,表示此时在中序数组String[] in 中起始下标为0,终止下标为numNodes-1 的范围内查找当前的根结点pre[i]。(之所以称 当前“根”结点,这里的根结点不是指整棵树的根结点,而是在每一步的构建步骤中,考虑的当前结点,以该结点为根,构建它的左右子树。初始时,当前根结点即为整棵树的根结点(先序遍历的原因)。)
myTree.makeRoot(pre[i]);
构建当前的根结点
int j; for(j = lo; j <= hi; j++) if(pre[i].equals(in[j])) break;
在中序遍历的数组中查找当前的根结点。j 从 lo(low)下标开始,到hi(high)结束。第一次执行时,lo为0,hi为整棵树结点个数减1。j 用来标记找到的”当前"根结点在中序数组中的位置。那么,在String[] in 数组中, j 左边的某些结点则为当前根结点的左孩子,在 j 右边的某些结点则为当前根结点的右孩子了。
BinaryTree<String>leftSub = buildTree(pre, i + 1, in, lo, j - 1);
构造当前根结点的左子树。由于是先序遍历,因此,左子树的根结点位置为i+1,在中序数组中查找 左子树的根结点 的范围就是[lo, j-1]。这个比较好理解。
BinaryTree<String>rightSub = buildTree(pre, i + j - lo + 1, in, j + 1, hi);
构造当前根结点的右子树。j-lo+1表示,在中序数组中查找当前结点的右孩子时移动的元素个数(见上面for循环)。因此,i 加上 j-lo+1 就表示 当前根结点的右孩子的位置了。
再解释一下:在先序数组中,i 表示当前根结点的位置。经过在中序数组中的一番查找之后,找到了 j-lo+1 个元素,这些元素都是 i 的左子树中的结点(因为这些结点的在中序数组中的位置都是在 j 的左边),在先序数组中,i 向前移动 j-lo+1 个元素,得到 i+j-lo+1, i+j-lo+1先序数组中就是 i 的右孩子!!!
最后两个参数 j+1 和 hi 就很好理解了,就是:先序数组位置i 处结点的 右孩子 的子树结点的范围了。
3,树的层次结构的应用----文件系统
以Linux文件系统为例来说,它就是一种树形结构,当然,它比二叉树要复杂得多,但是基本原理和二叉树的操作相同。那么如何将文件系统的操作(如,删除文件、创建新文件……)转化为对树的操作呢?
如:Linux 命令: touch /home/xxx/newfile
经过某种解释器,将上面命令解析成对树的操作即可。首先找到树的根结点 "/",然后依次查找到结点 "xxx",最后在 "xxx"下创建一个新结点来代表 newfile
到这里,让我对文件系统的底层有了一些了解。也知道了为什么用B树来作为文件系统的数据结构。B树很大的一个特点就是矮!这样,对文件系统的一次操作访问磁盘的次数就少。
有一个小问题:在Linux文件系统的某个目录中,可以创建很多很多文件(不考虑权限),而在我们讨论的二叉树中每个结点的数据域是已经定义好的,参考JAVA实现二叉树
public class BinaryNode<T> implements BinaryNodeInterface<T>, java.io.Serializable{ private T data;//结点的数据域 private BinaryNode<T> left;//左孩子 private BinaryNode<T> right;//右孩子
而对应到文件系统中的某个目录,该目录下存放多少个文件是未知的。若统一将结点的child数据域设置为某个最大值,就会造成很大的浪费(如:大部分结点只有1,2个孩子,只有小部分结点有非常多的孩子,而结点的child数据域则必须是最多孩子那个结点的数据域个数)
针对上述情况:可以用另一种树的表示方法----左孩子右兄弟表示法。即,结点还是固定只有两个孩子域,左孩子域表示该结点的孩子。右孩子域表示该结点的兄弟。这样,就可以将一颗普通的树(每个结点有多个孩子域)转化成一颗二叉树的形式(每个结点只有两个孩子域),就可以解决上述所说的存储空间的浪费问题。