数模-图论及其算法.pptVIP

一、背景 二、图的定义 三、各种图的定义 如果图的边e所对应的顶点偶对a,b是有序的，则称是e有向边，否则为无向边。对有向边e=a,b，顶点a称为边e的始点，b是终点，他们统称为边e的端点。顶点a、b称为邻接的，e称为是关联结点a、b的。不与任何顶点邻接的顶点称为孤立点。全由孤立点构成的图称为零图。如果一条边的始点和终点相同，则称此边为环（自回路）。如果两个结点之间有多余一条边，则将他们称为平行边。两结点之间边的条数称为边的重数，没有边时，重数为0。 1. 如果图中每一条边都是无向边，则称为无向图，如图1。 2. 如果图中每一条边都是有向边，则称为有向图，如图2。 3. 含有平行边的图称为多重图。非多重图称为线图。无环的线图称为简单图。 4. 如果图G中每条边e都指定了一个数相对应，记为W(e)，则称此图为赋权图。 四、图的基本概念 2. 正则图的定义：图中所有结点的度数均相同；对每个结点度数为k的图，称为k-正则图。 3. 图的同构：给定两个图G1=V1,E1和G2=V2,E2，如果存在从V1到V2的一一映射?，使对任意a,b?V1，边(a,b)?E1，当且仅当(?(a) ，?(b)) ?E2 ，并且(a,b)和(?(a) ,?(b))有相同的重数。 说明：如果两个图同构，则应有如下结论：1）定点数同；2）边数同；3）度数相同的结点数相同。 问题：到现在为止，还没有可行的办法判定两个图同构？ 7. 补图：给定线图A=V,E，设|V|=n，定义图A的补图 ，其中E0是V生成的完全图的边删除E所得。 8. 一个无向图，如果同构于它的补，则该图称为自补图。 9. 图的支配集：对于图G的一个顶点子集，如果G中不在该顶点集中的结点至少与该集中某结点相邻，则称该顶点集为图G的支配集。尤其，如果支配集的任何真子集都不是图G的支配集，则称该集为最小支配集。 10. 图的独立集：对于图G的一个顶点子集，如果其中任何两点都不相邻，则称该点集为图的独立集。对于一个独立集，如果任意增加图中的一个点后，此集不再独立，则称该独立集为最大独立集。 五、路径和回路 2. 路径P中所含边的条数称为路径P的长度。 3. 图中两结点 v1 、v2之间最短路径的长度称为从v1到v2的距离，记为d(v1 ，v1)。如果从v1到v2的路径不存在，则d(v1 ，v1) =∞。 定理 3 给定简单图G=(V,E)，如果|V|=n，且存在从v1到v2的路径，则存在一条从v1到v2的长度不超过n-1的基本路径。 定理 4 如果图G=(V,E)，|V|=n中，存在从v1到v2的简单回路，则存在一条长度不超过n-1的基本回路。 六、特殊图 3. 赋权图，给定图G=(V，E)，给图中每条边e都赋一个实数值w(e)形成赋权图G=(V，E，W )。图中路径P的长度W(p)定义为路径中每条边的权之和。图中任意两点u、v之间的距离定义为 其中P是u到v的路径。如果u与v之间不可达，则定义d(u,v)=?。 说明： 最短路问题:给定一个赋权图，通常需要求两点之间的最短距离，这就是所谓最短路问题。尤其是需要讨论给顶点（源）到其它各点之间的最短路。 4. 树 C. 生成树的定义： G=(V，E)是无向连通图，T是G的生成子图，并且T是树，则称T是G的生成树。对于赋权图G=(V,E,W)，如果生成树T满足： 则称为最小生成树。 D. 最小生成树的算法 算法I（避圈法）： （1）在赋权图G=(V,E,W)中取权值最小的边e1，加入树T中； （2）假设已经找到树T的边集E(T),在边集E\E(T) 中取最小权值的边ek，如果加入树T的边集E(T)后不构成圈，则记树T的边集为E(T)+{ek}；如果加入后构成圈，则在边集E-E(T)-{ek}中寻找最小权的边，再加入树T中，直到不构成圈。 （3）重复（2），直到|E(T)|=n-1. 算法II(破圈法)，此法与算法I类似，只是每次在图G中任选一个圈，然后删除圈上最大权重的边，直到无圈为止。 七、Dijkstra算法 八、Euler图 九、Hamilton图 十、巡回售货员问题 十一、 图的矩阵表示 7）图中每点都有环，但无边?单位矩阵。 8）图G=V,E有邻接矩阵A，定义G的逆图G-1=v,E0，其邻接矩阵为AT。 9）无向图同样有邻接矩阵。 2. 图的邻接矩阵运算含义 1）AAT的含义：计AAT=(bij)， bij表示起始于i、j两点且终点相同的结点数。尤其bii=deg+(vi)。 2）ATA的含义：计ATA=(bij)， bij表示终止于i、j两点且起点相同的结点数。尤其bii=deg-(vi)。 3）An的含义