版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
关于组合数学克鲁斯卡尔定理的证明如何证明假设:这个算法终止于T有n-1条边那么根据定理3.20:假设G是一个有n个顶点和e条边的图。那么G是树当且仅当G没有回路且n=e+1.证明T是一棵树,是G的一棵支撑树。因此,G是连通的图若算法将终止于没有找到有n-1条边的集合T。则G是非连通的图
第2页,共14页,2024年2月25日,星期天分为两部分证明 1.当G为连通图时 2.当G为非连通图时第3页,共14页,2024年2月25日,星期天定理13.1:
如果G是n个顶点的联通网络,Kruskal算法将终止于一个有n-1条边的最小支撑树T。
如果G是非连通网络,那么算法在检查所有边之后,T中仍没有n-1条边,这时它将停止并输出G是非连通的信息。证明思想:1.若G是连通的: (1)证明这个算法的确给出的是支撑树 (2)证明这个支撑树是最小的。2.若G是非连通的
证明算法终止时没有给出有n-1条边的T第4页,共14页,2024年2月25日,星期天证明:
1.当G为连通的(1)若算法给出有n-1条边的T那么根据定理3.16:假设G是一个有n个顶点和e条边的图。那么G是树当且仅当G是连通的且n=e+1.则能证明算法给出的T是支撑树第5页,共14页,2024年2月25日,星期天(2)想要证明Kruskal生成的支撑树T是最小支撑树125463569191126211234565611141414181616要证明支撑树T是最小的。反证法:假设T不是最小支撑树假设S是G的一棵最小支撑树S≠T第6页,共14页,2024年2月25日,星期天e1(x,y):为第一条在T中而不在S中的边这时会出现两种情况情况1:e1的权值>e2的权值情况2:e1的权值<e2的权值Kruskal生成的支撑树T12546314165611e1假设的最小支撑树S125463141656e2xyXYS中存在一条简单链C(x,y),与e1(x,y)构成回路在链C(x,y)中存在一条在S中但不在T中的边e2第7页,共14页,2024年2月25日,星期天情况1:e2的权值<e1的权值12546314165611e1Kruskal生成的支撑树T125463141656假设的最小支撑树S9e2因为e1是第一条在T中但不在S中的边所以T中在e1之前被找到的边也一定在S中出现既然e2<e1,为什么T选择了e1却没选择e2因为e2与e1之前出现的边形成了回路,所以T选择了边e1因为S是支撑树,S中不能有回路所以与假设矛盾那么情况1不成立第8页,共14页,2024年2月25日,星期天情况2:e1的权值<e2的权值S′:是从S中去除边e2,加上边e1的边的集合S′=S-e2+e1(权值)125463141656125463141656假设的最小支撑树S125463141656e2125463141656125463141656支撑树S’125463141656e2e1第9页,共14页,2024年2月25日,星期天情况2:e1的权值<e2的权值S′=S-e2+e1(权值)125463141656125463141656假设的最小支撑树S125463141656e2125463141656125463141656支撑树S’125463141656又因为S是最小支撑树所以S’权值和=S权值和所以S’就是最小支撑树因为S为最小支撑树所以e2的权值至少与e1的权值一样大e1情况2:e1的权值≤e2的权值因为e2≥e1(权值)所以S’的权值和<=S的权值和第10页,共14页,2024年2月25日,星期天情况2:e1的权值<e2的权值≤125463141656125463141656125463141656125463141656e1支撑树S’Kruskal生成的支撑树T11e1图中,支撑树S’与Kruskal生成的支撑树T相同就可以证明T是最小支撑树。这是当T=S’的情况,证明完毕。11第11页,共14页,2024年2月25日,星期天当T≠S’时,再继续找第一条在T中但不在S’中的边e1’不在T中但在S’中的边e2’S”=S’-e2’+e1’按照以上的方式重复做,直到找到T=S”为止1254631416561254631416561254636125463141656e1支撑树S’Kruskal生成的支撑树T11e1情况2:e1的权值<e2的权值≤11第12页,共14页,2024年2月25日,星期天2.若G是非连通的:若这个算法终止时没有给出有n-1条边的T反证法:假设G是连通的
∵T中的边数少于n-1条 ∴T至少有两个分支又∵G是连通的 ∴G中存在一条连接T的两个不同分支中的顶点的边{x,y}
∵现在{x,y}不与T中
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 11《我是一只小虫子》教学设计2023-2024学年统编版语文二年级下册
- 化学课教案离子键的形成与化学反应
- Unit 7 Lesson 39 教学设计 2024-2025学年冀教版英语八年级上册
- Unit5 Lets eat Part A Lets learn(教学设计)-2024-2025学年人教PEP版英语三年级上册
- 8 比尾巴 教学设计-2024-2025学年统编版语文一年级上册
- 蛋品加工项目社会与环境影响分析
- 小学语文一年级下册《语文园地二》教案
- 山东省海阳市七年级生物上册 3.2.3 开花和结果教案 新人教版
- 四年级下册综合实践活动教学设计-小书包中的大学问|长春版
- 小学生校园欺凌人际互动
- 检验科“危急值”项目及标准
- 安装风管施工方案
- 船舶进出浮船坞操作手册
- 如何让孩子学会自律
- 现代汉语(黄伯荣、廖序东版)课件–绪论
- KNX 系统调试培训介绍
- PCB-焊盘工艺设计规范
- 部编版语文四年级上册第四单元【集体备课稿】
- 《奥林匹克号角(管弦乐)》教学设计(江苏省县级优课)-七年级音乐教案
- 学院班主任工作学生满意度测评表
- 系统上线验收合格证书
评论
0/150
提交评论