- 1、本文档共25页,可阅读全部内容。
- 2、有哪些信誉好的足球投注网站(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
4.1平面图-Read.ppt
图 论 第四章 平面图与图的着色 4.1 平面图 1. 某些实际问题中涉及到图的平面性的研究,譬如印刷电路板的设计、大规模集成电路的布局布线等问题。 定义:若能把图G 改画在一个平面上(同构),使新图G’的任何两条边都不相交,就称G可嵌入平面、是可平面图,称G’是G的一个平面嵌入,G’是一个平面图。 平面图的域(面) 内部域、无限域 一个域的边界 2. 欧拉公式 定理:设G是平面连通图,则G的域的个数为 d=m-n+2 . (域数=边数-结点数+2) 证:因G为连通图,故有支撑树T。 对于T,仅有一个域(n-1条边)。每新加入G-T的一条边,域即恰好增加一个。这样的边共m-(n-1)条,故最终得到G时域数为m-n+2. 推论1 若平面图G有k个连通分支,则 d=m-n+k+1. 证:将k个连通分支由左到右顺序排列,相邻两分支间加入一条新边相联(共加入k-1边),则所得新图与原图域数相同。 应用欧拉公式有 d=(m+k-1)-n+2=m-n+k+1. 推论2 对平面图G,有 n-m+d≥2. 证:由推论1立得。 4.2 极大平面图 1. 定义:设G是结点数n≥3的简单平面图,若在任意两个不相邻结点vi,vj之间,加入边(vi,vj)就会破坏图的平面性,则称G为一个极大平面图。 极大平面图的边数和域数在图的现有结点数的限制下已达到了极限,再多一条边即会破坏其平面性。 2. 极大平面图的性质 1)G是连通的 2)G不存在割边 3)G的每个域的边界数都是3。 证:由于简单图不存在自环与重边(边界数为1,2的域),故域的边界数≥3。若边界数3,则在此域中至少可加一条边,而不会破坏其平面性,矛盾。 4) 3d=2m (d为域数, m为边数) 证:d个域的边界数之和为3d(每域有3条边)。 由于极大平面图没有割边,故每条边均是两个域的边。求边界数总和时每条边均恰好计数了两次,故边界数之和为边数的两倍,即2m,从而 3d=2m 。 定理 极大平面图G的边数和域数完全由结点数决定。具体有 m=3n-6,d=2n-4。 证:对G有3d=2m, 代入欧拉公式d=m-n+2 ,即证。 3. 简单平面图的一个必要条件 定理 若简单图G为一个平面图,则必有: m≤3n-6,d≤2n-4. 证:d个域的边界数之和≥3d(每域至少有3条边)。 求边界数总和时,每条非割边恰好计数了两次,每条割边只计数了一次,故边界数之和不超过边数的两倍,即≤2m,从而 3d≤2m 。代入欧拉公式d=m-n+2 ,即证。 证明一个简单图为非平面的,可通过证明它不满足平面图的必要条件来实现。这可以用Euler公式或以上定理验证。但域数有时难以确定,故常用验证m≤3n-6不成立来证明 。 例1 某个简单平面图边数为12, 结点数为6, 则每个域的边界数为3。 证:域数d=12-6+2=8。 因为简单平面图每个域的边界数至少为3,若至少有一个域的边界数超过3,则 各域的边界数之和3*8=24。 由于求边界数总和时,每条边最多计数两次,故边界数之和不超过边数的两倍,即≤2*12,从而 2424,矛盾。 故每个域的边界数不会超过3,即恰好等于3。 例2 若简单平面图G中不含有K3子图,则边数m≤2n-4。 证明:G不含K3子图(三角形子图),故不含边界数为3的域,因此每个域的边界数至少为4,从而各域的边界数之和≥4d。 另一方面,由于每条边最多计数两次,故边界数之和不超过边数的两倍,即≤2m,所以 4d≤2m. 将d=m-n+2代入不等式,即可证得 m≤2n-4 . 例3 简单平面图G中存在度数小于6的结点。 证明:若每个点的度数不小于6,则所有结点的度数之和≥6n. 由于所有结点的度数之和为边数的2倍,所以 2m≥6n, 故m≥3n。 这与简单平面图满足的性质m≤3n-6相矛盾,故G中必有度数小于6的结点。 例4 若简单平面图G中的结点数n≤11,则其中一定存在度数5的结点。 证:假设每个结点的度数≥5,则所有结点的度数之和≥5n。 由于所有结点的度数之和为边数的2倍,所以 2m≥5n, 故m≥5n/2。 另一方面,对于简单平面图有m≤3n-6,故5n/2≤3n-6 ,由此可得n≥12,这与题设矛盾。 4.3 非平面图 1. 定义:如果一个
您可能关注的文档
- 2016山西省中考备考培训会重点题型拓展.doc
- 2016年4月合金剂招标文件.doc-万基控股.doc
- 2016年7月8日星期五.docx
- 2016年8月礼品展承建商手册点击下载-(北京)国际礼品、赠品及家庭.doc
- 2016年义乌市人才子女入学具体操作方案.doc
- 2016年乡镇(村卫生室)继教试题答题卡.doc
- 2016年公安普通高校招生工作启动.doc
- 2016年安徽省职业院校(高职组).doc
- 2016年济南市.doc
- 2016年特岗教师招聘县级岗位(幼儿园)一览表.doc
- 2025年智能快递驿站行业政策与市场机遇报告.docx
- 2025年校园安全防范中新能源电动巡逻车采购可行性分析.docx
- 2025年智能垃圾分类智慧监管平台在智慧旅游区的应用前景研究.docx
- 2025年智能家居报告:人工智能伦理风险的法律责任与用户隐私保护.docx
- 2025年智能垃圾分类与垃圾分类信息化管理结合的可行性研究.docx
- 2025年智慧社区远程医疗诊断中心在基层医疗机构运营管理中的应用报告.docx
- 2025年智慧社区:老年活动广场智能化升级研究.docx
- 2025年智能社区新能源电动巡逻车市场应用前景分析报告.docx
- 2025年智能垃圾分类智慧监管平台在垃圾分类回收与处理中的智能化改造路径.docx
- 2025年本土半导体材料产业链国产化战略布局报告.docx
文档评论(0)