离散数学e图和h图.pptVIP

离散数学 第八章 E图和H图 §8.1 七桥问题与E图 七桥问题：有四块陆地与连结它们的七座桥，问能否从这四块陆地中的任意一块出发，经过每一座桥恰好一次，最后回到原地？ 一笔画 该问题等价于“能否一笔画出下图？” E图 定义8.1.1：设G是一个图，经过G 的每一条边的链称为E链；闭的E链称为E闭链。如果G中存在E链，称G为半E图；如果G中存在E闭链，称G为E图。 下面的讨论中设G是非平凡的连通图。 无奇点的连通图是E图 引理8.1.1：连通图G中无奇点，则G是E图。 证明：设G是无奇点的连通图且G不是E图。在所有连通无奇点的非E图中，选一个边最少的图G。因G的每个顶点的度至少是2，从而G必含闭链。 E图是无奇点的连通图 引理8.1.1’：E图是无奇点的连通图。 证明：设G是E图，C是G的一条E闭链。由于G连通且C是含G的每边恰一次的闭链，因此，C中的每个点都既是起点也是终点。于是，从C上的任一点u出发，每经过一个顶点v，就有两条与v关联的边出现(一进一出) 。这样，C上的每个顶点，也即G的每个顶点的度均为偶数，故G中无奇点。 由引理8.1.1和8.1.1’，我们有： 半E图中最多有两个奇点 推论8.1.1： G是半E图当且仅当G中最多有两个奇点。 证明：(必要性) 设G是半E图，C是G的一条E链。除起点与终点外， C中每个顶点的度均为偶数。又因G连通，故G最多有两个奇点