图论第4章.ppt

* 该猜想是正确的，已经得到证明。 5、普鲁默猜想：每个2连通图的平方是H图。 定义：图G的平方G2是这样的图: 1 2 3 4 G 1 2 3 4 G2 * 4.8 E图和H图的联系 从表面上看，E图与H图间没有联系。因为我们可以不费力地找到: (1) E图但非H图；(2) E图且H图；(3) H图但非E图; (4) 非E图且非H图. E且H图 E图但非H图 H但非E图 非E且非H图 * 定义1 设G是图，G的线图L(G)定义为： 特别地，定义G的n次迭线图Ln(G) 为： x3 x1 x4 x2 G2=L(G1) L(G2)=L(L(G1)) x1 x2 x3 x4 G1 1、线图概念 * (1) 线图L(G)顶点数等于G的边数；若e=u v是G的边，则e作为L(G)的顶点度数为： 2、线图的部分性质 (2) 若G=(n, m), 则线图L(G) 边数为： 证明：由线图的定义，L(G)有m个顶点。对于G中任一顶点v，关联于该顶点的d(v)条边将产生L(G)中 条边。所以L(G)中的总边数为： d(e)=d(u)+d(v)-2 . * (3) 一个图同构于它的线图，当且仅当它是圈。 (4) 若图G和G1有同构的线图，则除了一个是K3而另一个是K1,3外，G和G1同构。(证明比较复杂) 3、从线图的角度考察E图与H图的关系 定义2 称Sn是图G的n次细分图，是指将G的每条边中都插入n个2度顶点。 G S1 (G) 又记： * 定理13 (1)若G是E图，则L(G) 既是E图又是H图。 (2)若G是H图，则L(G)是H图。 注：该定理逆不成立。 G1 L(G1) G2 L(G2) 定理14 一个图G 是E图的充要条件是L3(G)为H图 S2(G) G L3(G) G L3(G) L(G) L2(G) * 定理15 （Chartarand）若G 是n个点的非平凡连通 图，且不是一条路，则对所有m≥n-3，L m (G) 是H图。 作业：P. 97: 1, 2, 3, 7, 9, 10, 12, 13, 17. 因为G +e1 +e2 +…+ek是H图，由引理1知 G+e1+e2+…+ek-1 是H图，反复应用引理1可知G是H图。 注: 一个图G的闭包不一定是完全图。比如下图中（a）、（b）两个均不是完全图，但它们却是自己的闭包。 （a） （b） * 推论1 设G是n ≥3的简单图。若 是完全图，则G是H图。 推论2 （1）设G是n ≥3的简单图。若G中每个点的度d(v) ≥n/2，则G是H图。(由此得定理6) （2） 设G是n ≥3的简单图，若G中任何两个不邻接的点u和v均有 d(u) + d(v) ≥ n 则G是H图。 * 在闭包定理的基础上，Chvátal和帮迪进一步得到图的H性的度序列判定法。 定理8(Chvátal——度序列判定法) 设简单图G的度序列是(d1,d2,…,dn), 这里，d1≦d2≦…≦dn, 并且n≧3. 若对任意的mn/2, 或有 dmm, 或有dn-m ≧ n-m, 则G是H图。 萨瓦达定理的证明方法：证G的闭包是完全图。 * 证明：如果G的闭包是Kn，则G是H图。 否则，设u与v是G的闭包中不相邻接的且度和最大的两点，又假设： 由于 是闭图，u与v 是其中不邻接顶点，所以： 于是，若取 ，则 对于这个m, 由于： 所以在G的闭包中至少有m个点与v不邻接。 定理8 设简单图G的度序列是(d1,d2,…,dn), d1≦d2≦…≦dn, 并且n≧3. 若对任意的mn/2, 或有 dmm, 或有dn-m ≧ n-m, 则G是H图。 由u与v的取法知：与v不邻接的m个点中，u的度数最大。这就意味着：G中至少有m个点的度数不大于m,即： * 已知： 另一方面，由m的选取，G的闭包中有n-1-m个点与u不相邻接。而这些点中，v的度最大。这意味着：在G的闭包中有n-1-m个与u不邻接的点的度数小于等于v的度数。 对于v的度数，已有： 根据u的度数不超过v的度数假设，G的闭包中至少有n-m个点的度不超过v的度数，从而在G中至少有n-m个点的度数严格小于n-m