【題目鏈接】:http://noi.qz5z.com/viewtask.asp?id=b704 &&http://www.lydsy.com/JudgeOnline/PRoblem.php?id=1999
【題意】 給你一棵樹; 讓你找出所有的直徑; 并在這些直徑上面選取連續的一段; 使得它的偏心距最小;
【題解】 這題有個思維量比較大的點就是; 多條直徑,只要選取任意一條就好; 網上找到了很多分析; 感覺這個說得比較清楚吧;
/*證明：首先，如圖，如果ABCD和FBCE都是直徑的話，則AB=FB，CD=CE（如果不然，可設AB>FB，則FBCE<ABCE，矛盾！）。這樣，ABCE，FBCD也都是直徑。我們給BC起個名字叫“公共段”。由連通性和路徑的不唯一性，公共段必然存在。考慮ecc的定義，路徑的ecc是指所有的點到路徑的距離的最大值。核指的是直徑上長度滿足約束的ECC最小的子路經。假如根據直徑ABCE算得的core是GHBI，路徑GHBI的ecc就是max{BF,AG,DI, EI},這個最大值取到了最小。由于DC=EC，也就是說，如果路徑和公共段有交集，公共段的一端上，不包含CORE的直徑是可以任選的。換言之，如果max{BF,AG,DI, EI}取到了最小值，必有 max{BF,AG,ID}=max{BF,AG,DI, EI}，此時用AB替換BF，則BF=AB>AG，ecc=max{BF,ID}。也就是說，如果路徑和公共段有交集，實際計算max時，只需要計算路徑在公共段上的部分的ecc，然后和公共段兩端的路徑長取一遍MAX就行了。下面證明，使得ecc取到最小的core必然和公共段有交集。設沒有交集，則必然有一條直徑和這個core沒有交集，此core的ecc就至少嚴格大于公共段長度+除去公共段的半條路徑長度，然而，公共段上的點到其他點的最長距離，最大不會大于這個長度，這與ecc最小矛盾！通過上面的論述，得出core只與公共段有關，也就是說引理成立。所以在計算時任選一條直徑即可，}*/知道上面這個結論之后,瞬間壓力就小了很多了; 再貪心一下; 可以想見,肯定是這段路徑的長度越長越好; (如果不是最長的,那么就會有一段多出來,所以感覺上是盡可能地長) 所以每次枚舉這段路徑的起點,終點的話可以根據s來確定,越長越好; 當然在枚舉之前,先找出任意一條直徑;然后把直徑上的點標記一下; 然后從直徑上的點開始進行dfs;在不經過直徑的情況下,看看這個點最遠能走多遠;則這個長度就是這個點的偏心距了; (整條直徑的偏心距就是這個直徑上的所有的點的偏心距的最大值->直徑的偏心距的等價含義); 這個可以預處理出來;->設為mmax[n] 然后回到枚舉那段 枚舉了起點s,和終點t; 然后直徑的左端點為l,右端點為r; 則這段路徑s..t的偏心距為max(dis[l]-dis[s],dis[r]-dis[t],mmax[s..t]中的最大值); (dis[x]是這段路徑上的點x到直徑的左端點l的距離); 因為在求mmax的時候沒有考慮直徑上的點,所以會漏掉這種情況.就是直徑的左端點和右端點離這個核最遠的情況. 這里s..t可以像窗口一樣往右移動; (保持前一次的右端點t不動,左端點右移,然后根據新的左端點調整右端點); 可以想到用單調隊列來優化; 這里dis[l]-dis[s],dis[r]-dis[t]都是定值了,所以不用管; 直接維護mmax單調遞減就好; (求直徑的話,隨便從一個點開始dfs,找離他最遠的點u1,然后從u1再重復上述過程,找到u2,則u1-u2就是一條直徑); 【完整代碼】
#include <bits/stdc++.h>using namespace std;#define lson l,m,rt<<1#define rson m+1,r,rt<<1|1#define LL long long#define rep1(i,a,b) for (int i = a;i <= b;i++)#define rep2(i,a,b) for (int i = a;i >= b;i--)#define mp make_pair#define pb push_back#define fi first#define se second#define rei(x) scanf("%d",&x)#define rel(x) scanf("%I64d",&x)typedef pair<int,int> pii;typedef pair<LL,LL> pll;const int dx[9] = {0,1,-1,0,0,-1,-1,1,1};const int dy[9] = {0,0,0,-1,1,-1,1,-1,1};const double pi = acos(-1.0);const int MAXN = 5e5+100;struct abc{ int nex,en,w;};int dis[MAXN],n,s,tot,fir[MAXN],path[MAXN],len,lmax[MAXN],rmax[MAXN],mmax[MAXN];int dl[MAXN],l,r;bool bo[MAXN];abc bian[MAXN*2];void add(int x,int y,int z){ bian[++tot].nex = fir[x]; fir[x] = tot; bian[tot].en = y,bian[tot].w = z;}void dfs(int x,int fa,int arr[]){ for (int i = fir[x];i;i=bian[i].nex) { int y = bian[i].en; if (y==fa) continue; arr[y] = arr[x] + bian[i].w; dfs(y,x,arr); }}bool get_path(int x,int aim,int fa){ if (x==aim) { path[++len] = x; return true; } for (int i = fir[x];i;i=bian[i].nex) { int y = bian[i].en; if (y==fa) continue; if (get_path(y,aim,x)) { path[++len] = x; return true; } } return false;}int gainecc(int x,int fa){ int ret = 0; for (int i = fir[x];i;i = bian[i].nex) { int y = bian[i].en; if (bo[y] || y==fa) continue; ret = max(gainecc(y,x)+bian[i].w,ret); } return ret;}int main(){ //freopen("F://rush.txt","r",stdin); rei(n);rei(s); rep1(i,1,n-1) { int x,y,z; rei(x);rei(y);rei(z); add(x,y,z),add(y,x,z); } int q,w; dis[1] = 0; dfs(1,0,dis); q = 1; rep1(i,2,n) if (dis[i]>dis[q]) q = i; dis[q] = 0; dfs(q,0,dis); w = 1; rep1(i,2,n) if (dis[i]>dis[w]) w = i; get_path(w,q,0); rep1(i,1,len) { lmax[i] = dis[path[i]]-dis[q]; rmax[i] = dis[w]-dis[path[i]]; } rep1(i,1,len) bo[path[i]] = true; rep1(i,1,len) mmax[path[i]] = gainecc(path[i],0); l = 1,r = 0; int j = 0,ans = -1; rep1(i,1,len) { while (j+1<=len && dis[path[j+1]]-dis[path[i]]<=s) { j++; while (r>=l && mmax[path[j]]>=mmax[path[dl[r]]]) r--; dl[++r] = j; } while (dl[l] < i) l++; int cal = max(mmax[path[dl[l]]],max(lmax[i],rmax[j])); if (ans == -1 || cal < ans) ans = cal; } printf("%d/n",ans); return 0;}新聞熱點
疑難解答
