图论【信息技术】.pptVIP

图论的常用算法及应用 基本概念和性质1 顶点集 边集 邻接与非邻接 点的度数 完全图与补图 同构 基本概念和性质2 路径 v1,v2,…,vn 开路 回路 真路 环 连接 连通与非连通 基本概念和性质3 割点 割边 割边连接的两点是割点 两个割点之间的边是割边 一个反例 最短路径 路径 v1,v2,…,vn 任意两点的最短路径长度小于n vi1,vi2,vi3,…,vim mn 任一环的长度不大于n 其他一些图 多重图 伪图 有向图 带权图 欧拉图 哈密顿图 平面图 图的矩阵表示1 图的邻接矩阵 图的矩阵表示2 图的邻接向量矩阵 图的矩阵表示3 图的关联矩阵 例题1 给出一张无向简单图的邻接矩阵A以及正整数k，求任意两点之间长度为k的路径个数。 例题1 样例 K=5 求从v1到v3 长度为5的路径个数 例题1 求解1 利用图的邻接矩阵 Ak(i,j)表示从i到j， 长度为k的路径个数 例题1 求解2 递推公式： 例题1 程序 for k:=2 to 5 do for i:=1 to n do for j:=1 to n do for l:=1 to n do A[k,i,j] := A[k,i,j] + A[k-1,i,l] * A[1,l,j]; 例题2 判定图的同构 给出两张图的邻接矩阵，判断他们是否同构 例题2 样例 例题2 解法1 建立一一映射 将图1的顶点与图2的顶点进行映射 一个一维数组m m[i]表示图1中的顶点i映射到图2中的顶点m[i] 例题2 程序1 var A,B: array[1..10,1..10] of integer; m: array[1..10] of integer; n: integer; 例题2 程序2 function judge: boolean; var i,j: integer; begin judge:=false; for i:=1 to n do for j:=1 to n do if A[i,j] B[m[i],m[j]] then exit; judge:=true; end; 例题2 解法2 如何产生这样的一一映射呢？ 如何产生排列？ 例题2 循环法 for m[1]:=1 to 4 do for m[2]:=1 to 4 do if m[1] m[2] then for m[3]:=1 to 4 do if (m[3] m[2]) and (m[3] m[1]) then for m[4]:=1 to 4 do if (m[4] m[3]) and (m[4] m[2]) and (m[4] m[1]) then 调用judge且判断; 例题2 用递归法模拟循环 变量定义： var m:array[1..10] of integer; used: array[1..10] of integer; n: integer; 例题2 递归子程序 procedure work(d:integer); var i:integer; begin for i:=1 to n do if used[i] = 0 then begin used[i] := 1; m[d] := i; work(d+1); used[i] := 0; end; end; 例题2 递归终止条件 if d = n+1 then begin 调用judge判断; exit; end; 例题3 最短路径 给出一张有向带权图 以及两个顶点a,b 求从a到b的最短路径长度 数据规模： 1000个顶点 给出2000条边的三元组形式 例题3 最短路径 算法 迪卡斯特拉算法（标号法） 适用范围，算法复杂度 Floyd – Warshall 算法 适用范围，算法复杂度 Bellman – Ford 算法 适用范围，算法复杂度 Bellman – Ford 程序解答1 变量定义 const oo = 15000; var s,e,l: array[1..2000] of integer; dist: array[1..1000] of integer; a,b,i,j,k,n,m: integer; Bellman – Ford 程序解答2 for i:=1 to n do