第十七章 平面图及图的着色
图论中的平面图与染色问题

图论中的平面图与染色问题图论是数学的一个分支,研究的是图的性质和图之间的关系。
在图论中,平面图与染色问题是重要的研究方向。
一、平面图平面图是指可以在平面上画出的图,其中任意两条边都不相交,任意两个顶点之间都只有一条边相连。
平面图可以用来描述许多实际问题,如地图、电路等。
在平面图中,有一个重要的定理,即欧拉定理。
欧拉定理是数学家欧拉在1736年提出并证明的,它给出了平面图中顶点数、边数和面数的关系。
根据欧拉定理,对于连通的平面图,满足公式:V - E + F = 2,其中V表示顶点数,E表示边数,F表示面数。
二、染色问题染色问题是图论中的一个经典问题,即给定一个图,如何用有限种颜色对图的各个顶点进行染色,使得相邻的顶点之间的颜色不相同。
这是一种常见的应用问题,如地图着色、课程表安排等。
在染色问题中,有一个重要的定理,即四色定理。
四色定理是染色问题中的一个著名定理,它指出任何平面图都可以用至多四种颜色对其顶点进行染色,使得相邻的顶点颜色不同。
三、平面图与染色问题的关系平面图与染色问题之间有着紧密的联系。
通过合理的染色方案,可以将一个平面图的顶点进行染色,满足相邻顶点颜色不同的要求。
同时,染色问题的解法与平面图的结构和性质也有关系。
在研究平面图与染色问题时,可以通过绘制平面图的平面嵌入图来分析和求解染色问题。
平面嵌入图是平面图在平面上的一种表示形式,可以把平面图的顶点和边绘制在平面上,形成一种更加直观的图形。
在解决染色问题时,可以借助平面嵌入图的结构和特性,通过一定的算法进行染色。
例如,可以利用贪心算法对顶点进行依次染色,确保相邻顶点染不同的颜色。
四、应用举例平面图与染色问题在实际中有广泛的应用。
一个典型的例子是地图着色问题。
在地图上,每个国家或地区可以用一个顶点表示,国家或地区之间的边表示它们的相邻关系。
通过对地图进行染色,可以实现相邻国家或地区的颜色不同,从而更加方便地辨认。
另一个例子是课程表安排问题。
第17章桥隧涵工程图

根 长
数
共
长
一
柱全
桥
总
质
量
1号
Ⅱ -Ⅱ
Ⅱ
净
6
Ⅱ
2号
-
1:60
焊
接
说
明
:
1.本
图
尺
寸
除
钢
筋
直
径
以
毫
米
(
焊
接
(cm)为
单
位
。
将构件化整为零,分别对各个构件独立进行配筋, 平
均
2.主
筋
N5和
N1、
N2接
头
均
采
用
对
素砼段
3.图
中
加
强
钢
筋
N4、
N5在
钢
筋
笼
施工时,再采用集零为整,将所有构件的钢筋配置好后, 焊
%
土木工程制图—桥隧涵工程图 制作:姚晓琴、林国华
(2)桩基一般构造图
防震挡块
H外
半立面 半平面
5×5
支座支承线
桥墩混凝土数量表 (单位:m )
盖梁(棱柱体) 方向 墩号 墩帽
柱
系梁
桩
H内
九峰
至
富岭
墩桥 中 身(圆柱体)
富岭 至
心
九峰
线
全桥合计
系梁(H1 长方体)
桩身(圆柱体)
说明: 1.盖梁构造见另图。 2.图中尺寸除注明外余均以厘米(cm)为单位。 3.图中比例 1:100。
说明: 1.本图尺寸均以厘米(cm)为单位,标高以米(m)为单位。 2. 本桥位于平曲线的主曲线内,R=1300m。 3. 钻孔灌注桩单桩容许承载力桥墩应大于 2840kN, 桥台应大于 1920kN。 4. 图中比例 1:300。
17,18平面图及图的着色

(3)设m=k(k≥1)时成立,当m=k+1时,对G进行如下讨论。 设 = 时成立, 进行如下讨论。 时成立 = 时 进行如下讨论 是树, 是非平凡的, 中至少有两片树叶。 若G是树,则G是非平凡的,因而 中至少有两片树叶。 是树 是非平凡的 因而G中至少有两片树叶 为树叶, 仍然是连通图, 设v为树叶,令G'=G-v,则G'仍然是连通图,且G'的边数 为树叶 , 仍然是连通图 的边数 m'=m-1=k,n'=n-1,r'=r。 , , 。 由假设可知 n'-m'+r'=2,式中n',m',r'分别为 的顶点数, ,式中 , , 分别为G'的顶点数, 分别为 的顶点数 边数和面数。 边数和面数。 于是n-m+r=(n'+1)-(m'+1)+r'=n'-m'+r'=2 于是 不是树, 中含圈。 若G不是树,则G中含圈。 不是树 中含圈 设边e在 中某个圈上 中某个圈上, 仍连通且m'=m-1=k 设边 在G中某个圈上,令G'=G-e,则G'仍连通且 , 仍连通且 , n'=n,r'=r-1。 , 。 由假设有 n'-m'+r'=2。 。 于是 n-m+r=n'-(m'+1)-(r'+1)=n'-m'+r'=2
定理16.9 对于具有k(k≥2)个连通分支的平面图 ,有 个连通分支的平面图G, 定理16.9 对于具有 个连通分支的平面图 n-m+r = k+1 其中n, 分别为G的顶点数 其中 ,m,r分别为 的顶点数,边数和面数。 分别为 的顶点数,边数和面数。
离散数学中的图的平面图与平面图的着色

图是离散数学中的重要概念,而平面图和平面图的着色是图论中的两个关键概念。
平面图是指在平面上绘制的图形,使得图中的边不会相交。
平面图的着色是指对平面图中的顶点进行染色,且相邻的顶点不会被染成相同的颜色。
平面图的概念最早由欧拉在1736年提出。
他发现,如果一个图是可以在平面上绘制而不会边相交的,那么这个图是一个平面图。
欧拉还引入了一个重要的公式,即欧拉定理,它描述了平面图中的顶点、边和面的关系:V - E + F = 2,其中V代表顶点数,E代表边数,F代表面数。
对于平面图的着色问题,四色定理是一个非常重要的结果。
四色定理指出,任何一个平面图,在不考虑多重边和自环的情况下,最多只需要使用四种颜色就能够对图的顶点进行染色,使得相邻的顶点不会有相同的颜色。
这个定理在1976年被由英国数学家Tomás Oliveira e Silva使用计算机辅助证明,被认为是图论史上的一大突破。
对于平面图的着色,有一种特殊的染色方法叫做四色标号。
四色标号是指对于任意一个平面图,都可以给图中的每个顶点赋予一个自然数,使得相邻的顶点之间的差值不超过3。
这种染色方法保证了相邻的顶点不会被染成相同的颜色,同时最多只需要使用四种颜色。
平面图的着色不仅在图论中有着重要的应用,同时在现实生活中也有很多实际的应用。
比如,考虑地图上的城市,如果我们希望将城市标记成不同的颜色,以表示它们的关系,那么可以利用平面图的着色来实现。
另外,平面图的着色还有很多其他的实际应用,比如在工程规划中用于规划电路的布线、在计算机科学中用于处理图像等等。
总之,离散数学中的图的平面图与平面图的着色是图论中的两个重要概念。
平面图是指在平面上绘制的图形,使得边不会相交;平面图的着色是指对平面图中的顶点进行染色,且相邻的顶点不会被染成相同的颜色。
四色定理是平面图着色的重要结果,它指出任意一个平面图可以使用最多四种颜色进行着色。
平面图的着色在现实生活中有着广泛的应用,是离散数学中的一个重要研究领域。
平面图

17.4 平面图的对偶图
实线边图为平面图,虚线边图为其对偶图。
17.4 平面图的对偶图
从定义不难看出G的对偶图G*有以下性质: G*是平面图,而且是平面嵌入。 G*是连通图。 若边 e 为 G中的环,则 G*与 e对应的边 e* 为桥,若 e 为桥, 则G*中与e对应的边e*为环。 在多数情况下,G*为多重图(含平行边的图)。
i 1 i 1 k k
(17.1)
由于每个Gi 有一个外部面,而G只有一个外部面,所以G的面数 k r ri k 1
i 1
于是,对(17.1)的两边同时求和得
2k (ni mi ri ) ni mi ri n m r k 1
17.3 平面图的判断
例17.1 证明彼得松图不是平面图。
证 明
将彼得松图顶点标顺序,见图 (1)所示。 在图中将边(a,f), (b,g), (c,h), (d,i), (e,j)收缩,
所得图为图 (2)所示,它是K5,
由定理17.1彼得松图,令 G'=G-{(j,g),(c,d)} G‘如图 (3)所示,易知它与K3,3同胚, 由定理17.15可知,G为非平面图。
17.4 平面图的对偶图
一、对偶图的定义 定义17.6 设G是某平面图的某个平面嵌入,构造G的对偶图 G*如下: 在G的面Ri中放置G*的顶点vi* 。
设e为G的任意一条边,
若 e 在 G 的面 Ri 与 Rj 的公共边界上,做 G* 的边 e* 与 e 相交, 且e*关联G*的位于Ri与Rj中的顶点vi*与vj*,即e*=(vi*,vj*) ,e*不与其它任何边相交。 若e为G中的桥且在面Ri的边界上,则e*是以Ri中G*的顶点 vi*为端点的环,即e*=(vi*,vi*)。
第十七章 平面图及图的着色

注意观察K5与K3,3的特点!
K5 的特点每三个点构成一个面! 而K3,3每四个点构成一个面
4.库拉托斯基定理判别法
定义
如果两个图G1和G2是同构的,或者通过反复插入或删
除度为2的结点,它们能变成同构的图,则称G1 和G2 在度为2的结
点内同构(同胚)。
K3,3与K5称为库拉托夫斯基(Kuratowski)图, 它们有
例5
利用定理判别图G是否非平面图。
解法一与 K3,3同胚
图G 去掉图G中边:{a,c},{a,d},{d,e},{b,e},与 K3,3同胚
可以去边吗?
边少时非平面图,边多时更不是平面图
解法二 去掉图中边{d,f}和{e,g},为K5
练习
1.用简单、直观判别法判断下图所给出的两个图a,b是否平面图。
3. 欧拉公式判断法
定义设G是一个连通平面图,G的边将G所在的平面划分成若干个区
面积有限的区域称为有限面。包围每个面的所有边构成的回路称为 面的边界。它的长度称为面的度(次数)(degree)。
域,每一个区域称为G的一个面。其中面积无限的区域称为无限面。
例3
定理 一个有限平面图,面的次数之和等于其边数的两倍. 证明:因为任何一条边,或者是二个面的公共边,或者在 一个面中作为边界被重复计算两次,故面的次数之和等于 其边数的两倍。 如右图中,
若v1 和v3 同属于一个G(RY)的连通分支,那么从v1到v3 必有一 条通路,其各顶点被红、黄两色相间着色。这条通路连同v0便构 成回路: C:v0, v1,…, v3, v0,
C把BW分成两部分,一部分在回路C之外,一部分在C之内。 于是,BW生成的G的子图也被分成了两个互不连通的部分,一 部分在C外,一部分在C内,这就使v2,v4 处于BW生成的G的子 图的两个不同连通分支,同上将v2所在分支作颜色对换,以便给 v0着上白色,完成对G的5-着色。
平面图与图的着色

2020/4/12
3
4.1 平面图
e6 F4
v 1 F1 e4 v4
e1
e5 F3
F2
e3
v2 e2 v3 (b)
F1= v1 e1 v2 e6 v4 e4 v1 边界为:{e1 , e6 , e4 }
F3= v1 e1 v2 e2 v3 e5 v1 边界为:{e1 , e2 , e5 }
F2= v1 e5 v3 e3 v4 e4 v1 边界为:{e5 , e3 , e4 }
2020/4/12
不是极大平面图
15
4.2 极大平面图
v1
v2
v5
v3
v4
2020/4/12
16
4.2 极大平面图
设有n个结点和m条边的极大平面图G具有以下性质: 性质1. G是连通的。 性质2. G不存在割边。 性质3. G的每个域的边界数都是3(极大平面图也称为
平面三角剖分)。 性质4. 3d=2m。
e3
i3 i4
dj
i5
e4
e1 e2 i2 i1
e3 i3i4
dj
i5
e4
2020/4/12
19
4.2 极大平面图
性质3. G的每个域的边界数都是3。
证明:这时,在域dj之外不可能存在边(i2, i4 ) 。 亦即i2和 i4 不相邻,但在域dj内加入边(i2, i4 )并 不影响G的平面性,得到矛盾。
F4= v2 e2 v3 e3 v4 e6 v2 边界为:{e2 , e3 , e6 }
2020/4/12
4
4.1 平面图
v1
e1e6FF13ve4F42e3e5 F4
v2
e2
F17平面图及图的着色

插入或消去 2 度顶点不影响图的可 平面性: 同胚的图有相同的可平面性.
u
插 入
u
† 就可平面性而言, 2 度顶点是“多余的”
w 消
点.
v去v
同胚: 同构或者反复插入或消去 2 度顶点后同构.
插入/insertion,消去/elimination, 同胚的/homeomorphic
081离散数学(60). W&M.
该面次数为6 悬挂边算两次
边界/boundary, 次数/degree
081离散数学(60). W&M. §17.1平面图的基本概念
定理 平面图中面的次数之和是边数的2倍: deg(R) = 2|E|. 证 每条边对次数的贡献都是 2: 割边,非割边.
R0 R1
R3 R2
面 次数
R0
§17.1平面图的基本概念
K5
第十七章 平面图及图的着色
§17.1平面图的基本概念 §17.2 欧拉公式 §17.3平面图的判断 §17.4平面图的对偶图 §17.5图中顶点的着色 §17.6地图的着色与平面图的点着色 §17.7边着色
081离散数学(60学时). W&M.
欧拉多面体公式 对任何一个凸多面体有
点的最小度为 . 由握手定理和定理17.12知,
整理得
n d(v) = 2m 2(3n – 6).
6 – 12/n 5. QED
†事实上, n 阶 (n 4) 简单平面图至少有 4 个顶点的 度不大于 5.
081离散数学(60). W&M.
§17.2 欧拉公式
maximal planar graph.
平面图的基本概念

5
极大平面图及性质
定义17.3 若在简单平面图G中的任意两个不相邻的顶点之间 加一条新边所得图为非平面图,则称G为极大平面图。
注意:若简单平面图G中没有不相邻顶点,G显然是极大平 面图,如K1(平凡图), K2, K3, K4都是极大平面图。
极大平面图的性质 定理17.4 极大平面图是连通的。n(n3)阶极大平面图中 不可能有割点和桥。 注意:平面图不一定连通,极大平面图一定是连通的。
定理17.5 设G为n(n3)阶简单连通的平面图,G为极大平 面图当且仅当G的每个面的次数均为3。
6
定理的应用
(1)
(2)
(3)
由定理17.5很容易判断,上图中,只有(3)为极大平面图。
7
极小非平面图
定义17.4 若在非平面图G中任意删除一条边,所得图为平面 图,则称G为极小非平面图。 由定义不难看出: (1) K5, K3,3都是极小非平面图 (2) 极小非平面图必为简单图
(3)
(4)
在图中,(2)是(1) 的平面嵌入,(4)是(3)的平面嵌入.
2
说明及简单结论
平面嵌入只是平面图的一种画法,上图中4个图都是平面图, 但只有(2)、(4)是平面嵌入。一般所谈平面图不一定是指平面 嵌入,但讨论某些性质时,可能会与图的画法有关,这时一 定是指平面嵌入。
结论: (1) K1~K4,G,若G为平面图,则G 也是平面图;若G 为非平
图中所示各图都是极小非平面图.
8
17.2 欧拉公式
定理17.6 设G为n阶m条边r个面的连通平面图,则nm+r=2 (此公式称为欧拉公式) 定理17.7 (欧拉公式的推广)设G是具有k(k2)个连通分 支的平面图,则nm+r=k+1
第十七章印度次大陆与东南亚的建筑解析

明确,几何性很强,显得更
多变化,更丰富。
阿瑜陀耶,?堵波
中古伊斯 兰的建筑
柬埔寨
柬埔寨的宗教建筑在早期同印度的一样,10~13世纪,形成了自己强 烈的特色,并且创造了东南亚最宏伟壮丽的建筑群
柬埔寨庙宇的典型形制是金刚宝座塔。在3层或者5层台基上建造5座 塔,中央一座,四角各一座。偶或只造中央一座。神堂就在塔里。纵 横两个轴线都完全对称。台基周边围一道柱廊,用石材建造,却借用 民间木结构的形式,有陡削的两坡起脊屋顶
第一节 谟亨约·达罗城
谟亨约.达罗城 1)城市的街道是按主导风向排列成南北向,东西则用次要道路联 系起来,非常整齐,拐角处都做成圆角. 2)城市下水道 城市经过规划,平面略呈长方形,面积 大约7.77平方公里。
中古伊斯 兰的建筑
摩亨佐 达罗城的总平面
谟亨约·达罗城(Mohej。—daro,公元前 三千纪)是其中最古老的一个,位于印 度河下游,现今巴基斯坦境内。
中古伊斯 兰的建筑
吴 哥 窟 总 平 面 图
吴哥窟最外一圈围墙东西长约1480m,南北约1280m,墙外有190m 宽、8m深的人工河。建筑群的中心是一座金刚宝座塔
中古伊斯 兰的建筑
局部剖面图
金刚宝座塔在两层宽大的平台上,每 层平台的边沿有一圈复廊,角上有亭 ,第二层平台的角亭的顶子高耸成塔 。每边有门,西面是正面,两层平台 的西面都有3座门,它们之间用田字形 的廊子连接。第一层平台的东面也有3 座门,其余的都只有1座门。这些门串 连成纵横两根主要轴线。平台很高, 角亭和大门之前都有长长的台阶,因 此,连接两层平台的门的廊子,分段 升高,在正面形成了重重叠叠的山墙 ,轮廓很丰富活泼。门和角亭的屋顶 是十字脊的,4个山墙面都有错落,接 应着廊子,这是柬埔寨木构建筑中常 用的手法,泰国建筑中也多有所见。 所有的廊子的顶子都是筒形拱的,因 此两坡起脊的屋面微呈外凸的弧形, 而与木构的不同。
图的平面图与图的着色

图的平面图与图的着色在图论中,图是由边和顶点组成的数学结构,用来描述事物之间的联系和关系。
图论是一门重要且广泛应用的数学分支,涉及到许多重要的概念和问题,其中包括图的平面图与图的着色。
一、图的平面图在图论中,平面图是指可以被画在平面上而不相交的图。
也就是说,图的边不能相交,且在同一个点上,至多只能有两条边相接。
平面图的研究起源于哥尼斯堡七桥问题。
经过数学家的研究,他们发现了一些重要的结论。
如Euler公式,它是平面图论的基础定理之一。
该定理表明,对于连通的平面图,其顶点数、边数和面数之间存在如下关系:v-e+f=2。
其中v代表顶点数,e代表边数,f代表面数。
除了Euler公式,平面图还有其他一些重要的性质,如四色定理。
四色定理指出,任何一个平面图都可以用不超过四种颜色进行着色,使得任意相邻的两个顶点使用不同的颜色。
二、图的着色图的着色是指给图的每个顶点分配一个颜色,使得相邻的顶点颜色不同。
图的着色问题是图论研究中的一个经典问题,在计算机科学和应用领域有广泛的应用。
在图的着色问题中,有两个重要的概念:色数和色法。
色数是指给图的顶点着色所需使用的最少颜色数目,可以用来衡量图的某种特性。
色法是指给图的所有顶点着色的具体方法。
图的着色问题是一个NP完全问题,也就是说,对于大规模的图,要找到一个最佳的着色方案是非常困难的。
因此,人们通常采用一些启发式算法或者近似算法来解决这个问题。
三、图的平面图与图的着色的应用图的平面图与图的着色在实际生活中有着广泛的应用。
在地图设计中,平面图的概念可以帮助我们设计出不相交的道路、铁路和河流等,使得地图更加直观和易于理解。
在电路设计中,平面图的概念可以帮助我们避免电路中的交叉线,从而简化电路的设计和布线。
在时间表安排中,图的着色可以帮助我们安排不同的任务和活动,使得它们之间没有冲突和重叠。
在频谱分配中,图的着色可以帮助我们将不同的无线电信号分配到不同的频段中,以避免信号之间的干扰。
《平面图的面着色》课件

平面图的表示方法
总结词
平面图的表示方法有多种,包括几何表 示法和代数表示法等。
VS
详细描述
平面图的表示方法有多种,其中最常用的 是几何表示法。几何表示法是将平面图中 的顶点和边用几何图形表示出来,例如点 表示顶点,线段表示边。此外,代数表示 法也是一种常用的表示方法,它将平面图 中的顶点和边用代数符号表示出来,通过 建立代数方程来表示平面图的性质和关系 。
03
平面图面着色的算法
贪心算法
总结词
贪心算法是一种在每一步选择中都采取当前最优的选择,从而希望导致结果是全 局最优的算法。
详细描述
在平面图面着色问题中,贪心算法会从图的某个顶点开始,尽可能地使用最小数 量的颜色对所有面进行着色,直到无法继续进行。贪心算法并不保证得到最优解 ,但在某些情况下可以获得接近最优解的结果。
电路板的设计
要点一
总结词
电路板的设计中,平面图面着色被广泛应用于标识不同功 能的电路区域,提高电路板的可维护性和可靠性。
要点二
详细描述
在电路板设计中,不同功能的电路区域通常会使用不同的 颜色进行标识。这样可以帮助工程师快速识别和定位特定 电路区域,提高电路板的可维护性和可靠性,减少错误和 故障的发生。
详细描述
平面图是指将图形放置在平面上,使得图形中的点、线、面 等元素在平面上有对应的表示。平面图通常由顶点和边组成 ,顶点表示图形中的点,边表示图形中的线段。
平面图的性质
总结词
平面图的性质包括连通性、无环性、简单性等。
详细描述
平面图具有一些重要的性质,这些性质决定了图形的表示方式和可操作性。其中,连通性是指平面图中的任意两 点都可以通过一条路径相连;无环性是指平面图中不存在环路,即不存在一条路径可以从起点回到起点;简单性 是指平面图中的边和顶点都没有额外的标记或属性。
17平面图及图的着色

17.1 平面图的基本概念一、平面图及平面嵌入定义17.1如果图G能以这样的方式画在曲面S上,即除顶点处外无边相交,则称G可嵌入曲面S.若G可嵌入平面,则称G是可平面图或平面图。
画出的无边相交的图称为G的平面嵌入。
无平面嵌入的图称为非平面图。
K1(平凡图),K2,K3,K4都是平面图,其中,K1,K2,K3本身就已经是平面嵌入,K4的平面嵌入为图17.1中(4)所示。
K5-e (K5删除任意一条边)也是平面图,它的平面嵌入可表示为图17.1中(5).完全二部图K1,n(n≥1), K2,n(n≥2),也都是平面图,其中标准画法画出的K1,n已经是平面嵌入,K2,3的平面嵌入可由图17.1中(6)给出。
图17.1中(1),(2),(3)分别为K4, K5-e, K2,3的标准画法。
请观看演示动画:(1)变(4)(2)变(5)(3)变(6)图17.1下文中所谈平面图,有时是指平面嵌入,有时则不是,这要看是研究平面图什么性质而定,请读者根据上下文加以区分。
当然有时也特别指出平面嵌入。
现在就应该指出,在研究平面图理论中居重要地位的两个图,这就是完全图K5和完全二部图K3,3,它们都不是平面图(将由定理17.10的推论得到证明)。
还有两个非常显然的事实,用下面定理给出。
定理17.1若图G是平面图,则G的任何子图都是平面图。
由定理17.1立刻可知,K n(n≤4)和K1,n(n≥1)的所有子图都是平面图。
定理17.2若图G是非平面图,则G的任何母图也都是非平面图。
推论K(n≥5)和K3,n(n≥3)都是非平面图。
n本推论由K5,K3,3不是平面图及定理17.2得证。
还有一个明显的事实也用定理给出。
定理17.3设G是平面图,则在G中加平行边或环后所得图还是平面图。
本定理说明平行边和环不影响图的平面性,因而在研究一个图是否为平面图时可不考虑平行边和环。
二、平面图的面与次数定义17.2设G是平面图(且已是平面嵌入),由G的边将G所在的平面划分成若干个区域,每个区域都称为G的一个面。
离散数学平面图及图的着色解析

二、平面图与对偶图的阶数、边数与面数之间的关系。 结论 设G*是连通平面图G的对偶图,n*、m*、r*和n、 m
、r分别为G*和G的顶点数、边数和面数,则 (1)n*= r (2)m*=m (3)r*=n (4)设G*的顶点v*i位于G的面Ri中,则dG*(vi *)=deg(Ri)
定理17.7 设G为n(n3) )阶简单连通的平面图,G为极大平面图 当且仅当G的每个面的次数均为3。
四、极小非平面图 定义17.4 若在非平面图G中任意删除一条边,所得图G为平面
图,则称G为极小非平面图。 由定义不难看出: K5, K3,3都是极小非平面图。 极小非平面图必为简单图。 例如:以下各图均为极小非平面图。
r ri k 1
i 1
于是,对(17.1)的两边同时求和得
k
k
k
k
2k (ni mi ri ) ni mi ri n m r k 1
i 1
i 1
i 1
i 1
经整理得 n-m+r = k+1。
2、 与欧拉公式有关的定理
定理17.10 设G为连通的平面图,且每个面的次数至少为 l(l<=3),则 G的边数与顶点数有如下关系:
第17章平面图及图的着第17章平面图及图的着江苏科技大学本科生必修课程计算机系本章的主要内容平面图的基本概念欧拉公式平面图的判断平面图的对偶图顶点着色及点色数地图的着色与平面图的点着色特别说明
江苏科技大学本科生必修课程
离散数学
第17章 平面图及图的着 色
计算机系 周塔
本章说明
《建筑制图》教材课件 第十七章《展开图》

第十七章展开图§17-1概述§17-2平面体表面的展开§17-3柱面的展开§17-4锥面的展开§17-5球面的近似展开§17-6变形接头的展开§17-1概述图示是一种除尘设备——冲洗除尘器。
它的外壳是用金属薄板制成圆台面、圆柱面、弯管和变形接头后,再用铆接、焊接或咬口连接,将它们组装起来。
在制造时,首先在金属薄板上,按尺寸绘出各个组成形体的表面展开图,然后下料加工。
展开时,不考虑板材的厚度。
在建筑工程中,也会遇到立体表面展开问题。
例如在制作某些混凝土构件模板时,就需要绘出构件表面的展开图,才能按图下料,拼装成构件模板。
把围成立体的表面,依次摊平在一个平面上,称为立体表面的展开。
立体表面展开后所得的平面图形称为展开图。
§17-1概述把围成立体的表面,依次摊平在一个平面上,称为立体表面的展开。
立体表面展开后所得的平面图形称为展开图。
§17-2 平面体表面的展开滚翻法§17-4 锥面的展开§17-4 锥面的展开球面属于不可展面,只能用近似方法展开。
常用方法有柳叶法和球带法两种。
柳叶法球带法以水平剖切平面将球面切割成两个球冠和若干球带,如图示。
然后将球冠近似展开为一圆,将各球带作为圆锥台面近似展开。
图中绘出四分之一球面的展开图。
§17-6 变形接头的展开。
离散数学中的图的平面图与图的染色

在离散数学中,图是一种用于描述对象之间关系的数学模型。
它由一组顶点和连接这些顶点的边组成。
图的理论在许多领域中都得到了广泛的应用,如计算机科学、物理学、社会学等。
本文将重点讨论图的平面图和图的染色。
首先,我们来了解一下图的平面图。
一个平面图是指可以画在二维平面上,使得边不相交的图。
换句话说,平面图可以在纸上用线条表示,且不会发生交叉。
简单来说,平面图就是可以被画在一个平面上而不会出现边交叉的图。
平面图的研究起源于欧拉在1736年所提出的著名的“柯尼斯堡七桥问题”。
欧拉通过研究柯尼斯堡的七座桥的布局问题,引入了欧拉定理,该定理指出:一个无向图是平面图,当且仅当它没有割边(割边是指当移除一个边时,图会被分为两个独立的部分)。
欧拉定理揭示了平面图的基本特性,为后来的研究提供了理论基础。
与平面图相关的是图的染色问题。
图的染色问题是指给图的每个顶点分配一个颜色,使得任意两个相邻顶点具有不同的颜色。
这个问题源于地图染色问题,即如何将地图上的区域用不同颜色进行染色,使得任意两个相邻区域颜色不同。
图的染色问题在实际应用中具有重要意义,如频道分配、时间表设计、DNA测序等。
对于一般的图,图的染色是一个NP-完全问题,很难找到有效的算法。
但是对于平面图,有一个非常重要的定理——四色定理。
四色定理指出:任何平面图都可以用四种颜色对顶点进行染色,使得任意两个相邻顶点具有不同的颜色。
四色定理是图论中的一个重要突破,它的证明历经了200多年的努力,在1976年由Kenneth Appel和Wolfgang Haken首次给出了一个检查过程,使用了计算机的辅助。
以“四色定理”为基础,图的染色问题在实际中也有许多应用。
例如,在地图着色中,四色定理告诉我们任何地图只需要用四种颜色就可以在每两个相邻区域之间使用不同的颜色进行染色。
这在地理信息系统中有着广泛的应用。
另一个例子是频道分配,可以使用图的染色算法来确保无线电频段之间没有干扰。
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
若e为G中的桥且在面Ri 的边界上,则e*是以Ri 中G*的顶点v*i为端点的环,即e*=(v*i,v*i).
下图实线边图为平面图,虚线边图为其对偶图.
练习:求下图的对偶图
二、平面图与对偶图的阶数、边数与面数之间 的关系. 定理17.17 设G*是连通平面图G的对偶图,n*, m*, r*和n, m, r分别为G*和G的顶点数、边数和 面数,则 (1)n*= r (2)m*=m (3)r*=n ( 4 ) 设 G* 的 顶 点 v*i 位 于 G 的 面 Ri 中 , 则 dG*(v*i)=deg(Ri)
例:
图(2),(3)都是图(1)的平面嵌入,图(2)中, R0)=3,图(3)中,deg(R0) =4,它们虽然形 状不同,但都与(1)同构。
定理17.4 平面图各面次数之和等于边数的两倍.
证明: 因为任何一条边,或者是两个面的公 共边,或者在一个面中作为边界被重复计算两 次,故面的次数之和等于其边数的两倍。
R2的边界:v1v2v3v1 ,deg(R2)=3 ;
R0 的边界为复杂回路: v1v2v3v4v5v6v5v4v1, deg(R0)=8 。
注意: (1) 一个平面图的无限面只有一个。 (2) 同一个平面图可以有不同形状的平面 嵌入 (互相同构)。 (3) 不同的平面嵌入可能将某个有限面变 成无限面,而将无限面变成有限面。
定理17.12:设G是n(n≥3)阶m条边的简单平面 图,则m≤3n-6
证明:设G有k个连通分支。若G为树或森林, 因为(3n-6)-(n-k)=2n-6+k ≥0,所以m=n-k ≤3n-6 (n≥3)。若G不是树也不是森林,则G中必含圈, 又因为G为简单图,所以各圈的长度均大于或 等于3,因各面的次数至少为l,又
1、韦尔奇· 鲍威尔法(Welch Powell)
⑴将图G的顶点按照度数的递减次序进行排列。 (这种排列可能并不是唯一的,因为有些点有 相同的度数)。 ⑵用第一种颜色对第一点进行着色,并且按排 列次序,对前面着色点不邻接的每一点着上同 样的颜色。 ⑶用第二种颜色对尚未着色的点重复⑵,用第 三种颜色继续这种做法,直到所有的点全部着 上色为止。
三、自对偶图
定义17.8 设G*是平面图G的对偶图,若G*G,则 称G为自对偶图。
四、着色问题
从对偶图的概念,可以看到,对于地图的着色问题, 可以归纳为对于平面图的顶点着色问题,因此四色 问题可以归结为要证明对于任何一个平面图,一定 可以用四种颜色,对于它的顶点进行着色,使得邻 接的顶点都有不同的颜色。 着色数 x(G):对图G着色时,需要的最少颜色数。
3 10 (5 2 ) 9 3 2
这是个矛盾,所以K5不是平面图. 同理,若K3,3 是平面图,由于K3,3 中圈的长度 l≥4,所以边数9应满足
4 9 ( 6 2) 8 42
这是个矛盾,所以K3,3不是平面图.
定理17.11 :设G是有k个连通分支的平面图, 各面的次数至少为l(l≥3),则边数m与结点数n 应满足如下关系:
l 2
证明:由于平面图各面次数之和等于边数的两 倍,所以 2m r deg( R ) l r (1)
i 1
i
由欧拉公式可知 r=2+m-n (2) 将 (2)代入(1)得2m≥l(2+m-n) 整理得:
l m ( n 2) l 2
推论 K5, K3,3不是平面图.
证明:若K5是平面图,由于K5中无环和平行边, 所以每个面的次数均大于或等于l≥3,根据定理 17.10可知边数10应满足
l m ( n k 1) l 2
证明:由于平面图各面次数之和等于边数的两 r 倍,所以 2m deg( R ) l r (1)
i 1
i
由欧拉公式的推广可知 r=k+1+m-n (2) 将 (2)代入(1)得2m≥l(k+1+m-n) 整理得:
l m ( n k 1) l 2
例: 用韦尔奇· 鲍威尔法对下图着色
解: ⑴根据递减次序排列各点A5,A3,A7,A1, A2,A4,A6,A8。 ⑵第一种颜色对A5着色,并对不相邻的结点A1 也着第一种颜色。 ⑶对A3结点和它不相邻的结点A4,A8着第二种 颜色。 ⑷对A7结点和它不相邻的结点A2,A6着第三种 颜色。 因此图G是三色的。所以x(G)=3。
(2)无限面或外部面:(可用R0表示)面积无限的面。
(3)有限面或内部面(可用R1, R2, …, Rk等表示):面 积有限的面 。 (4)面Ri的边界:包围Ri的回路组。
(5)面Ri的次数:Ri边界的长度,用deg(Ri)表示 。
例:
v1 R1
v4
v6 R0
R2
v2 v3
v5
此平面图,共有3 个面:R0,R1,R2 ; R1 的边界: v1v3v4v1,deg(R1) =3;
定义:设G为简单平面图,若在G的任意不相 邻的结点u,v之间加边(u,v),所得图为非平 面图,则称G为极大平面图。 例:K1,K2,K3,K4,K5-e都是极大平面图。 定理17.5:极大平面图是连通的。 定理17.6:设G为n(n≥3)阶极大平面图,则G 中不可能存在割点和桥。 定理17.7:设G为n(n≥3)阶简单连通的平面图, 极大平面图当且仅当G的每个面的次数均为3。
(2)是(1)的平面嵌入;
(1)
(2)
例:
(1)即K4 图,(2)是(1)的平面嵌入,故(1)是平面图. (4)是(3)的平面嵌入,故(3)是平面图。 (5)即K5 图,无论怎样画,都不可能将交叉的边 全去掉,(6)是(5)的一种画法。 (7)即K3,3 图,无论怎样画,也不可能将交叉的 边全去掉;(8)是(7)的一种画法。 故 K5和 K3,3都不是平面图。 注意: 有些图形从表面上看有几条边是相交的,但不 能就此肯定它不是平面图。
若G不是树,则G中含有圈,设边e在G的某个圈 上,令G’=G-e,则G’仍连通,且m’=m-1=k, 由归纳假设有n’-m’+r’=2,而n’=n,r’=r-1,于 是 n-m+r=n’-(m’+1)+(r’+1)= n’-m’+r’=2
定理17.9 (欧拉公式的推广)设G是具有k(k2) 个连通分支的平面图,则nm+r=k+1 。 证明:设G的连通分支分别为G1,G2,…,Gk ,并 设 Gi 的 结 点 数 , 边 数 和 面 数 分 别 为 ni,mi,ri,i=1,2,…,k。由欧拉公式可知 ni-mi+ri=2 (1) 又m=∑mi, n=∑ni,由于每个Gi有一个外部面, 而G只有一个外部面,所以
若G是树,则G是非平凡的,因而G中至少有2 片树叶,设v为树叶,令G’=G-v,则G’仍然连 通,且G’的边数m’=m-1=k,由归纳假设可知 n’-m’+r’=2 ( n,m’,r ‘分别为G’的结点数、 边数和面数),所以 n-m+r=(n’+1)-(m’+1)+r’= n’-m’+r’=2 。
第十七章 平面图及图的着色
在一张纸上画几何模型时常常会发 现,不仅需要允许各边在结点处相交, 而且还应该允许各边在某些非结点处相 交。但是,有些图形是不允许边交叉的, 例如大家熟悉的印制电路,除了结点外, 它的导线是不允许交叉的,这就是本章 要学习的平面图。
本章的主要内容
平面图的基本概念
欧拉公式
2、相关结论
定理:对于n个结点的完全图Kn,有 x(Kn)=n。 定理:任意平面图G至多是5-色的。
例:某大学计算机专业三年级学生总共 选n门选修课,期末考试前必须提前将这 n门选修课程考完。要求每天每人在下午 考一门课,问至少需要几天考完这n门课? 若设n=5,并且课程1与2,1与3,1与4, 2与5,3与4,3与5均有人同时选,问至 少需要几天考完这5门课程?
f
g
h
证明:在左图中将边(a,f), b (b,g),(c,h),(d,i),(e,j)收缩 所得的图为K5,由于K5不是 平面图,所以彼得松图不是 平面图。
c
17.2 图的着色
问题的提出:这个问题最早起源于地图的着色,一个 地图的相邻的两个国家着于不同的颜色,那么最少需 用多少种颜色?一百多年前,英国格色里(Guthrie)提 出了用四种颜色即可对地图着色的猜想,1879年肯普 (Kempe)提出了这个猜想的第一个证明,但到1890年希 伍德(Hewood)发现肯普的证明是错误的,但他指出肯 普的方法,虽不能证明地图着色用四种颜色就够了, 但可证明用五种颜色就够了。此后四色猜想一直成为 数学家感兴趣而未能解决的难题。直到1976年美国数 学家阿佩尔和黑肯宣布:他们用电子计算机证明了四 色猜想是成立的。所以从1976年以后就把四色猜想这 个名词改为“四色定理”了。
平面图的判断
平面图的对偶图 图的着色
17.1 平面图
一、关于平面图的一些基本概念
1. 平面图的定义(定义17.1 ) (2)G是可平面图或平面图——G可嵌入平面。 (3)平面嵌入——画出的无边相交的平面图。
(1)G可嵌入曲面S:若能将G除顶点外无边相交地画在S上。
(4)非平面图——无平面嵌入的无向图。
4、两个判定定理 定理17.15 G是平面图 G中不含与K5或K3,3同胚 的子图. 定理17.16 G是平面图 G中无可收缩为K5或K3,3 的子图
例: 证明下图所示二图均为非平面图.
两个图的子图如下,分别与K3,3, K5同胚.
例:证明彼得松(Prterson)图不是平面图。
a
e
j i d
l 2 1 l2 l2
在l=3时达到最大值3,由定理17.11知
l m (n k 1) 3( n 2) 3n 6 l 2
定理17.13:设G是n(n≥3)阶m条边的极大平 面图,则m=3n-6。