离散数学图论第二讲重点.ppt

例5 Z6= { 0, 1, 2, 3, 4,5 }, ? 分别为模 6 乘法 迹： 边不相同的路 闭迹：起点=终点 通路：点不相同的路 圈：起点=终点 c a e2 e1 b e3 e5 e d e4 be2ce1ae1ce3de4de5e ae1ce3de4de5e ae1ce3de4e 路： 回路：起点=终点 思考：两条不同路是怎样的 思考：通路一定是迹吗 定理7-2.1 在一个具有n个结点的图中，如果从结点vj到结点vk存在一条路(vk vj) ，则从结点vj到结点vk必存在一条不多于n-1条边的路。 推论 在具有n个结点的圈中，若从结点vj到结点 vk 存在一条路，则必存在一条从结点vj到结点vk边数小于n的通路。 定义7-2.2 连通 在无向图G中，结点u和v之间若存在一条路，则结点u和v称为是连通的。 a b c d e f g h R={x,y|x与y连通} 思考:R是什么关系 并写出A/R 连通分支：图G=〈V，E〉可以分解为若干个连通分支Gi=〈Vi，Ei〉(i=1，2，…，k)，G的连通分支数用W(G)来表示。 d(u,v)：两点的距离是从u到v的最短路的长度。 c a e2 e1 b e3 e5 e d e1 e2 e3 e4 e5 e6 e7 d a b c [定义] 连通图 若图G=〈V,E〉的任意两个结点皆有路连通，则G称为连通图。 c a e2 e1 b e3 e5 e d e1 e2 e3 e4 e5 e6 e7 d a b c 思考：连通图有几个连通分支？ 定义7-2.4 点割集和割点 设无向图G=〈V,E〉为连通的，若有结点集V1? V，使得图G删除了V1所有结点后，所得的子图是不连通的，而删除了V1的任意真子集后，所得的子图仍然是连通图。则称集合V1为图G的点割集。若某一结点就构成点割集，则称该结点为割点。 e, f 点割集:{e},{f }, 割点: {c,d} 定义7-2.5 边割集、割边 设无向图G=〈V,E〉为连通的，若有边集E1? E，使得图G删除了E1所有边后，所得的子图是不连通的，而删除了E1的任意真子集后，所得的子图仍然是连通图。则称集合E1为图G的边割集。若某一边构成边割集，则称该边为割边(或桥)。 桥: e8, e9 边割集:{e8},{e9}, {e1,e2}, {e1, e3, e6}, {e1, e3, e4, e7} 定理7-2.4 对于任何一个图G=〈V,E〉，有 k(G)≤λ(G)≤δ(G) 例如 ?(G)=3 ?(G)=3 定义7-2.6 强连通、单侧连通、弱连通 简单有向图G=〈V,E〉中，任意一对结点间，至少有一个结点到另一个结点是可达的，则称这个图为单侧连通。如果对于图G中的任意两个结点两者之间是互相可达的，则称这个图为强连通的。如果在图G中略去方向，将它看成是无向图，图是连通的，则称该有向图为弱连通的。 定义7-2.7 设在简单有向图中，具有强连通性质的最大子图，称为强分图；具有单侧连通性质的最大子图，称为单侧分图；具有弱连通性质的最大子图，称为弱分图。 邻接矩阵 删了点则与此点相连的边也不存在了 * 删了点则与此点相连的边也不存在了 *