《离散数学》刘任任版第八章.docVIP

习题8 1、图屮8.10屮哪些是E图？哪些是半E图? 分析：根据欧拉定理及其推论，E图是不含任何奇点的图，半E图是?多含两个奇点的图。 解： ⑻半E图。(b) E图。(c)非半E图和E图 2、试作出一个E图G(p，q)，使得p与q均为奇数。能否作出一个E图G(p,q),使得p为偶数， 而q为奇数？如果是p为奇数，q为偶数呢？ 解：以下E阁中，p与q的奇偶如下表 PqG1 P q G1 奇数 奇数 G2 偶数 奇数 G3 奇数 偶数 G2 3、 求证：若G是E图，则G的每个块也是E图。 分析：一个图如果含有E回路，则该图是E图；另一方面一个块是G屮不含割点的极大连 通不可分子图，且非割点不可能属于两个或两个以上的块。这样沿G屮的一条E冋路遍历 G的所有边时，从一个块到达另一个块时，只能经过割点才能实现。 证明：设B是G的块，任取G屮一条E回路C,由B屮的某一点v出发，沿C前进，C只 有经过G的割点冰能离开B，也就是说只有经过同一个割点才能回到B屮，注意到这个事 实后，我们将C中属于B外的一个个闭笔回路除去，最后回到v时，我们得到的就是B上 的一个E回路，所以B也是E图。 4、 求证：若G无奇点，则G中存在边互不重的回路G，…，Cw ,使得 ￡(G) = ￡(C\) u ￡(C2) u …u ￡(C?,) 分析：G中无奇点，则除了孤立点后其他所有点的度至少为2,而孤立点不与任何边关联， 因此在分析由边构成的冋路时可以不加考虑；而如果一个图所有的顶点的度至少为2,则由 第五章习题18知该图必含回路。 证明：将G中孤立点去掉以后得到图G1,显然G1也是一个无奇点的E图，且#^71^2。 由第五章习题18知，G1必含有冋路Ch在图G1-C1中去掉孤立点，得图G2,显然G2仍 然是一个无奇点的图，且于是G2中也必含冋路C2,…如此直到Gm中有冋路 Cm,且Gm-Cm全为孤立点为止，于是有： ￡(G) = ￡(C,) u ￡(C2) u …u ￡(C J 5、 求证：若G有2k〉0个奇点，则G屮存在k个边互不重的链gi ... ,2^ ，使得： E(G) = ￡(2,) u E(Q2 )u-u E(Qk) 分析：一个图的E回路去掉一条边以后，将得到一条E链。 证明.?设VhV2，…，％，VA.+I，…，V2A为G屮的奇数度顶点，kl在Vi和Vi+k之间用新边 ei连接，i=l, 2....k，所得之图记为G*，易知G*的每个顶点均为偶数，从而G*存在E闭 链C*。现从C*屮删去ei ( i=l, 2....k),则C*被分解成k条不相交的链Qi( i=l，2....k), 显然有：E(G) = ￡(2,) u E(Q2) u …u E(Qk) 6、 证明：如果(1) G不是2—连通阁，或者(2) G是二分图乂，￥：，且X关Y,则G不是 H图。 分析：G不是2-连通图，说明以0^，于是球^)=1或邮)^0,如果71■⑹=0,则说明 G不连通，如G不连通，显然G不是H图，如 ⑺=1则G中存在孤立点，因此有o(G-v) 彡2,巾定理8.2.1G不是H图。若G是二分图乂，Y〉，则X或Y中的任意两个顶点不邻 接，因此G-X剩下的是Y中的点，这些点都是孤立点；同样G-Y剩下的是X巾的点，这些 点也是孤立点；即有^(G_X)=|r1, ^(G_y)=|X| ,如果X关Y ,则有 ty(G-X)=|y||X|?j6y(G-r)=|X||r|^iEo 无论哪个结论成立，醐定理 8.2.1 都有 G 不 是H图。 证明：若(1)成立则G不连通或者是G有割点u,若G不连通，则G不是H图，若G有割 点u,取5={11},于是o(G-u)〉S因此G不是H图. 若(2)成立，不妨设 \X\\Y\.^S = X,^\ co (G-S) = |y||x| = |S B|J： co (G-S)|S|. 因此G不是H图. 7、 证明.?若G是半H阁,则对于V(G)的每一个真子集S,有： 分析：图G的权与它的生成子图G’的连通分支数满足：a)(G)a)(G\因为一个图的生成 子阁是在该阁的基础上去掉若干边得到的，显然去掉边以后只能使该阁的连通分支增加。 对于图G的一条H通路C,满足任取5=7，6XC-5)|S| + 1. 证明:设C是G的一条H通路，任取ScV，易知^c_S)|S| + L 而 C-S 是 G-S 的生成子图.^6ZXG-5)69(C-5)|S| + 1.故仍(g-s)s|s| + i. 8、试述H图与E图之间的关系。 分析.? H图是指存在一条从某个点出发经过其他顶点有且仅有一次的回路；而E阁是指从 某点岀发通过图中所有的边一次且仅有一次的回路。从定义可看出，这两者之间没有充分或 必要的关系。 g2g4 g2 g4 易知G1是E阁，但非H阁；G2是H阁，但非