1、16.4 平面图平面图 平面图与平面嵌入平面图与平面嵌入平面图的面平面图的面极大平面图与极小非平面图极大平面图与极小非平面图欧拉公式欧拉公式平面图的对偶图平面图的对偶图地图着色与四色定理地图着色与四色定理 2平面图和平面嵌入平面图和平面嵌入 定义定义 如果能将图如果能将图G除顶点外边不相交地画在平面上除顶点外边不相交地画在平面上,则称则称G是是平面图平面图.这个画出的无边相交的图称作这个画出的无边相交的图称作G的的平面嵌入平面嵌入.没有平面嵌入的图称作没有平面嵌入的图称作非平面图非平面图.例如例如 下图中下图中(1)(4)是平面图是平面图,(2)是是(1)的平面嵌入，的平面嵌入，(4)是是(3
2、)的平面嵌入的平面嵌入.(5)是非平面图是非平面图.3平面图和平面嵌入平面图和平面嵌入(续续)今后称一个图是平面图今后称一个图是平面图,可以是指定义中的平面图可以是指定义中的平面图,又可以又可以是指平面嵌入是指平面嵌入,视当时的情况而定视当时的情况而定.当讨论的问题与图的画当讨论的问题与图的画法有关时法有关时,是指平面嵌入是指平面嵌入.K5和和K3,3是非平面图是非平面图设设G G,若若G为平面图为平面图,则则G 也是也是 平面图平面图;若若G 为非平面图为非平面图,则则G也也 是非平面图是非平面图.Kn(n 5),Kn,m(n,m 3)都是非平面图都是非平面图.平行边与环不影响图的平面性平行
3、边与环不影响图的平面性.4平面图的面与次数平面图的面与次数设设G是一个平面嵌入是一个平面嵌入G的面的面:由由G的边将平面划分成的每一个区域的边将平面划分成的每一个区域无限面无限面(外部面外部面):面积无限的面面积无限的面,用用R0表示表示有限面有限面(内部面内部面):面积有限的面面积有限的面,用用R1,R2,Rk表示表示 面面Ri的边界的边界:包围包围Ri的所有边构成的回路组的所有边构成的回路组面面Ri的次数的次数:Ri边界的长度，用边界的长度，用deg(Ri)表示表示 定理定理 平面图各面的次数之和等于边数的平面图各面的次数之和等于边数的2倍倍.证证 每条边可能在两个面的公共边界上，也可能只
4、在一个面每条边可能在两个面的公共边界上，也可能只在一个面的边界上的边界上.前者前者,在每个面的边界上这条边只出现一次在每个面的边界上这条边只出现一次,计算计算两次两次.后者后者,它在这个面的边界上出现它在这个面的边界上出现2次次,也计算两次也计算两次.5平面图的面与次数平面图的面与次数(续续)例例1 右图有右图有4个面个面,deg(R1)=1,deg(R2)=3,deg(R3)=2,deg(R0)=8.例例2 左边左边2个图是同一个平面个图是同一个平面图的平面嵌入图的平面嵌入.R1在在(1)中是中是外部面外部面,在在(2)中是内部面中是内部面;R2在在(1)中是内部面中是内部面,在在(2)中是
5、中是外部面外部面.其实其实,在平面嵌入中在平面嵌入中可把任何面作为外部面可把任何面作为外部面.6极大平面图极大平面图 定义定义 若若G是简单平面图是简单平面图,并且在任意两个不相邻的顶点之并且在任意两个不相邻的顶点之间加一条新边所得图为非平面图间加一条新边所得图为非平面图,则称则称G为为极大平面图极大平面图.例如例如,K5,K3,3若删去一条边是极大平面图若删去一条边是极大平面图.K1,K2,K3,K4都是极大平面图都是极大平面图(它们已无不相邻顶点它们已无不相邻顶点).极大平面图必连通极大平面图必连通.阶数大于等于阶数大于等于3的极大平面图中不可能有割点和桥的极大平面图中不可能有割点和桥.任
6、何任何n(n 4)阶极大平面图阶极大平面图G均有均有(G)3.定理定理 n(n 3)阶简单平面图是极大平面图当且仅当它连通且阶简单平面图是极大平面图当且仅当它连通且每个面的次数都为每个面的次数都为3.7实例实例例例 是否是极大平面图是否是极大平面图?不是不是不是不是是是8极小非平面图极小非平面图 定义定义 若若G是非平面图是非平面图,并且任意删除一条边所得图并且任意删除一条边所得图都是平面图都是平面图,则称则称G为为极小非平面图极小非平面图.极小非平面图必为简单图极小非平面图必为简单图例如例如,K5,K3,3是极小非平面图是极小非平面图9欧拉公式欧拉公式 定理定理(欧拉公式欧拉公式)设设G为为
7、n阶阶m条边条边r个面的连通平面图个面的连通平面图,则则 n m+r=2.证证 对边数对边数m做归纳证明做归纳证明.m=0,G为平凡图为平凡图,结论为真结论为真.设设m=k(k 0)结论为真结论为真,m=k+1时分情况讨论如下时分情况讨论如下:(1)若若G中有一个中有一个1度顶点度顶点v,则则G =G-v 连通连通,有有n-1个顶点个顶点,k条边和条边和r个面个面.由由归纳假设归纳假设,(n-1)-k+r=2,即即n-(k+1)+r=2,得证得证m=k+1时结论成立时结论成立.(2)否则否则,G中必有圈中必有圈.删除一个圈上的一条边删除一个圈上的一条边,记作记作G .G 连通连通,有有n个顶点
8、个顶点,k条边和条边和r-1个面个面.由由归纳假设归纳假设,n-k+(r-1)=2,即即n-(k+1)+r=2,得证得证m=k+1时结论也成立时结论也成立.10欧拉公式欧拉公式(续续)推论推论(欧拉公式的推广欧拉公式的推广)设设G是有是有 p(p 2)个连通分支个连通分支的平面图的平面图,则则 n m+r=p+1证证 设第设第 i 个连通分支有个连通分支有 ni个顶点个顶点,mi 条边和条边和 ri 个面个面.对各连通分支用欧拉公式对各连通分支用欧拉公式,ni mi+ri=2,i=1,2,p求和并注意求和并注意 r=r1+rp+p 1,即得即得 n m+r=p+111平面图的性质平面图的性质)
9、2(2 nllm定理定理 设设G为为n阶阶m条边的连通平面图条边的连通平面图,每个面的次数不小于每个面的次数不小于l(l 3),则则 设设G为有为有 p(p 2)个连通分支的平面图个连通分支的平面图,且每个面的次数不且每个面的次数不小于小于l(l 3),则则证证 由各面次数之和等于边数的由各面次数之和等于边数的2倍及欧拉公式得倍及欧拉公式得 2m lr=l(2+m-n)可解得所需结论可解得所需结论.对对 p(p 2)个连通分支的情况类似可证个连通分支的情况类似可证.)1(2 pnllm12平面图的性质平面图的性质(续续)推论推论 K5 和和 K3,3不是平面图不是平面图.证证 用反证法用反证法
10、,假设它们是平面图假设它们是平面图,则则 K5:n=5,m=10,l=3 矛盾矛盾.K3,3:n=6,m=9,l=4 矛盾矛盾.K5K3,39)25(23310 8)26(2449 13同胚与收缩同胚与收缩 消去消去2度顶点度顶点v 如上图从如上图从(1)到到(2)插入插入2度顶点度顶点v 如上图从如上图从(2)到到(1)G1与与G2同胚同胚:G1与与G2同构同构,或或经过反复插入、或消去经过反复插入、或消去2度顶度顶点后同构点后同构收缩边收缩边e 如下图从如下图从(1)到到(2)14库拉图斯基定理库拉图斯基定理定理定理 G是平面图是平面图G中不含与中不含与K5同胚的子图同胚的子图,也不也不含
11、与含与K3,3同胚的子图同胚的子图.定理定理 G是平面图是平面图G中无可收缩为中无可收缩为K5的子图的子图,也无也无可收缩为可收缩为K3,3的子图的子图.15非平面图证明非平面图证明例例 证明下述证明下述2个图均为非平面图个图均为非平面图.收缩收缩2条边条边 收缩收缩2条边条边 K3,3取子图取子图K5取子图取子图16平面图的对偶图平面图的对偶图 定义定义 设平面图设平面图G,有有n个顶点个顶点,m条边和条边和r个面个面,G的的对偶图对偶图G*=如下：如下：在在G的每一个面的每一个面Ri中任取一个点中任取一个点vi*作为作为G*的顶点的顶点,V*=vi*|i=1,2,r.对对G每一条边每一条边
12、ek,若若ek在在G的面的面Ri与与Rj的公共边界上的公共边界上,则作边则作边ek*=(vi*,vj*),且与且与ek相交相交;若若ek为为G中的桥且在中的桥且在面面Ri的边界上的边界上,则作环则作环ek*=(vi*,vi*).E*=ek*|k=1,2,m.17平面图的对偶图的实例平面图的对偶图的实例例例 黑色实线为原平面图黑色实线为原平面图,红色虚线为其对偶图红色虚线为其对偶图 18平面图的对偶图的性质平面图的对偶图的性质性质：性质：对偶图是平面图，而且是平面嵌入对偶图是平面图，而且是平面嵌入.对偶图是连通图对偶图是连通图若边若边e为为G中的环，则中的环，则G*与与e对应的边对应的边e*为桥
13、为桥;若若e为桥，则为桥，则G*中与中与e对应的边对应的边e*为环为环.同构的平面图的对偶图不一定同构同构的平面图的对偶图不一定同构.上页两个平面图同构上页两个平面图同构,它们的对偶图不同构它们的对偶图不同构.19地图地图:连通无桥平面图的平面嵌入连通无桥平面图的平面嵌入,每一个面是一个每一个面是一个国家国家.若两个国家有公共边界若两个国家有公共边界,则称它们是相邻的则称它们是相邻的.地图着色地图着色(面着色面着色):对地图的每个国家涂一种颜色，对地图的每个国家涂一种颜色，使相邻的国家涂不同的颜色使相邻的国家涂不同的颜色.地图着色问题地图着色问题:用尽可能少的颜色给地图着色用尽可能少的颜色给地
14、图着色.地图着色可以转化成平面图的点着色地图着色可以转化成平面图的点着色.当当G中无桥时中无桥时,G*中无环中无环.G的面与的面与G*的顶点对应的顶点对应,且且G的两个面相的两个面相邻当且仅当邻当且仅当G*对应的两个顶点相邻对应的两个顶点相邻,从而从而G的面着色的面着色等同于等同于G*的点着色的点着色.地图着色地图着色地图着色与平面图的点着色地图着色与平面图的点着色20例例红红红红兰兰兰兰绿绿绿绿绿绿绿绿绿绿绿绿黄黄黄黄黄黄黄黄黄黄黄黄四色定理四色定理四色猜想四色猜想(100多年前多年前):任何地图都可以用任何地图都可以用4种颜色着种颜色着色色,即任何平面图都是即任何平面图都是4-可着色的可着色的.1890年希伍德证明五色定理年希伍德证明五色定理:任何平面图都是任何平面图都是5-可着可着色的色的.1976年美国数学家阿佩尔和黑肯证明年美国数学家阿佩尔和黑肯证明,如果四色猜想如果四色猜想不成立不成立,则存在一个反例则存在一个反例,这个反例大约有这个反例大约有2000种可种可能能(后来有人简化到后来有人简化到600多种多种),他们用计算机分析了他们用计算机分析了所有这些可能所有这些可能,都没有导致反例都没有导致反例.四色定理四色定理 任何平面图都是任何平面图都是4-可着色的可着色的.21
