二叉树定义：二叉树(BinaryTree)是n(n≥0)个结点的有限集,它或者是空集(n=0),或者由一个根结点及两棵互不相交的、分别称作这个根的左子树和右子树的二叉树组成.
注意,如果子树是两棵那就要求两棵子树不相交,AB都存在这个问题不选；同时二叉树要求是有序的,D不能满足这个要求也不选；哈夫曼树就是按二叉树构造出来的,必须是二叉树