离散数学：图.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中的弧或边总看作联结两个结点，则图G可简记为G=V，E，其中V是非空结点集，E是联结结点的边集或弧集。 定义7.1.2 在图G=V，E中，如果每条边都是弧，该图称为有向图；若每条边都是无向边，该图G称为无向图；如果有些边是有向边，另一些边是无向边，图G称为混合图。 定义7.1.3 在图G=V，E中，如果任何两结点间不多于一条边(对于有向图中，任何两结点间不多于一条同向弧)，并且任何结点无环，则图G称为简单图；若两结点间多于一条边(对于有向图中，两结点间多于一条同向弧)图G称为多重图，并把联结两结点之间的多条边或弧，称为平行边或弧，平行边或弧的条数称为重数。 定义7.1.4 给每条边或弧都赋予权的图G=V，E，称为加权图，记为G=V，E，W，其中W表示各边之权的集合。 加权图在实际中有许多应用，如在输油管系统图中权表示单位时间流经管中的石油数量；在城市街道中，权表示表示通行车辆密度；在航空交通图中，权表示两城市的距离等等。 定义7.1.5 在无向图G=V，E中，如果V中的每个结点都与其余的所有结点邻接，即 (?vi)(?vj)(vi，vj∈V→〔vi，vj〕∈E) 则该图称为无向完全图，记作K|V|。若|V|=n，该图记作Kn。 在一个图中，如果一个结点不与任何其他结点邻接，则该结点称为孤立结点。仅有孤立结点的图称为零图。显然，在零图中边集为空集。若一个图中只含一个孤立结点，该图称为平凡图。 定义7.1.6 在有向图G=V，E中，对任意结点v∈V，以v为始结点的弧的条数，称为结点v的出度，记为d+(v)；以v为终结点的弧的条条数，称为v的入度，记作d-(v)；结点v的出度与入度之和，称为结点的度数，记为d(v)，显然d(v)=d+(v)+d-(v)。 对于无向图G=V，E，结点v∈V的度数等于联结它的边数，也记为d(v)。若v点有环，规定该点度因环而增加2。 显然，对于孤立结点的度数为零。 此外，对于无向图G=V，E，记 Δ(G)或Δ=max{d(v)|v∈V} δ(G)或δ=min{d(v)|v∈V} 它们分别称为图G的最大度和最小度。 关于无向图中的结点的度，欧拉给出一个定理，这是图论中的第一个定理。 定理7.1.1 给定无向图G=V，E，则 定理7.1.2 在任何无向图中，奇度结点的数目为偶数。 定义7.1.7 在无向图G=V，E中，如果每个结点的度是k，即(?v)(v∈V→d(v)=k)，则图G称为k度正则图。 显然，对于k度正则图G，Δ(G)=δ(G)=k。 定义7.1.8 给定无向图G1=V1，E1和G2=V2，E2，于是 (1) 如果V2?V1和E2?E1，则称G2为G1的子图，记为G2?G1。 (2) 如果V2?V1，E2?E1且E2≠E1，则称G2为G1的真子图，记为G2?G1。 (3) 如果V2=V1，E2?E1，则称G2为G1的生成子图，记为G2 G1。 定义7.1.9 设图G2=V2，E2是图G1=V1，E1的子图。若对任意结点u和v，如果〔u，v〕∈E1，有〔u，v〕∈E2，则G2由V2唯一地确定，并称G2是结点集合V2的诱导子图，记作V2或G〔V2〕；如果G2无孤立结点，且由E2所唯一确定，则称G2是边集E2的诱导子图，记为E2或G〔E2〕。 定义7.1.10 设图