2024年1月7日发(作者:初2数学试卷图片人教版)
习 题 十 一
1.设p11,证明任何p阶图G与G总有一个是不可平面图。
分析:
G与G是两个互补的图,根据互补的定义,互补的图有相同的顶点数,且G的边数与G的边数之和等于完全图的边数p(p-1)/2;而由推论11.2.2,有任何简单平面图G,其顶点数p和边数q满足:q≤3p-6。
证明. 若G(p,q)与G(p,q)均是可平面图,则
q3p6 (1)
q3p6 (2)
但pp,qp(p1)q (3)
121p(p1)q3p6
22整理后得
p7p122q 又由(1)有
将(3)代入(2)有
p7p122(3p6)
即
p13p240
221313242413132424p也即 .
2213731373得
p22 得2p11
此与p11矛盾。
因此任何p阶图G与G不可能两个都是可平面图,从而G与G总有一个是不可平面图。
2.证明或否定:两个p阶极大简单平面图必同构
分析:极大平面图是指添加任何一条边以后不构成平面图的平面图;两个p阶极大简单平面图不一定同构。
解:令p6,三个6阶极大简单平面图G1,G2,G3如下:
454534344534444354G1G2G3
顶点上标的数字表示该顶点的度,但显然不同构.
3.找出一个8阶简单平面G,使得G也是平面图.
分析:由第1题证明过程可知,当p<11时,G和G可以同时为平面图。
解:如下平面图G,显然其补图也是平面图。
67347GG
4.证明或者否定:每个极大平面图是H图.
分析:极大平面图是指添加任何一条边以后不构成平面图的平面图;而H图是存在一个H回路的图,即存在一条经过图中每一个顶点一次且仅一次的回路。由定理11.1.2知极大平面图的每个面都是三角形,因此G中必存在回路,利用最长回路的性质使用反证法可证明每个极大平面图都是H图。
证明:设G是极大平面而不是H图.显然G必连通且有回路.
设c是G中最长的回路cuv1v2vnu,由假设,
存在wv(G)不在c上且w与c上vi和vi1构
成一个三方形,于是
v1cviwvi1vnuv1v2vi
uv1viwvi1vnu
从而|c||c|.矛盾,故G是H图。
uwviv2vi1
5.试证明:若平面图G的每个面都是三角形k3,则G是极大平面图。
分析:极大平面图是指添加任何一条边以后不构成平面图的平面图;利用这个定义使用反证法可证明本题。
证明:设平面图G的每个面都是k3,若G不是极大平面图.则G中存在u,vV(G),使得vnuvE(G),且Guv仍为平面图
设uv是Guv中两个面fi和fj的公共边界.于是,G中fi与fj的面是一个面fk ,显然d(fk)3,由此与G的每个面都是k3矛盾.
6.设G(p,q,r)是有k个分支的平面图,试证明:
pqrk1
分析:由欧拉公式任何简单连通平面图G(p,q,r)均满足pqr2,对G的k个连通利用归纳法使用该结论可证明本题。
证明:当k1时,即欧拉公式,下设k2,G有k个分支.
G1(p1,q1,r1),,Gk(pk,qk,rk).由欧拉公式有pi-qi+ri=2;
但
pi1kip,qiq,rirk1
i1i1kk故
pqrk12k
即
pqrk1
7.证明:k5e是平面图,其中e∈E(K5)
分析:由于k5 的对称性,只须考虑其中的一条边e,验证k5e是可平面图即可.
证明:任选k5的某条边e,则k5e如下图所示,显然这是一个平面图。
8.证明:k3,3e是平面图,其中e∈E(K3,3)
分析:仿照第7题,由于k3,3的对称性,因此也只须考虑其中的一条边e,验证k3,3e是可平面图即可.
证明:任选k3,3的某条边e,则k3,3e如下图所示,显然是一个平面图。
9.一个图的围长是图中最短回路之长度,若图中无回路,则围长定义为无穷大。证明:如果G(p,q,r)是连通平面图,围长g≥3且有限,则
q≤g(p-2)/(g-2)
)分析:由定理11.1.1 对任何平面图G(p,q,r),满足
d
(
f
i
2
q ,又由于G是简单连通图,i1r因此还满足欧拉公式pqr2。利用这两个结论可证明本题。
证明:由于G的围长为g,故d(fi)≥g,由定理11.1.1知:
r
grd(fi)2q
i1可以得到
r2q/g将它代入Euler公式就可以得到q≤g(p-2)/(g-2)
10.利用题9证明Peterson图是不可平面图。
分析:Petersen图参看书上80页的图10.2.,由图可知道,g=5.p=10,q=15比较q和g(p-2)/(g-2),
将会发现不满足条件q≥g(p-2)/(g-2),因此Peterson图是不可平面图。
证明:
Petersen图中顶点数p=10,边数q=15,围长g=5
g(p-2)/(g-2)=5*(10-2)/(5-2)=40/3<15=q
不满足9题的结论,所以Peterson图是不可平面图.
11.图11-11是可平面图吗?若是,则请给出平面嵌入,否则说明它是一个包含K5或K3,3的剖分图。
(a) (b)
(c)
图11-11
(d)
分析:存在一个平面嵌入的图是可平面图,因此利用这个定义如果能找到G的一个平面嵌入,则可以判断这个图是可平面图。再由定理11.3.1一个图是可平面图的充分必要条件是该图不包含一个K5或K3,3的剖分图,利用这个定理如果能找到一个图的K5或K3,3的剖分图,则该图不是可平面图。
解:这四个图均是平面图,其平面嵌入分别如下所示:
(a) (b)
(c)
图11-11
(d)
12.平面M上有n条直线将平面M分成若干区域,为了使相互邻接的区域着不同的颜色,最少需要几种颜色?
分析:先将r个区域编成号(如图12-1所示)。
将直线的交点看做图的顶点,所有无限区域的两条无限边都交于一顶点v(等价于所有直线的两端均在无穷远点相交),所得图的示意图为图12-2所示。显然12-2所示的面数与12-1的区域数相同,并且12-1中所示图是区域2-可着色的,当且仅当12-2中所示的图是面2-可着色的。可是12-2是无环的E平面图,利用13题结论可知12-2是面2-可着色的,从而12-1所示的图是区域2-可着色的。
解:最少需要两种颜色。
1
2
6 7
4
5
图12-1
3
6
1
2
7
4
5
3
图12-2
13.设G是一个连通的平面地图,证明*(G)2当且仅当G是欧拉图。
分析:本题的证明利用了图G和其对偶图G*的关系以及第16题的结论:G是二分图当且仅当G*是欧拉图。
又G是点2-可着色的当且仅当G是二分图。因为若G是点2-可着色的,则G中的所有顶点可按着的颜色划分为两个集合,显然着相同颜色的顶点互不邻接,因此这两个集合中的任意两个顶点不邻接,因此G是二分图;反过来,如G是二分图,则G中的所有顶点可划分为两个集合,且每个集合中任意两个顶点不邻接,因此按G的这两个集合将G中所有顶点着两种不同的颜色,是G的正常2着色,因此*(G)2。
证明:设G是一连通的平面地图,则G是一无割边的连通平面图,设G*是G的对偶图,则G*是无环的连通的平面图,因此G是面2-可着色的当且仅当G*是点2-可着色的,而G*是点2-可着色的当且仅当G*是二分图,由题16结论有G*是二分图当且仅当G是欧拉图。
14.将平面分成r个区域,使任意两个区域都相邻,问r最大为多少?
分析:显然当r=1,2,3,4时,可以构造出满足条件的图,如下图是当r=4时满足条件的平面图
f0
f1
f3
f2
因此如果能证明不存在具有5个或5个以上面的平面图,其每两个面都共享一条边。则满足条件的r最大为4。
解:r最大为4。
证明:假设存在这样的平面G,设G的对偶图为G*,则G*也是平面图。由于G至少有5个面,所有G*至少具有5个顶点。设v*为G*的任一顶点,设它位于G的面R中,由于R与其余至少4个面均有公共边,所有v*与其余面中的顶点均相邻,于是d(v*)≥4,而且G*为简单图,于是G*必为Kn(n≥5),当n=5时,显然K5为非平面图,当n>5时,由于Kn包含一个K5的剖分,所以Kn也不是平面图,这与G*为平面图矛盾。
15.证明:在平面上画有限个圆所得的地图是两色的,即有一个正常2面着色。
分析:本题的证明主要用到了欧拉图的概念和13题的结论,即图G是欧拉图当且仅当G无奇数度的顶点以及G是欧拉图当且仅当(G)2。
*
证明:在平面上画有限个圆所得的地图G显然是一个欧拉图,由13题结论有*(G)2,即G是两色的。
16.设G是平面图,证明:若G是二分图,则G*是欧拉图,又若一个平面图的对偶图是欧拉图,则此平面图是二分图。
分析:该题的证明主要用到了二分图的定义、欧拉图的判定定理及图G的对偶图G*中的顶点的度与G中对应面的次数的关系。即图G是二分图当且仅当G中无奇数长度的回路,而图G是欧拉图当且仅当G无奇数度的顶点。而G*的顶点的度等于图G对应面的次数之和。
证明:设G*是G的对偶图,则G*是连通的,若G是二分图,则G中无奇数长度的回路,因此G*中所有顶点的度数均为偶数,所以G*是欧拉图。
若G*是欧拉图,所以G*中每个顶点的度数都为偶数,所以G中无奇数长度的回路,因此G为二分图。
17.若一个平面图与它的对偶图同构,则称此图是自对偶的,试证明:若G(p,q)是自对偶的,则q=2p-2
分析:由对偶图及同构的定义有:如G(p,q,r)是一个自对偶图,图G*(p*,q*,r*)是它的对偶图,则有p*=r ,q*=q,p=p*,q=q*,r=r*;又因为G是平面图,因此满足欧拉公式p-q+r=2。最后可得q=2p-2。
证明:设G(p,q,r)是一个自对偶图,图G*(p*,q*,r*)是G的对偶图。
则由对偶图的定义有:p*=r q*=q
有G与G*同构,因此有p=p*,q=q*,r=r*
又G是一个平面图,所以p-q+r=2
于是有:2p-q=2 即q=2p-2
18.画一个非简单图的自对偶图。
分析:一个图G的对偶图是按如下方式构造出来的:
在G的每个面f内放上一个顶点f*,这些顶点就构成了G*的顶点集V(G*),若G的两个面f和g有一条公共边e,则画一条以f*和g*为端点的边e*仅穿过e一次;对于G中属于一个面的割边e,则画一条以f*为端点的环仅穿过e一次。非简单图是有环或重边的图。按照第17题有自对偶图是图G与它的对偶图G*同构的图。由这几方面的定义,可构造如下非简单图的自对偶图。
解:非简单图的自对偶图如下图所示。
G G*
更多推荐
平面图,证明,顶点,欧拉
发布评论