离散数学图论整理.docVIP

总 结 第八章 图论 8.1 图的基本概念 8.1.1 图 定义8.1―1 一个图G是一个三重组〈V(G),E(G),ΦG〉,其中V(G)是一个非空的结点(或叫顶点)集合,E(G)是边的集合,ΦG是从边集E到结点偶对集合上的函数。一个图可以用一个图形表示。 定义中的结点偶对可以是有序的,也可以是无序的。若边e所对应的偶对〈a,b〉是有序的,则称e是有向边。有向边简称弧,a叫弧e的始点,b叫弧e的终点,统称为e的端点。称e是关联于结点a和b的,结点a和结点b是邻接的。若边e所对应的偶对(a,b)是无序的,则称e是无向边。无向边简称棱,除无始点和终点的术语外,其它术语与有向边相同 每一条边都是有向边的图称为有向图。每一条边都是无向边的图称为无向图。 有向图和无向图也可互相转化。例如,把无向图中每一条边都看作两条方向不同的有向边,这时无向图就成为有向图。又如,把有向图中每条有向边都看作无向边,就得到无向图。这个无向图习惯上叫做该有向图的底图。 在图中,不与任何结点邻接的结点称为弧立结点。全由孤立结点构成的图称为零图。关联于同一结点的一条边称为自回路。 在有向图中,两结点间(包括结点自身间)若同始点和同终点的边多于一条,则这几条边称为平行边。在无向图中,两结点间(包括结点自身间)若多于一条边,则称这几条边为平行边。两结点a、b间互相平行的边的条数称为边［a,b］的重数。仅有一条时重数为1,无边时重数为0。 定义8.1―2 含有平行边的图称为多重图。非多重图称为线图。无自回路的线图称为简单图。仅有一个结点的简单图称为平凡图。 定义 8.1―3 赋权图G是一个三重组〈V,E,g〉或四重组〈V,E,f,g〉,其中V是结点集合, E是边的集合,f是定义在V上的函数,g是定义在E上的函数。 8.1.2 结点的次数 定义 8.1―4 在有向图中,对于任何结点v,以v为始点的边的条数称为结点v的引出次数(或出度),记为deg+(v);以v为终点的边的条数称为结点v的引入次数(或入度),记为deg-(v);结点v的引出次数和引入次数之和称为结点v的次数(或度数),记作deg(v)。在无向图中,结点v的次数是与结点v相关联的边的条数,也记为deg(v)。孤立结点的次数为零。 定理8.1―1 设G是一个(n,m)图,它的结点集合为V={v1,v2,…,vn},则 定理8.1―2 在图中,次数为奇数的结点必为偶数个。 定义8.1―5 各结点的次数均相同的图称为正则图,各结点的次数均为k时称为k―正则图。 8.1.3 图的同构 定义8.1.6 设G=〈V,E〉和G′=〈V′,E′〉是两个图,若存在从V到V′的双射函数Φ,使对任意a、b∈V,［a,b∈E当且仅当［Φ(a),Φ(b)］∈E′,并且［a,b］和［Φ(a),Φ(b)］有相同的重数,则称G和G′是同构的。 8.1.4 图的运算 定义8.1―7 设图G1=〈V1,E1〉和图G2=〈V2,E2〉。 (1)G1与G2的并,定义为图G3＝〈V3,E3〉,其中V3=V1∪V2,E3=E1∪E2,记为G3=G1∪G2。 (2)G1与G2的交,定义为图G3＝〈V3,E3〉,其中V3=V1∩V2,E3=E1∩E2,记为G3=G1∩G2。 (3)G1与G2的差,定义为图G3＝〈V3,E3〉,其中E3=E1-E2,V3=(V1-V2)∪{E3中边所关联的顶点},记为G3=G1-G2。 (4)G1与G2的环和,定义为图G3＝〈V3,E3〉,G3=(G1∪G2)-(G1∩G2),记为G3=G1G2。 除以上4种运算外,还有以下两种操作: (1) 删去图G的一条边e; (2) 删去图G的一个结点v。它的实际意义是删去结点v和与v关联的所有边。 8.1.5 子图与补图 定义8.1―8 设G=〈V,E〉和G′=〈V′,E′〉是两个图。 (1) 如果V′V和E′E,则称G′是G的子图。如果V′V和E′E,则称G′G的真子图。(注意:“G′是图”已隐含着“E′中的边仅关联V′中的结点”的意义。) (2) 如果V′=V和E′E,则称G′为G的生成子图。 (3) 若子图G′中没有孤立结点,G′由E′唯一确定,则称G′为由边集E′导出的子图。 (4)若在子图G′中,对V′中的任意二结点u、v,当［u,v］∈E时有［u,v］∈E′,则G′由V′唯一确定,此时称G′为由结点集V′导出的子图。 定义8.1―9在n个结点的有向图G=〈V,E〉中,如果E=V×V,则称G为有向完全图;在n个结点的无向图G=〈V,E〉中,如果任何两个不同结点间都恰有一条边,则称G为无向完全图,记为Kn。 定义8.1―10 设线图G=〈V,E〉有n个顶点,线图H=〈V,E′〉也有同样的顶点,而E′是由n个顶点的完全图的边删去E所得,则图H称为