离散数学-图论研究.pptVIP

6.7 有向图? 一、有向图的定义及表示 定义6-22 有向图G是一个有序二元组（V，E），其中结点集V是一有限非空集合，边集E是V中不同元素的有序对偶的集合。 例1 设G=（V，E），V={v1，v2，v3，v4}， E= ， 则G是一个有向图。 例3 用邻接矩阵A表示例1中的有向图G如下： 例2 用图解法表示例1中的图G如下图所示。 定义6-23 在有向图G=（V，E）中，若存在一条从结点vi到结点vj的有向路，则称从vi到vj是可达的。 在有向图中从vi到vj可达，并不意味着从vj到vi也可达。 即便从vi到vj可达，从vj到vi也可达，d（vi，vj）与d（vj，vi）也不一定相等。 二、与无向图类似的概念 无向图中的概念大都可推广到有向图。下面介绍一些主要的概念。 1．路、开路、回路、真路和环 2．可达、短程和距离 3．可达矩阵 例如，下图的可达矩阵 例4 利用下图的邻接矩阵A求其可达矩阵P。 解 将B中非零元素改为1，得可达矩阵P与前面结果相同 4．结点的度 结点v的出度，记作deg+（v）。 v的入度，记作deg–（v）。 结点v的出度与入度之和称为v的度， 用deg（v）表示。 有向图中， ， 且 。 5．连通性 定义6-24 在有向图G中，如果略去边的方向，将其看作无向图时，G是连通的，则称G是连通的或弱连通的；如果对于任意两个结点，至少有一个结点到另一个结点是可达的，则称G是单向连通的；如果对于任意两个结点，两者之间是相互可达的，则称G是强连通的。 例5 弱连通 单向连通 强连通 6．子图、真子图和生成子图  例6 7．同构 例7 三、与无向图类似的性质 定理6-17 设G是具有n个结点的有向图，若从结点vi到vj可达，则其短程是一条长度不大于n–1的真路。 定理6-18 设G是具有n个结点和邻接矩阵A的有向图，则Al（l=1, 2, …）的第i行j列的元素表示从结点vi到vj长为 l 的路的条数。 定理6-19 一个连通（弱连通）有向图具有欧拉回路的充要条件是G的每一个结点的入度和出度相等。具有欧拉路的充要条件是除两个结点外，每个结点的入度等于出度。对于这两个结点，一个结点的出度比入度多1，另一个结点的出度比入度少1。 例8 练习6-7 1. 对下图回答以下问题，在相应题目后面的括号中键入你的答案。 （1）由b到e的短程是 （ ） （2）由b到e的路的条数是：A. 1条；B. 3条；C. 无数条 （ ） （3）写出从g到e的一条非真路 （ ） （4） deg+（e）=（ ） （5） deg–（e）=（ ） （6） deg（e）= （ ） （7） d（a，f）=（ ） d（f，a）=（ ） bage C gfedce 1 3 4 25 6.8 有向树 一、有向树的定义 定义6-25 一个不包含环的有向图G，若它只有一个结点v0的入度为0，而其它所有结点的入度都等于1，则称G是有向树，v0称为树的根。 一个孤立的结点也是一棵有向树。 例1 下 图给出的图是否有向树？ 一级结点 二级结点 三级结点 二、有向树中的一些概念 （1）树叶 （2）分枝结点 （3