离散数学导论盘王元元张桂芸第八章演示文稿.ppt

第八章 图 8.2 路径、回路及连通性 8.2.3 连通度 定义8.17 设S为连通图G边集E的子集，称S为G的 边割集（cut-set of edges），或割集，如果从 G中删除S的所有边后所得的图是不连通的， 但S的任何真子集均无这一特性。当割集为 单元素集｛e｝时，称e为割边（cut-edges）。 第八章 图 8.2 路径、回路及连通性 8.2.3 连通度 定义8.18 λ(G)称为图G的边连通度 （edge-connectivity），定义如下: 第八章 图 8.2 路径、回路及连通性 8.2.3 连通度 定理8.10 设G为n个顶点、m条边的简单 连通图，那么λ(G) ≤ 。 定理8.9 对任何简单无向图G， χ(G) ≤λ(G) ≤δ(G) 第八章 图 8. 3欧拉图与哈密顿图 8. 3. 1欧拉图与欧拉路径 定义8.19 图G称为欧拉图（Euler graph）， 如果图G上有一条经过G的所有顶点、所有 边的闭路径。图G称为欧拉路径（Euler walk），如果图G上有一条经过G 所有顶点、所有边的路径。 第八章 图 8. 3欧拉图与哈密顿图 8. 3. 1欧拉图与欧拉路径 定理8.11 无向图G为欧拉图当且仅当G连通， 并且所有顶点的度都是偶数。有向图G为 欧拉图，当且仅当G是弱连通的，并且每个 顶点的出度与入度相等。 定理8.12 如果G为欧拉图，那么G可分成若干 个（一个或几个）回路。 第八章 图 8. 3欧拉图与哈密顿图 8. 3. 1欧拉图与欧拉路径 定理8.13 无向图G为欧拉路径(非欧拉图)， 当且仅当G连通，并且恰有两个顶点的度 是奇数。有向图G为欧拉路径(非欧拉图)， 当且仅当G连通，并且恰有两个顶点的 入度与出度不等，它们中一个的出度比 入度多1，另一个入度比出度多l。 第八章 图 8. 3欧拉图与哈密顿图 8.3．2 哈密顿图及哈密顿通路 定义8.20 无向图G称为哈密顿图（Hamilton graph）， 如果G上有一条经过所有顶点的回路 （也称这一回路为哈密顿回路）。称无向图有哈密顿 通路(非哈密顿图)，如果G上有一条经过所有顶点的 通路(非回路)。 第八章 图 8. 3欧拉图与哈密顿图 8.3．2 哈密顿图及哈密顿通路 定理8.14 设图G为具有n个顶点的简单无向图，如果G的 每一对顶点的度数之和都不小于n – 1 ，那么G中有 一条哈密顿通路；如果G的每一对顶点的度数之和 不小于n，且n≥3，那么G为一哈密顿图。 第八章 图 8. 3欧拉图与哈密顿图 8.3．2 哈密顿图及哈密顿通路 定理8.15 当n为不小于3的奇数时， Kn上恰有 条互相均无任何公共边的 哈密顿回路。 第八章 图 8. 3欧拉图与哈密顿图 8.3．2 哈密顿图及哈密顿通路 定义8.21 图G称为可2-着色（2-chromatic）， 如果可用两种颜色给G的所有顶点着色， 使每个顶点着一种颜色，而同一边的两端点 必须着不同颜色。 第八章 图 8. 3欧拉图与哈密顿图 8.3．2 哈密顿图及哈密顿通路 定理8.16 设图G是可2-着色的。如果G是哈密顿图，那么着两种颜色的顶点数目相等；如果G有哈密顿通路，那么着两种颜色的顶点数目之差至多为一。 第八章 图 8.4.1 关联矩阵 8.4 图的矩阵表示 定义8.22 设G为（n，m）图，那么 n?m矩阵M=[aij]， 称为G的关联矩阵（incidence matrix）， 记为M (G)。 定理8.17 若G为（n，m）连通简单图。那么M的 秩为n – l（即其最大非零行列式的阶数为n – l）。 第八章 图 8.4.1 关联矩阵 8.4 图的矩阵表示 定理8.18 （n，m）图G为有k个连通分支的简单图， 当且仅当M（G）的秩为n – k 。 第八章 图 8.4.2 邻接矩阵 8.4 图的矩阵表示 定义8.23 设G =<V，E，Ψ>为一无重边的有向图。 其中V={v1,v2,…,vn}，那么n?n矩阵A = [aij]， 称为图G的邻接矩阵（adjacency matrix