【梳理】离散数学 第16章 树 16.1 无向树及其性质 16.2 生成树 16.3 根树及其应用

本文主要是介绍【梳理】离散数学 第16章 树 16.1 无向树及其性质 16.2 生成树 16.3 根树及其应用,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

教材:《离散数学》第2版 屈婉玲 耿素云 张立昂 高等教育出版社
源文档高清截图在最后

第16章 树

16.1 无向树及其性质

1、连通而无回路的无向图叫做无向树,简称树。每个连通分量都是树的无向图称作森林。平凡图也成平凡树。在无向树中,悬挂顶点(度数为1的顶点)称树叶,度数大于等于2的顶点称作分支点。

2、树的充分必要条件:
设G(V, E)是n阶m条边的无向图,则下列命题等价:
【1】G是树。
【2】G中任意两个顶点之间存在唯一的路径。
【3】G无回路,且m = n – 1。
【4】G是连通的,且m = n – 1。
【5】G是连通的,且任何边均为桥。
【6】G中没有回路,但任何两个不同的顶点之间添加新的边后能产生唯一一个含新边的圈。
证明 【1】推【2】:由G的连通性以及“n阶图G中,如存在v到自身的回路,则一定存在v到自身的长度小于等于n的初级回路”可知,对任意的u,v∈V,u到v存在一条路径。若路径不是唯一的,设Γ1和Γ2都是u到v的路径,则Γ1和Γ2上的边就可以构成回路。这与树的定义矛盾。
【2】推【3】。首先证明G中无回路。若G存在关联某顶点v的环,则v到v存在长度为0和1的两条路径(初级回路是路径的特殊情况;顶点到自身都具有长度为0的一条路径),与已知矛盾。若G存在长度≥2的圈,则圈上任何两个顶点之间都存在两条不同的路径,也引起矛盾。
然后归纳证明m = n – 1。当n = 1时G为平凡图,结论成立。设n≤k时结论都成立,那么n = k + 1时结论也要成立。此时,设e = (u, v)为G的一条边,由于G无回路,所以u到v只有唯一的路径(否则任意两条路径均可形成回路),所以G – e为两个连通分量G1、G2。设ni,mi分别为Gi中的顶点数和边数,则显然ni≤k。由归纳假设,mi = ni – 1,i = 1,2。于是m = m1 + m2 + 1 = n1 + n2 – 2 + 1 = n – 1。得证。
【3】推【4】。只要证明G是连通的(注意:一个图是树,是该图连通且无回路的必要条件,现在证前者是后者的充分条件)。假设G不连通,则设G由s个连通分量G1,G2,……,Gs(s≥2)。又每个Gi均无回路,因此Gi都是树。由前面的证明,mi = ni – 1,于是在这里插入图片描述 。但s≥2,这与m = n – 1矛盾。
【4】推【5】。只要证G中每条边均为桥。对任意的e∈E,均有 |E(G – e)| = n – 1 – 1 = n – 2。由第14章习题50,G – e不是连通图,故e为桥。
【5】推【6】。由于G的每条边均为桥,因此G中无圈。(在圈中删掉任意一条边都不影响圈上任意两点的连通性)又由于G连通,所以G为树。所以G中任意两个不同顶点u,v之间存在唯一的路径Γ。设e是在u,v之间添加的新边,则Γ∪e是一个圈,且显然是唯一的。
【6】推【1】。根据树的定义,只要证明G是连通的。对任意两个不同顶点u和v,在u,v之间添加一条新边e,产生唯一的一个含e的圈C。显然C – e为G中u到v的通路,故u ~ v。而u,v是任意选定的,所以G是连通的。

3、设T是

这篇关于【梳理】离散数学 第16章 树 16.1 无向树及其性质 16.2 生成树 16.3 根树及其应用的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/359726

相关文章

Java使用Spire.Barcode for Java实现条形码生成与识别

《Java使用Spire.BarcodeforJava实现条形码生成与识别》在现代商业和技术领域,条形码无处不在,本教程将引导您深入了解如何在您的Java项目中利用Spire.Barcodefor... 目录1. Spire.Barcode for Java 简介与环境配置2. 使用 Spire.Barco

SpringBoot集成iText快速生成PDF教程

《SpringBoot集成iText快速生成PDF教程》本文介绍了如何在SpringBoot项目中集成iText9.4.0生成PDF文档,包括新特性的介绍、环境准备、Service层实现、Contro... 目录SpringBoot集成iText 9.4.0生成PDF一、iText 9新特性与架构变革二、环

Nginx内置变量应用场景分析

《Nginx内置变量应用场景分析》Nginx内置变量速查表,涵盖请求URI、客户端信息、服务器信息、文件路径、响应与性能等类别,这篇文章给大家介绍Nginx内置变量应用场景分析,感兴趣的朋友跟随小编一... 目录1. Nginx 内置变量速查表2. 核心变量详解与应用场景3. 实际应用举例4. 注意事项Ng

idea-java序列化serialversionUID自动生成方式

《idea-java序列化serialversionUID自动生成方式》Java的Serializable接口用于实现对象的序列化和反序列化,通过将对象转换为字节流来存储或传输,实现Serializa... 目录简介实现序列化serialVersionUID配置使用总结简介Java.io.Seripyth

Java中的随机数生成案例从范围字符串到动态区间应用

《Java中的随机数生成案例从范围字符串到动态区间应用》本文介绍了在Java中生成随机数的多种方法,并通过两个案例解析如何根据业务需求生成特定范围的随机数,本文通过两个实际案例详细介绍如何在java中... 目录Java中的随机数生成:从范围字符串到动态区间应用引言目录1. Java中的随机数生成基础基本随

C#自动化生成PowerPoint(PPT)演示文稿

《C#自动化生成PowerPoint(PPT)演示文稿》在当今快节奏的商业环境中,演示文稿是信息传递和沟通的关键工具,下面我们就深入探讨如何利用C#和Spire.Presentationfor.NET... 目录环境准备与Spire.Presentation安装核心操作:添加与编辑幻灯片元素添加幻灯片文本操

Python实现Word文档自动化的操作大全(批量生成、模板填充与内容修改)

《Python实现Word文档自动化的操作大全(批量生成、模板填充与内容修改)》在职场中,Word文档是公认的好伙伴,但你有没有被它折磨过?批量生成合同、制作报告以及发放证书/通知等等,这些重复、低效... 目录重复性文档制作,手动填充模板,效率低下还易错1.python-docx入门:Word文档的“瑞士

使用python生成固定格式序号的方法详解

《使用python生成固定格式序号的方法详解》这篇文章主要为大家详细介绍了如何使用python生成固定格式序号,文中的示例代码讲解详细,具有一定的借鉴价值,有需要的小伙伴可以参考一下... 目录生成结果验证完整生成代码扩展说明1. 保存到文本文件2. 转换为jsON格式3. 处理特殊序号格式(如带圈数字)4

Java使用Swing生成一个最大公约数计算器

《Java使用Swing生成一个最大公约数计算器》这篇文章主要为大家详细介绍了Java使用Swing生成一个最大公约数计算器的相关知识,文中的示例代码讲解详细,感兴趣的小伙伴可以了解一下... 目录第一步:利用欧几里得算法计算最大公约数欧几里得算法的证明情形 1:b=0情形 2:b>0完成相关代码第二步:加

利用Python操作Word文档页码的实际应用

《利用Python操作Word文档页码的实际应用》在撰写长篇文档时,经常需要将文档分成多个节,每个节都需要单独的页码,下面:本文主要介绍利用Python操作Word文档页码的相关资料,文中通过代码... 目录需求:文档详情:要求:该程序的功能是:总结需求:一次性处理24个文档的页码。文档详情:1、每个