数网的核(Core)题解.ppt

更进一步的优化 3.max{e[a]+e[a+1]+...+e[i-1]+v[i]} (ib)}即路径ab右边的所有点离路径ab的距离，因为它们离b肯定比离路径中的其它点最近 在这里为max{e[5]+v[6]}=max{7+0}=7 2 3 4 6 1 5 7 9 5 8 7 10 4 4 3 8 v[1]=0 v[2]=8 v[3]=10 v[4]=8 v[5]=0 v[6]=0 更进一步的优化 1.2.3.的最大值，即为路径的Ecc，因为它等于全部的点到路径距离的最大值，这里为 max{10,17,7}=17 2 3 4 6 1 5 7 9 5 8 7 10 4 4 3 8 v[1]=0 v[2]=8 v[3]=10 v[4]=8 v[5]=0 v[6]=0 更进一步的优化 下面就是怎么计算这3个值的问题 2 3 4 6 1 5 7 9 5 8 7 10 4 4 3 8 v[1]=0 v[2]=8 v[3]=10 v[4]=8 v[5]=0 v[6]=0 更进一步的优化 对于v[i]可以通过总共O(n)的时间对每棵树进行dfs得到,这样1. max{v[i],i∈[a,b]}就可以通过O(n)的枚举得到 2 3 4 6 1 5 7 9 5 8 7 10 4 4 3 8 v[1]=0 v[2]=8 v[3]=10 v[4]=8 v[5]=0 v[6]=0 更进一步的优化 dist?0; for i?1 to length do delete_edge(e[path[i-1]],e[path[i]]); a?0; dfs(0,path[i]); v[i]?dist[a]; 更进一步的优化 对于2. max{v[i]+e[i]+e[i+1]+...+e[a-1] (ia)} 设left[i]=max{v[i]+e[i]+e[i+1]+...+e[a-1] (ia)}，则left数组可以通过简单的动态规划得到，具体地说是 left[i]?max{left[i-1]+e[i-1],v[i]} 2 3 4 6 1 5 7 9 5 8 7 10 4 4 3 8 v[1]=0 v[2]=8 v[3]=10 v[4]=8 v[5]=0 v[6]=0 更进一步的优化 3.的情况与2.类似，以right[i]表示max{e[a]+e[a+1]+...+e[i-1]+v[i]} (ib)} right[i]=max{right[i+1]+e[i],v[i]} 2 3 4 6 1 5 7 9 5 8 7 10 4 4 3 8 v[1]=0 v[2]=8 v[3]=10 v[4]=8 v[5]=0 v[6]=0 更进一步的优化 这样，对于路径ab Proc Calc_Ecc(a,b) max?0; for i?a to b do if (v[i]max) max?v[i]; if (left[a]max) max?left[a]; if (right[b]max) max?right[b]; return max; 更进一步的优化 复杂度分析，找直径复杂度O(n) 初始化v,left,right数组复杂度O(n) 枚举O(n)级别的路径 每条路径需要枚举O(n)级别的v[i] 作两次O(1)级别的查表 总复杂度O(n)+O(n)+O(n)*O(n+1)=O(n2) 更进一步的优化 Proc dfs(fa,x) if (dist[x]dist[a]) dist[a]?dist[x]; for 与x相邻的节点i if (i≠fa) dist[i]:=dist[x]+d(x,i); dfs(x,i); 更进一步的优化 主程序中： dist?0;a?0; dfs(0,1); b?a;dist?0;a?0; dfs(0,a) ab即为一条直径 更进一步的优化 从a开始:dfs(/,a) a d e g i c b f 1 5 2 5 8 7 8 9 h dist=0 更进一步的优化 dfs(a,c) a d e g i c b f 1 5 2 5 8 7 8 9 h dist=1 dist=0 更进一步的优化 dfs(c,d) a d e g i c b f 1 5 2 5 8 7 8 9 h dist=1 dist=0 dist=3 更进一步的优化 dfs(d,b) a d e g i c b f 1 5 2 5 8 7 8 9 h dist=1 dist=0 dist=3 di