离散数学结构 第十四章 图的基本概念.docVIP

第十四章 图的基本概念 14.1 图 一．无向图与有向图 1．无序积与多重集 　　设A，B为任意的两个集合，称{{a,b}|a∈A∧b∈B}为A与B的无序积，记作AB. 　　为方便起见，将无序积中的无序对{a,b}记为(a,b),并且允许a=b.需要指出的是，无论a,b是否相等，均有(a,b)=(b,a),因而AB=BA. 　　元素可以重复出现的集合称为多重集合或者多重集，某元素重复出现的次数称为该元素的重复度。例如，在多重集合{a,a,b,b,b,c,d}中，a,b,c,d的重复度分别为2,3,1,1. 2．无向图与有向图的定义及表示法 　定义14.1 一个无向图是一个有序的二元组V，E,记作G，其中（1）V≠称为顶点集，其元素称为顶点或结点。（2）E称为边集，它是无序积VV的多重子集，其元素称为无向边，简称边。 　定义14.2 一个有向图是一个有序的二元组V，E，记作D，其中 （1）V同无向图。（2）E为边集，它是笛卡儿积V×V的多重子集，其元素称为有向边，简称边。 　　上面给出了无向图和有向图的集合定义，但人们总是用图形来表示它们，即用小圆圈（或实心点）表示顶点，用顶点之间的连线表示无向边，用有方向的连线表示有向边。 例14.1 　　(1) 给定无向图G=V,E，其中，V={v1,v2,v3,v4,v5}，E={(v1,v1)