树的等价定义及其证明.docVIP

树的等价定义及其证明 初阳学院 综合理科062班吕夏雯zjnu.net) 摘要：树是图论中重要的一类图，它的定义形式多样，本文给出了树的9种定义及其证明和树在数据结构中的定义。 关键词：树；等价定义；回路 引言 树是重要的概念，它不仅应用于图论本身，由于树是连通图中最简单的一类图，许多问题对一般连通图未能解决或者内有简单的方法，而对于树，可以圆满解决且方法较为简单。而且，它在其他领域，特别是在计算机科学中得到了广泛的应用。本文给出了树在图论中的9种等价定义和数据结构中有向树的两个定义，并证明了它们之间的等价性。 树的等价定义 树有很多性质，这些性质中有些既是树的必要条件又是充分条件，所以可以作为树 的等价定义，下面我给出树的11种定义。 设简单图，为中顶点数，为中边数，则下列命题是等价的： (1) 是连通且无回路[1]； (2) 中任意两个不同顶点之间有且只有一条路连接[1]； (3) 连通且[1]； (4) 无回路且[1]； (5) 连通且的每一条边都是割边，即[1]； (6) 无回路，并且对中任意两个不相邻的顶点，有且只有一个回路[1]； (7) 连通的且若，则不是，并且对中任意两个不相邻的顶点，有且只有一个回路[2]； (8) 不是，，并且对中任意两个不相邻的顶点，有且只有一个回路[2]； (9) 中存在一个顶点到中其余顶点有且只有一条路[1]； 树在数据结构中的定义： (10) 树的递归定义：有且仅有一个称为根的结点，且其余点各分为个互不相交的有限集，其中每个集合本身又是一棵树[4]； （11）树的非递归定义：只有一个根结点，指向根结点的边的条数为0，指向根结点以外的每个结点的边数为1，对于任意结点，有且仅有一条从根到该结点的路径[4]。 3 树的等价定义证明 下面我介绍等价定义的证明过程。 证明： (1) (2) 是连通且无回路，则中的任意两个顶点只有惟一的一条路连接，否则若两个顶点之间有两条路，则中必存在一个回路，与已知矛盾。 (2) (3) 显然连通的，对施行数学归纳法。 当=1时，，则，结论成立。 当时结论成立。现在考虑阶的树。由于中道路的唯一性，则不连通。由归纳假设，则的两个分支中，都满足点的数目比边的数目多1，所以的边数是，故成立。 (3)(4) 已经成立，只需证明无回路。假设有回路，在中任取一条边，则仍是连通图，但其边数，产生矛盾，所以无回路。 (4)(5) 设满足(4)。先证明连通。若有个连通分支，因为这些连通分支无回路，所以是树，则有(3)可知，故，因为，与矛盾，所以连通。 再证的每条边都是割边。任取一条边，由于，故 ，所以不连通，所以是割边。 (5)(6) 设满足(5)。由于的每一条边是割边，所以无回路，又因为连通，故 是树。设和是中任意两个不相邻的顶点，所以它们之间有且只有一条路连接，则就是中的惟一回路。 (6)(7) [2] 只需证连通的且若，则不是。 对于，每个都含有回路，所以不可能是完全图（）。图一定是连通的：若不连通，可以加入一条边来连接不同分支的两个点，则无回路，产生矛盾。 (7)(8) [2] 假设的两个顶点有两条道路连接，则就有回路。这个回路不能有4个或4个以上的顶点（若有4个或4个以上的顶点，则我们取连接回路上不相连的顶点， 本身就不止一个回路，则也不止一个回路。与已知相矛盾，所以证得对中任意两个不相邻的顶点，有且只有一个回路。所以由(2)(3)，有。 所以这个回路就是。这个一定不是的真子图。所以不是。 (8)(1) 假设有一个回路，且这个回路一定是三角形并且是的一个分支。为了使，只能再有一个分支。如果这个树含有长度等于2的道路，则可以再加一条边使有两个回路，这个树必须是,所以是，与已知矛盾，所以是无回路的。又因为，根据(4)(5)，得是连通的，所以是树。 由此证得，（1）—（8）是等价的。 (2)(9)取一点马上可以得出。 (9)(2) 假设不同的两个顶点之间有两条路，也就是说中存在一个回路。所以对中给定的顶点，可以找到两条到其余点的路，跟已知矛盾。所以，中存在一个顶点到中其余顶点有且只有一条路。 所以说（9）也是树的等价定义。 由此，证明了上面所给出的树的9个定义是等价的。 而对于定义（10）和（11），是在数据结构中对有向树的递归定义和非递归定义。 4 总结 本文证明的顺序是(1)(2)(3)(4)(5)(6)(7)(8)(1)，(2)(9) (2)。其实，既然这些定义都是等价的，那么我们还可以找到很多证明这些等价定义的方法，而这些证明方法在图论中都有重要的应用价值，所以树的等价定义是一个非常值得我们去探索的问题。 参考文献 [1]卜月华.图论及其应用[M].南京.东南大学出版社,2000,81～83.