14.4+16离散数学.pptVIP

定义14.13（无向连通图）若无向图G是平凡图或G中的任何两个顶点都是连通的，则称G是连通图（connected graph），否则称G为非连通图或分离图（disconnected graph）。 下面讨论有向图的连通性 定义14.20在一个有向图D=V，E中，如果顶点u，v之间存在通路，则称u可达v，记作u→v。 规定任意的顶点总是可达自身的，即?u?V，u→u。 若u→v且v→u，则称u与v是相互可达的，记作u?v，规定u?u。 有向图有三种不同类型的连通图 定义14.22（弱、单向、强连通图） 在一个有向图D中， 如果D的基图是连通图，则称D是弱连通图(weakly connected graph )。 如果对于任意的两个顶点u，v，u→v与v→u至少成立其一，则称D是单向连通图（unilateral connected graph ）。 如果对于任意的两个顶点u，v，均有u?v，则称D是强连通图（strongly connected graph ）。 说明：强连通图一定是单向连通图，单向连通图一定是弱连通图。 强连通图和单向连通图的判别定理 定理14.8 有向图D是强连通图当且仅当D中存在经过每个顶点至少一次的回路。 定理14.9 有向图D是单向连通图当且仅当D中存在经过每个顶点至少一次的通路。 例 14.4 图的矩阵表示? 图的表示 （1）集合定义 （2）图形表示 （3）矩阵表示 目的 （1）便于用代数知识来研究图的性质 （2）便于用计算机来对图进行处理 本节学习 （1）图的关联矩阵(无向图和有向图) （2）有向图的邻接矩阵 （3）有向图的可达矩阵 用矩阵表示图之前，必须先将图的顶点和边标定顺序，使其成为标定图。 定义14.24（无向图的关联矩阵）设无向图G=V，E，V={v1,v2,…,vn}，E={e1,e2,…,em}，令mij为顶点vi与边ej的关联次数，则称(mij)n×m为G的关联矩阵，记为M(G)。 例如：求下图的关联矩阵 无向图关联矩阵的性质： 定义14.25（有向图的关联矩阵）设有向图D=V，E中无环，V={v1,v2,…,vn}，E={e1,e2,…,em}，令 例如：下图的关联矩阵为 有向图关联矩阵的性质： 有向图关联矩阵的性质： （1） ，从而 ，这说明有向图关联矩阵中所有元素之和为0。 有向图关联矩阵的性质： （1） ，从而 ，这说明有向图关联矩阵中所有元素之和为0。 （2）有向图关联矩阵中，-1的个数、1的个数、边数m相等。这正是有向图握手定理的内容。 有向图关联矩阵的性质： （1） ，从而 ，这说明有向图关联矩阵中所有元素之和为0。 （2）有向图关联矩阵中，-1的个数、1的个数、边数m相等。这正是有向图握手定理的内容。 （3）在有向图关联矩阵第i行中，1的个数等于d+(vi)，-1的个数等于 d-(vi)。 有向图关联矩阵的性质： （1） ，从而 ，这说明有向图关联矩阵中所有元素之和为0。 （2）有向图关联矩阵中，-1的个数、1的个数、边数m相等。这正是有向图握手定理的内容。 （3）在有向图关联矩阵第i行中，1的个数等于d+(vi)，-1的个数等于 d-(vi)。 （4）平行边所对应的列相同。 定义14.26（有向图邻接矩阵）设有向图D=V，E，V={v1,v2,…,vn}，E={e1,e2,…,em}，令aij(1)为顶点vi邻接到顶点vj边的条数，称(aij(1))n×n为D的邻接矩阵，记作A(D)，简记为A。 有向图邻接矩阵的性质： 有向图邻接矩阵的性质： (1) ，于是 有向图邻接矩阵的性质： (1) ，于是 (2) ，于是 有向图邻接矩阵的性质： (1) ，于