图论算法资料汇编.ppt

现代图论算法; 为了寻找答案，1736年欧拉把陆地缩为一点，把桥作为连接点的边，将这个问题抽象成图形的一笔画问题。即能否从某一点开始不重复地一笔画出这个图形，最终回到原点。欧拉在他的论文中证明了这是不可能的，因为这个图形中每一个顶点都与奇数条边相连接，不可能将它一笔画出，这就是古典图论中的第一个著名问题。;“巧渡河”问题;“巧渡河”问题的解;(1,1,1,1) (1,1,1,0) (1,1,0,1) (1,0,1,1) (1,0,1,0) (0,0,0,0) (0,0,0,1) (0,0,1,0) (0,1,0,0) (0,1,0,1);网络流问题;网络流问题;全一问题;全一问题;最短网络问题;最短网络问题;Pollak－Gilbert猜想;Pollak－Gilbert猜想;Pollak－Gilbert猜想;Pollak－Gilbert猜想;二，基本图论概念;;[定义] 孤立点 若a∈V，a不与其他顶点相邻，称a为孤立点(isolated vertex)。;[定理1 (握手定理Handshaking)] 设无向图G=V, E有n个顶点，m条边，则G中所有顶点的度之和等于m的两倍。即 证明思路：利用数学归纳法。 [定理2] 无向图中度为奇数的顶点个数恰有偶数个。 证明思路：将图中顶点的度分类，再利用定理1。;[定理3] 设有向图D=V, E有n个顶点，m条边，则G中所有顶点的入度之和等于所有顶点的出度之和，也等于m。 即： 证明思路：利用数学归纳法。;一些特殊的简单图： (1) 无向完全图Kn(Complete Graphs) (2) 有向完全图 (3) 零图：E=?. (4) 平凡图：E=?且|V|=1. (5) 正则图：若图G＝V, E中每个顶点的度均为n，称此图G是n-正则图(n-regular graph)。;完全图(n=1,2,3,4,5);[定理4] 设无向完全图G有n个顶点，则G有n(n-1)/2条边。 证明：每一顶点都与其余的n-1个顶点相邻，即每一顶点的度为n-1，共有n个顶点，则图G的度为n(n-1)，由握手定理，得边数m=n(n-1)/2.;正则图（各顶点的度相同）;[定义] 子图 设G=V, E，G’=V’, E’是两个图，若V’?V，且E’?E，则称G’为G的子图(subgraph)。 注： 当V’=V时，称G’为G的生成子图。 当E’?E，或V’?V时，称G’为G的真子图。;[定义] 补图 设G=V, E是n阶无向简单图，以V为顶点集，以所有能使G成为完全图Kn的添加边组成的集合为边集的图，称为G相对于完全图Kn的补图，简称G的补图，记为 。;图 A;图Ａ是一个无向完全图 图Ｂ，Ｃ，Ｄ，Ｅ，Ｆ均是Ａ的子图 图Ｃ的顶点ａ是孤立顶点 图Ｂ的边(ａ，ｂ)是孤立边 图Ｄ是图Ｃ的子图 图Ｅ是图Ｃ的补图;例：;有向图;例： (1) 画出4个顶点3条边的所有可能非同构的无向简单图。 (2) 画出3个顶点2条边的所有可能非同构的有向简单图。; ⑴ 邻接矩阵 邻接矩阵表示了点与点之间的邻接关系.一个n阶图G的邻接矩阵A = (aij )n×n , 其中 ;无向图G的邻接矩阵A是一个对称矩阵. ;无向图G的权矩阵A是一个对称矩阵. ; ⑶ 关联矩阵（略） 一个有m条边的n阶有向图G的关联矩阵A = (aij )n×m , 其中 ; 一个有m条边的n阶无向图G的关联矩阵A = (aij )n×m , 其中 ;0 A 1 4 1 B 0 4 5 2 C 3 5 3 D 2 5 4 E 0 1 5 F 1 2 3;1 4;typedef struct ArcNode { int adjvex; // 该弧所指向的顶点的位置 struct ArcNode *nextarc; // 指向下一条弧的指针 InfoType *info; // 该弧相关信息的指针 } ArcNode;;typedef struct VNode { VertexType data; // 顶点信息 ArcNode *firstarc; // 指向第一条依附该顶点的弧 } VNode, AdjList[MAX_VERTEX_NUM]