平面图.ppt

平面图.ppt

《平面图.ppt》由会员分享，可在线阅读，更多相关《平面图.ppt（47页珍藏版）》请在冰豆网上搜索。

第第1717章章平面图平面图离离散散数数学学中国地质大学本科生课程中国地质大学本科生课程本章说明本章说明本章说明本章说明q本章的主要内容本章的主要内容平面图的基本概念平面图的基本概念欧拉公式欧拉公式平面图的判断平面图的判断平面图的对偶图平面图的对偶图本章所涉及到的图均指无向图。

本章所涉及到的图均指无向图。

q17.117.1平面图的基本概念平面图的基本概念q17.217.2欧拉公式欧拉公式q17.317.3平面图的判断平面图的判断q17.417.4平面图的对偶图平面图的对偶图q本章小结本章小结q习习题题q作作业业17.117.1平面图的基本概念平面图的基本概念平面图的基本概念平面图的基本概念一、关于平面图的一些基本概念一、关于平面图的一些基本概念1、平面图的定义平面图的定义定义定义17.117.1qG可可嵌嵌入入曲曲面面S如如果果图图G能能以以这这样样的的方方式式画画在在曲曲面面S上上，即除顶点处外无边相交。

即除顶点处外无边相交。

qG是可平面图或平面图是可平面图或平面图若若G可嵌入平面可嵌入平面。

qG的平面嵌入的平面嵌入画出的无边相交的平面图。

画出的无边相交的平面图。

q非平面图非平面图无平面嵌入的图。

无平面嵌入的图。

（2）是（是

（1）的平面嵌入，（）的平面嵌入，（4）是（）是（3）的平面嵌入。

）的平面嵌入。

2、几点说明及一些简单结论几点说明及一些简单结论q一一般般所所谈谈平平面面图图不不一一定定是是指指平平面面嵌嵌入入，但但讨讨论论某某些些性性质质时时，一定是指平面嵌入。

一定是指平面嵌入。

qK5和和K3,3都不是平面图。

都不是平面图。

q定理定理17.117.1设设GG，若若G为平面图，则为平面图，则G也是平面图。

也是平面图。

q设设GG，若若G为非平面图，则为非平面图，则G也是非平面图。

也是非平面图。

q由定理可知，由定理可知，Kn（n5）和和K3,n（n3）都是非平面图。

都是非平面图。

q定理定理17.17.22若若G为平面图，则在为平面图，则在G中加平行边或环所得图还是中加平行边或环所得图还是平面图。

平面图。

即平行边和环不影响图的平面性。

即平行边和环不影响图的平面性。

二、平面图的面与次数（针对平面图的平面嵌入）二、平面图的面与次数（针对平面图的平面嵌入）1、定义定义定义定义17.217.2设设G是平面图，是平面图，qG的面的面由由G的边将的边将G所在的平面划分成的每一个区域。

所在的平面划分成的每一个区域。

q无限面（外部面）无限面（外部面）面积无限的面，记作面积无限的面，记作R0。

q有限面（内部面）有限面（内部面）面积有限的面面积有限的面，记作，记作R1,R2,Rk。

q面面Ri的边界的边界包围面包围面Ri的所有边组成的回路组。

的所有边组成的回路组。

q面面Ri的次数的次数Ri边界的长度，记作边界的长度，记作deg（Ri）。

2、几点说明、几点说明q若若平平面面图图G有有k个个面面，可可笼笼统统地地用用R1,R2,Rk表表示示，不不需需要指出外部面。

要指出外部面。

q回回路路组组是是指指：

边边界界可可能能是是初初级级回回路路（圈圈），可可能能是是简简单单回回路路，也也可可能能是是复复杂杂回回路路。

特特别别地地，还还可可能能是是非非连连通通的的回回路路之并。

之并。

平面图有平面图有4个面，个面，deg（R1）=1,deg（R2）=3,deg（R3）=2,deg（R0）=8。

R1R2R3R0定理定理17.17.33平面图平面图G中所有面的次数之和等于边数中所有面的次数之和等于边数m的两倍，即的两倍，即本定理中所说平面图是指平面嵌入。

本定理中所说平面图是指平面嵌入。

eE（G），当当e为面为面Ri和和Rj（ij）的公共边界上的边时，在计算的公共边界上的边时，在计算Ri和和Rj的次的次数时，数时，e各提供各提供1。

当当e只在某一个面的边界上出现时，则在计算该面的次数时，只在某一个面的边界上出现时，则在计算该面的次数时，e提供提供2。

于是每条边在计算总次数时，都提供于是每条边在计算总次数时，都提供2，因而，因而deg（Ri）=2m。

证证明明三、极大平面图三、极大平面图1、定义定义定定义义17.317.3若若在在简简单单平平面面图图G中中的的任任意意两两个个不不相相邻邻的的顶顶点点之之间加一条新边所得图为非平面图，则称间加一条新边所得图为非平面图，则称G为极大平面图。

为极大平面图。

注注意意：

若若简简单单平平面面图图G中中已已无无不不相相邻邻顶顶点点，G显显然然是是极极大大平平面图，如面图，如K1（平凡图）平凡图）,K2,K3,K4都是极大平面图。

都是极大平面图。

2、极大平面图的主要性质、极大平面图的主要性质定定理理17.17.44极极大大平平面面图图是是连连通通的的，并并且且n（n3）阶阶极极大大平平面面图图中不可能有割点和桥。

中不可能有割点和桥。

定定理理17.17.55设设G为为n（n3）阶阶简简单单连连通通的的平平面面图图，G为为极极大大平平面面图当且仅当图当且仅当G的每个面的次数均为的每个面的次数均为3。

q本节只证明必要性，即本节只证明必要性，即设设G为为n（n3）阶简单连通的平面图，阶简单连通的平面图，G为极大平面图，则为极大平面图，则G的每个面的次数均为的每个面的次数均为3。

q由于由于n3,又又G必为简单平面图，可知，必为简单平面图，可知，G每个面的次数均每个面的次数均3。

q因因为为G为为平平面面图图，又又为为极极大大平平面面图图。

可可证证G不不可可能能存存在在次次数数3的面。

的面。

证证明明思思路路假设存在面假设存在面Ri的次数的次数deg（Ri）=s4，如图所示。

如图所示。

在在G中，若中，若v1与与v3不相邻，在不相邻，在Ri内加边内加边（v1,v3）不破坏平面性，这不破坏平面性，这与与G是极大平面图矛盾，因而是极大平面图矛盾，因而v1与与v3必相邻，由于必相邻，由于Ri的存在，边的存在，边（v1,v3）必在必在Ri外。

外。

类似地，类似地，v2与与v4也必相邻，且边也必相邻，且边（v2,v4）也必在也必在Ri外部，于是必外部，于是必产生产生（v1,v3）与与（v2,v4）相交于相交于Ri的外部，这又矛盾于的外部，这又矛盾于G是平面图，是平面图，所以必有所以必有s3，即即G中不存在次数大于或等于中不存在次数大于或等于4的面，所以的面，所以G的的每个面为每个面为3条边所围，也就是各面次数均为条边所围，也就是各面次数均为3。

sS-1只有右边的图为极大平面图。

只有右边的图为极大平面图。

因为只有该图每个面的次数都为因为只有该图每个面的次数都为3。

四、极小非平面图四、极小非平面图定定义义17.417.4若若在在非非平平面面图图G中中任任意意删删除除一一条条边边，所所得得图图G为为平平面面图，则称图，则称G为极小非平面图。

为极小非平面图。

由定义不难看出：

由定义不难看出：

qK5,K3,3都是极小非平面图。

都是极小非平面图。

q极小非平面图必为简单图。

极小非平面图必为简单图。

例如：

例如：

以下各图均为极小非平面图。

以下各图均为极小非平面图。

小节结束小节结束17.217.217.217.2欧拉公式欧拉公式欧拉公式欧拉公式一、欧拉公式相关定理一、欧拉公式相关定理1、欧拉公式欧拉公式定理定理17.17.66对于任意的连通的平面图对于任意的连通的平面图G，有有n-m+r=2其中，其中，n、m、r分别为分别为G的顶点数、边数和面数。

的顶点数、边数和面数。

证明证明对边数对边数m作归纳法。

作归纳法。

（1）m0时，由于时，由于G为连通图，所以为连通图，所以G只能是由一个孤立顶只能是由一个孤立顶点组成的平凡图，即点组成的平凡图，即n=1，m=0，r=1，结论显然成立。

结论显然成立。

（2）m1时，由于时，由于G为连通图，所以为连通图，所以n=2，m=1，r=1，结结论显然成立。

论显然成立。

（3）设设mk（k1）时成立，当时成立，当mk+1时，对时，对G进行如下讨论。

进行如下讨论。

q若若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=2q若若G不是树，则不是树，则G中含圈。

中含圈。

设边设边e在在G中某个圈上，令中某个圈上，令G=G-e，则则G仍连通且仍连通且m=m-1=k，n=n，r=r-1。

由假设有由假设有n-m+r=2。

于是于是n-m+r=n-（m+1）-（r+1）=n-m+r=2定理定理17.17.77对于具有对于具有k（k2）个连通分支的平面图个连通分支的平面图G，有有n-m+r=k+1其中其中n，m，r分别为分别为G的顶点数，边数和面数。

的顶点数，边数和面数。

证明证明设设G的连通分支分别为的连通分支分别为G1、G2、Gk，并设并设Gi的顶点数、边的顶点数、边数、面数分别为数、面数分别为ni、mi、ri、i=1，2，k。

由欧拉公式可知由欧拉公式可知:

ni-mi+ri=2，i=1，2，k（17.1）易知，易知，由于每个由于每个Gi有一个外部面，而有一个外部面，而G只有一个外部面，所以只有一个外部面，所以G的面数的面数于是，于是，对对（17.1）的两边同时求和得的两边同时求和得经整理得经整理得n-m+r=k+1。

2、与欧拉公式有关的定理与欧拉公式有关的定理定定理理17.17.88设设G为为连连通通的的平平面面图图，且且每每个个面面的的次次数数至至少少为为l（l3），则则G的边数与顶点数有如下关系：

的边数与顶点数有如下关系：

由定理由定理17.3（面的次数之和等于边数的（面的次数之和等于边数的2倍）及欧拉公式得倍）及欧拉公式得证明证明解得解得推论推论K5,K3,3不是平面图。

不是平面图。

证明证明q若若K5是平面图，由于是平面图，由于K5中无环和平行边，所以每个面的次数中无环和平行边，所以每个面的次数均大于或等于均大于或等于l3，由由定理定理17.8可知边数可知边数10应满足应满足10（3/（3-2）（5-2）=9这是个矛盾，所以这是个矛盾，所以K5不是平面图。

不是平面图。

q若若K3,3是平面图，由于是平面图，由于K3,3中最短圈的长度为中最短圈的长度为l4，于是边数于是边数9应满足应满足9（4/（4-2）（6-2）=8这又是矛盾的，所以这又是矛盾的，所以K3,3也不是平面图。

也不是平面图。

定理定理17.17.99设设G是有是有k（k2）个连通分支的平面图，各面的次数至个连通分支的平面图，各面的次数至少为少为l（l3），则边数则边数m与顶点数与顶点数n应有如下关系：

应有如下关系：

定理定理17.117.100设设G为为n（n3）阶阶m条边的简单平面图，则条边的简单平面图，则m3n6。

设设G有有k（k1）个连通分支，个连通分支，q若若G为树或森林，当为树或森林，当n3时，时，m=n-k3n6为真。

为真。

q若若G不是树也不是森林，则不是树也不是森林，则G中必含圈，又因为中必含圈，又因为G是简单图，是简单图，所以，每个面至少由所以，每个面至少由l（l3）条边围成，又在条边围成，又在l=3达到最大达到最大值，由定理值，由定理17.9可知可知证明证明定理定理17.117.111设设G为为n（n3）阶阶m条边的极大平面图，则条边的极大平面图，则m=3n6。

证明证明由于由于极大平面图是连通图，由欧拉公式得极大平面图是连通图，由欧拉公式得:

r=2+m-n（17.4）又因为又因为G是极大平面图，由定理是极大平面图，由定理17.7的的必要性可知，必要性可知，G的每个的每个面的次数均为面的次数均为3，所以：

，所以：

将将（17.4）代入代入（17.5），整理后得，整理后得m=3n-6。

二、一个意义重大的定理二、一个意义重大的定理定理定理17.11