湘潭大学刘任任版离散数学课后习题答案习题11

习题十一1．设11p，证明任何p阶图G与G总有一个是不可平面图。分析：G与G是两个互补的图，根据互补的定义，互补的图有相同的顶点数，且G的边数与G的边数之和等于完全图的边数p(p-1)/2；而由推论11.2.2，有任何简单平面图G，其顶点数p和边数q满足：q≤3p-6。证明.若),(qpG与),(qpG均是可平面图，则63pq（1）63pq（2）但qppqpp)1(21,（3）将（3）代入（2）有63)1(21pqpp整理后得qpp21272又由（1）有)63(21272ppp即024132pp也即224413132244131322p.得2731327313p得112p此与11p矛盾。因此任何p阶图G与G不可能两个都是可平面图，从而G与G总有一个是不可平面图。2．证明或否定：两个p阶极大简单平面图必同构分析：极大平面图是指添加任何一条边以后不构成平面图的平面图；两个p阶极大简单平面图不一定同构。解：令6p，三个6阶极大简单平面图321,,GGG如下：顶点上标的数字表示该顶点的度，但显然不同构.1G2G3G3453334444444445553．找出一个8阶简单平面G，使得G也是平面图.分析：由第1题证明过程可知，当p11时，G和G可以同时为平面图。解：如下平面图G，显然其补图也是平面图。4．证明或者否定：每个极大平面图是H图.分析：极大平面图是指添加任何一条边以后不构成平面图的平面图；而H图是存在一个H回路的图，即存在一条经过图中每一个顶点一次且仅一次的回路。由定理11.1.2知极大平面图的每个面都是三角形，因此G中必存在回路，利用最长回路的性质使用反证法可证明每个极大平面图都是H图。证明：设G是极大平面而不是H图.显然G必连通且有回路.设c是G中最长的回路uvvuvcn21，由假设，存在)(Gvw不在c上且w与c上iv和1iv构成一个三方形，于是iniivvuvvwvvc211uvwvvuvnii11从而||||cc.矛盾，故G是H图。5．试证明：若平面图G的每个面都是三角形3k，则G是极大平面图。分析：极大平面图是指添加任何一条边以后不构成平面图的平面图；利用这个定义使用反证法可证明本题。证明：设平面图G的每个面都是3k，若G不是极大平面图.则G中存在)(,GVvu，使得)(GEuv，且uvG仍为平面图设uv是uvG中两个面if和jf的公共边界.于是，G中if与jf的面是一个面kf，显然3)(kfd，由此与G的每个面都是3k矛盾.6．设),,(rqpG是有k个分支的平面图，试证明：1krqp分析：由欧拉公式任何简单连通平面图),,(rqpG均满足2rqp,对G的k个连通利用归纳法使用该结论可证明本题。证明：当1k时，即欧拉公式，下设2k，G有k个分支.),,(,),,,(1111kkkkrqpGrqpG.由欧拉公式有pi-qi+ri=2;1873654321826547GG1v2vuwiv1ivnv但kikiiiqqpp11,，kiikrr11故kkrqp21即1krqp7．证明：ek5是平面图，其中e∈E（K5）分析：由于5k的对称性,只须考虑其中的一条边e，验证ek5是可平面图即可.证明：任选5k的某条边e，则ek5如下图所示，显然这是一个平面图。8．证明：ek3,3是平面图，其中e∈E（K3，3）分析：仿照第7题，由于3,3k的对称性，因此也只须考虑其中的一条边e，验证ek3,3是可平面图即可.证明：任选3,3k的某条边e，则ek3,3如下图所示，显然是一个平面图。9．一个图的围长是图中最短回路之长度，若图中无回路，则围长定义为无穷大。证明：如果G(p,q,r)是连通平面图，围长g≥3且有限，则q≤g(p-2)/(g-2)分析：由定理11.1.1对任何平面图),,(rqpG，满足，又由于G是简单连通图，因此还满足欧拉公式2rqp。利用这两个结论可证明本题。qfdrii2)(1证明:由于G的围长为g,故d(fi)≥g，由定理11.1.1知：可以得到将它代入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=5g(p-2)/(g-2)=5*（10-2）/（5-2）=40/315=q不满足9题的结论,所以Peterson图是不可平面图.11．图11-11是可平面图吗？若是，则请给出平面嵌入，否则说明它是一个包含K5或K3，3的剖分图。分析：存在一个平面嵌入的图是可平面图，因此利用这个定义如果能找到G的一个平面嵌入，则可以判断这个图是可平面图。再由定理11.3.1一个图是可平面图的充分必要条件是该图不包含一个K5或K3，3的剖分图，利用这个定理如果能找到一个图的K5或K3，3的剖分图，则该图不是可平面图。解：这四个图均是平面图，其平面嵌入分别如下所示：(a）(b）(c）(d）图11-11qfdgrrii2)(1gqr/2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-可着色的。解：最少需要两种颜色。75312467531246图12-1图12-2(a）(b）(c）(d）图11-1113．设G是一个连通的平面地图，证明2)(*G当且仅当G是欧拉图。分析：本题的证明利用了图G和其对偶图G*的关系以及第16题的结论：G是二分图当且仅当G*是欧拉图。又G是点2-可着色的当且仅当G是二分图。因为若G是点2-可着色的，则G中的所有顶点可按着的颜色划分为两个集合，显然着相同颜色的顶点互不邻接，因此这两个集合中的任意两个顶点不邻接，因此G是二分图；反过来，如G是二分图，则G中的所有顶点可划分为两个集合，且每个集合中任意两个顶点不邻接，因此按G的这两个集合将G中所有顶点着两种不同的颜色，是G的正常2着色，因此2)(*G。证明：设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时满足条件的平面图因此如果能证明不存在具有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为非平面图，当n5时，由于Kn包含一个K5的剖分，所以Kn也不是平面图，这与G*为平面图矛盾。15．证明：在平面上画有限个圆所得的地图是两色的，即有一个正常2面着色。分析：本题的证明主要用到了欧拉图的概念和13题的结论，即图G是欧拉图当且仅当G无奇数度的顶点以及G是欧拉图当且仅当2)(*G。f2f1f0f3证明：在平面上画有限个圆所得的地图G显然是一个欧拉图，由13题结论有2)(*G，即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*=rq*=q有G与G*同构，因此有p=p*,q=q*,r=r*又G是一个平面图，所以p-q+r=2于是有：2p-q=2即q=2p-218．画一个非简单图的自对偶图。分析：一个图G的对偶图是按如下方式构造出来的：在G的每个面f内放上一个顶点f*，这些顶点就构成了G*的顶点集V(G*)，若G的两个面f和g有一条公共边e，则画一条以f*和g*为端点的边e*仅穿过e一次；对于G中属于一个面的割边e，则画一条以f*为端点的环仅穿过e一次。非简单图是有环或重边的图。按照第17题有自对偶图是图G与它的对偶图G*同构的图。由这几方面的定义，可构造如下非简单图的自对偶图。解：非简单图的自对偶图如下图所示。GG*