离散数学(第二版)第8章 节 图的基本概念.ppt

图8.2.9　有向图的强分图和单向分图 　　定理8.2.5　有向图G=〈V，E〉中，每个顶点在且仅在一个强分图中。 　　证明　在顶点集V中定义一个二元关系R：　　　　　　R={〈u，v〉|u与v同在一个强分图中}　　显然，R是自反的、 对称的、 传递的，即R是一个等价关系。 因此构成V的划分，由于V的每个划分块构成的导出子图是一强分图，所以每个顶点在且仅在一个强分图中。 　　　　　　　　　　　　　　　　　　　　　　　证毕 　　 在计算机系统中，如果我们用顶点来表示资源，若有一程序p1占有资源s1，而对资源s2提出申请，则用从s1引向s2的有向边表示，并标定边〈s1，s2〉为p1，那么任一瞬间计算机资源的状态图，就是由顶点集{s1，s2，…，sn}和边集{p1，p2，…，pm}构成的有向图G，图G的强分图反映一种死锁现象。 最简单的死锁现象如： 程序p1占有s1对s2提出申请； 程序p2占有s2对s3提出申请；而程序p3占有s3对s1提出申请(如图8.２.9的G1)，结果只能是“你等我，我等你”，互相等待，这就是死锁现象。 这是操作系统要避免出现的事件。 　　 矩阵是研究图的一种有力工具，由矩阵表示图便于用计算机研究图，也便于用代数的方法研究图的性质。 在图的矩阵表示法中，要求图是标定图。 　　1. 有向图的邻接矩阵　　定义8.3.1　设G=〈V，E〉是一有向图，V={a1，a2，…， an}，构造一矩阵A(G)： 　　　　　　　　　A(G)=( )n×n　　其中　　是顶点vi邻接到顶点vj的条数，称A(G)为图G的邻接矩阵。 8.3 图的矩阵表示 图8.3.1 　　【例8.3.1】求图G(如图8.3.1所示)的邻接矩阵。 　　解　　给出了图G的邻接矩阵，就等于给出了图G的全部信息。 图的性质可以由矩阵A通过运算而获得。 　　有向图的邻接矩阵有如下性质： 　　(1) 　　　=d+(vi)，i=1,2,…,n，于是　　　　　　　　　　　　　　d+(vi)=m　　(2) 　　　　=d-(vj)，i=1，2，…，n， 于是　　　　 d-(vj)=m 　　(3) 由(1)、 (2)不难看出，A(G)中所有元素的和为G中长度为1的通路个数，而　　　为G中长度为1的回路(环)的个数。 　　(4) 令A2=A×A=(　　)n×n，其中 则　　表示从顶点vi两步到达顶点vj的通路条数，而　　表示从顶点vi两步回到顶点vi的回路数目。 利用数学归纳法可得(5)。 　　(5) 若令As=A×…×A=(　　)n×n，则　　表示从顶点vi到顶点vj长度为s的通路条数，而　　表示从顶点vi回到顶点vi的长度为s的回路数目。 于是有(6)。 (6) 　　　　　表示G中长度为s的通路总数，其中　　　　　　　　　　　　表示G中长度为s的回路总数。 进一步可得(7)。 (7) 若令B=A+A2+…+As=(bij)n×n，则bij表示从顶点vi到顶点vj长度小于或等于s的通路总数。 　　【例8.3.2】对于图8.3.1，因为 　　所以，由v1到v3长度为1、 2、 3、 4的通路分别有0、 2、 2、 4条，G中共有长度为4的通路44条，其中回路11条，长度小于等于4的通路共有88条，其中回路22条。　　注　无向图也有相应的邻接矩阵，一般只考虑简单图，无向图的邻接矩阵是对称的，其性质基本与有向图邻接矩阵的性质相同。 图8.3.2　对应A(G)的图形 　　【例8.3.3】设有一个简单无向图G的邻接距阵为A(G)，画出图G和　　　解　见图8.3.2。 　　2. 有向图的可达矩阵　　定义8.3.2　设G=〈V，E〉是一有向图，V={v1，v2，…， vn}，令称(pij)n×n为G的可达矩阵，记作P(G)。  例如，记图8.3.1的可达矩阵为P(G)，则 可达矩阵具有如下性质： 　　(1) pii=1(因为规定任何顶点自身可达)。 　　(2) 所有元素均为1的可达矩阵对应强连通图。 如果经过初等行列变换后，P(G)可变形为　　　　主对角线上的分块矩阵P(Gi)(i=1，2，…，l)元素均为1，则每个Gi是G的一个强分图。 　　 (3) 根据定理8.2.1及推论可知，可达矩阵可通过计算邻接矩阵得到，令　　　　　　　B=E+A+A2+…+An -1=(bij)n×n 　　其中E是单位矩阵，则　　　　　　　　　　　　　 　　3. 无向图的关联矩阵　　 　　定义8.3.3　设无向图G=〈V，E〉，V=