离散数学：图.ppt

第六讲(第七章) 图的概念与表示 1 图的基本概念 2 链(或路)与圈(或回路) 3 图的矩阵表示 7.1 图的基本概念 什么是图?可用一句话概括，即：图是用点和线来刻划离散事物集合中的每对事物间以某种方式相联系的数学模型。因为它显得太抽象，不便于理解，所以有必要给出另外的回答。下面便是把图作为代数结构的一个定义。 定义7.1.1 一个图G定义为一个三元组V，E，φ，记作G=V，E，φ。其中V是个非空有限集合，它的元素称为结点；E也是个有限集合，其元素称为边，而φ是从E到V中的有序对或无序对的映射。 由定义可知，图G中的每条边都与图中的无序或有序结点对相联系的。若边e∈E与无序结点对〔vi，vj〕相联系，则φ(e)=〔vi，vj〕，这时边e称为无向边，有时简称为边；若边e∈E与有序结点对vi，vj相联系，则φ(e)=vi，vj，此时边e称为有向边或弧，vi称为弧e的始结点，vj称为弧e的终结点。 若结点vi与vj由一条边(或弧)e所联结，则称结点vi和vj是边(或弧)e的端结点；同时也称结点vi与vj是邻接结点，记作vi adj vj；否则为非邻接结点，记作vi nadj vj；也说边(或弧)e关联vi与vj或说结点vi与vj关联边(或弧)e。关联同一个结点的两条边或弧称为邻接边或弧。而联结一结点与它自身的一条边，称为环。环的方向是无意义的。 如果把图G中的弧或边总看作