日照一中提高2课件day2图论-graph.pptxVIP

图论算法;最短路算法;Dijkstra算法;SPFA算法;Floyd算法;例题 Sweet Butter;;;例题 交通灯;;;;;例题 大陆争霸;;;;差分约束系统;解决这道题可以构造差分约束系统。为了方便表述，我们定义C[i]为串的前i位之和，显然有S[i] = C[i] – C[i-1]。 根据C的意义，我们可以很容易得出约束条件 0 = C[i] – C[i-1] = 1 ①。 当i=L1时，从S[i-L1+1]至S[i]，长度为L1的子串，其中1的个数为C[i] – C[i-L1]。根据题中条件，应满足 A[1] = C[i] – C[i-L1] = B[1] ②。同样的，当i=L0，从S[i-L0+1]至S[i]，长度为L0的子串，其中0的个数为L0 – (C[i] – C[i-L1])，应满足 A[0] = L0 – (C[i] – C[i-L1]) = A[1]③。 ;;例题 游览路线;;;;;;Floyd的未简化形式 for k ... for i ... for j ... if d[k][i][j]d[k-1][i][k]+d[k-1][k][j] then d[k][i][j]=d[k-1][i][k]+d[k-1][k][j] 为何要写成这个样子？ Floyd的本质是动态规划。 d[k][i][j]表示，中间点序号不超过k时，i到j的最短路长度。 于是，若存在边(i,k)、(j,k)，那么边(i,k)、边(j,k)、路径d[k-1][i][j]共同构成一个简单环。 ;;;最小生成树;var u,v,w:array[1..MAXM]of longint; fa:array[1..MAXN]of longint; n,m,x,y,i,left:longint; function getfa(i:longint):longint; begin if fa[i]=0 then exit(i); fa[i]:=getfa(fa[i]); exit(fa[i]); end; begin readln(n,m); for i:=1 to m do readln(u[i],v[i],w[i]); sort(1,m); left:=n-1; for i:=1 to m do begin x:=getfa(u[i]); y:=getfa(v[i]); if x=y then continue; fa[x]:=y; writeln(u[i], ,v[i], ,w[i]); dec(left); if left=0 then break; end; end.;例题 吃水不忘挖井人;;例题 最优贸易;强连通分量;强连通分量;强连通分量;伪代码 color(u) c[u]=tot; for each v (u,v)?E if c[v]==0 color(v) for i = 1..n l[f[i]]=i; for i = n..1 if c[l[i]]==0 tot=tot+1; color(l[i]); ;;;例题 Going from u to v or from v to u?;;;;;例题 最大半连通子图;;联想到“最优贸易”计算强连通分量，然后缩点DP的思路，在这道题上也是可行的。 对于每个单独的极大强连通分量，如果其中一个点包含在某个答案中，那么必定整个连通分量都包含在此答案中。 于是首先计算出所有的极大强连通分量，进行缩点，得到新的有向无环图。;