6图论-图基本概念10-20.pptVIP

复 习 图的定义 1）一个无向图是一个有序的二元组 V，E ，记作G，其中 (1) V ≠ ? 称为顶点集，其元素称为顶点或结点． (2) E称为边集，它是无序积V＆V的多重子集，其元素称为无向边， 简称为边． 2）一个有向图是一个有序的二元组V，E，记作D，其中 (1) V ≠ ? 称为顶点集，其元素称为顶点或结点． (2)E为边集，它是笛卡儿积 V ⅹ V的有穷多重子集，其元素称为有向边，简称边(弧)． 有向图的基图：将有向图的边的方向去掉，所得无向图为有向图的基图 标定图：将图中的所有结点及边指定为数字或符号，称为标定图 3）常用ek表示无向边(vi，vj)( 或有向边vi，vj ) 设G＝V，E 为无向图，ek = (vi，vj)∈E， 则称vj，vj为ek的端点， ek与vi、vj是彼此相关联的． 起终点相同的边称为环 不与任何边关联的结点称为孤立点（包括有向向图) 4）邻接： 边的相邻：ek，el∈E．若ek与el至少有一个公共端点， 则称ek与el是相邻的 顶点的相邻： 若?et∈E，使得et = vi，vj， 则称vi为et的始点，vj为et的终点， 并称vi邻接到vj，vj邻接于vi 两个结点为一条边的端点，则称两个结点互为邻接点， 也称边关联于这两个结点，或称两个结点邻接于此边。 5）平行边： 在无向图中，关联一对顶点的无向边如果多于1条，则称这些边为平行边，平行边的条数称为重数． 在有向图中，关联一对顶点的有向边如果多于1条，并且这些边的始点与终点相同(也就是它们的方向相同)，则称这些边为平行边． 6）多重图和简单图：含平行边的图称为多重图 既不含平行边也不含环的图称为简单图．（主要讨论简单图） 7）结点的度 设G＝V，E为无向图，? v ∈V，称v作为边的端点次数之和为v的度数，简记为度记作d G(v)， 关于有向图D＝V，E 有： ?v ∈V，称v 作为边的始点的次数之和为v的出度，记作d- (v) 称v作为边的终点的次数之和为v的入度，记作d+ (v) 称d+(v) + d-( v)为 v的度数，记作dD (v) 称度数为1的顶点为悬挂顶点，与它关联的边称为悬挂边 根据结点的度数可将结点分为： 度为偶数(奇数)的顶点称为偶度(奇度)顶点. 有环的结点提供的度为2（有向图的环提供入度1和出度1） 8）握手定理（欧拉） 设G＝V,E为任意无向图,V＝{v1，v2，…，vn},｜E｜ = m， 则 ∑d(vi) ＝ 2 m (所有结点的度数值和为边数的2倍) 9) 结点的度数序列 设G＝V，E为一个n阶无向图，V＝{v1，v2，…，vn} 称d(v1)，d(v2)， …，d(vn) 为G的度数列 条件：奇度数的结点个数应该是偶数个 序列的可图化： d=(d1,d2,…dn) 对一个整数序列d,若存在以n个顶点的n阶无向图G，有d(vi)=di 称该序列是可图化的 定理 设非负整数列d＝(d1，d2，…，dn)，则d是可图化的当且仅当 ∑di = 0 (mod 2) (序列之和必须是偶数) 由于简单图中没有平行边及环 结论：n个结点的简单图中结点的最大度数（△（G)）应小于等于n-1 每个结点至多与其他n-1个结点相邻 d4={3,3,3,1} 二、图的同构 定义 设G1＝Vl，E1 ，G2=V2，E2为两个无向图(两个有向图)， 若存在双射函数f：V1 → V2 顶点的一一对应 对于? vi，vj∈V1，(vi，vj) ∈E1 (vi，vj∈ E1) 当且仅当(f(vi)，f(vj))∈E2 (f(vi)，f(vj) ∈E2)， 边的对应 并且(vi，vj) (vi,vj)与(f(vi),f(vj))(f(vi),f(vj))的重数相同， 则称G1与G2是同构的，记作Gl ? G2 定义说明了:两个图的各结点之间，如果存在着一一对应关系f