离散数学教程-王元元-第10章 特殊图.pptVIP

离散数学 第10章 特殊图 第10章 特殊图 10.1.1 欧拉图及欧拉路径 定理10.1：无向图G为欧拉图当且仅当G连通，并且所有顶点的度都 是偶数。有向图G为欧拉图，当且仅当G是弱连通的，并且每 个顶点的出度与入度相等。 证：（无向图） 必要性： 设G为一欧拉图，那么G显然是连通的。 又由于G本身为一闭路径，它每经过一个顶点一次，便给这 一顶点增加度数2，因而各顶点的度均为该路径经历此顶点的 次数的两倍，从而均为偶数。 充分性：设G连通，且每个顶点的度均为偶数，证G为一欧拉图。 为此，对G的边数归纳。 10.1.1 欧拉图及欧拉路径 设想从G的任一顶点出发，沿着边构画，使笔不离开图 且不在构画过的边上重新构画。由于每个顶点都是偶数度， 笔在进入一个顶点后总能离开那个顶点，除非笔回到了起 点。在笔回到起点时，它构画出一条闭路径，记为H。从 图G中删去H的所有边，所得图记为G’，G’未必连通，但其 各顶点的度数仍均为偶数。考虑G’的各连通分支，由于它 们都连通，顶点度数均为偶数，而边数均小于m，因此据 假设都是欧拉图。