【BZOJ】1825. Free tour II（点分治）

#include <cstdio>
#include <cstring>
#include <cmath>
#include <string>
#include <iostream>
#include <algorithm>
#include <queue>
#include <set>
#include <map>
using namespace std;
typedef long long ll;
#define rep(i, n) for(int i=0; i<(n); ++i)
#define for1(i,a,n) for(int i=(a);i<=(n);++i)
#define for2(i,a,n) for(int i=(a);i<(n);++i)
#define for3(i,a,n) for(int i=(a);i>=(n);--i)
#define for4(i,a,n) for(int i=(a);i>(n);--i)
#define CC(i,a) memset(i,a,sizeof(i))
#define read(a) a=getint()
#define print(a) printf("%d", a)
#define dbg(x) cout << (#x) << " = " << (x) << endl
#define error(x) (!(x)?puts("error"):0)
#define rdm(x, i) for(int i=ihead[x]; i; i=e[i].next)
inline const int getint() { int r=0, k=1; char c=getchar(); for(; c<‘0‘||c>‘9‘; c=getchar()) if(c==‘-‘) k=-1; for(; c>=‘0‘&&c<=‘9‘; c=getchar()) r=r*10+c-‘0‘; return k*r; }

const int N=200005, oo=~0u>>1;
int ihead[N], cnt, n;
struct dat { int next, to, w; }e[N<<1];
inline void add(int u, int v, int w) {
	e[++cnt].next=ihead[u]; ihead[u]=cnt; e[cnt].to=v; e[cnt].w=w;
	e[++cnt].next=ihead[v]; ihead[v]=cnt; e[cnt].to=u; e[cnt].w=w;
}
int root, sz[N], vis[N], ans, h[N], blc[N], g[N], bsz[N], K, mn;
void getroot(int x, int fa, int sum) {
	sz[x]=1; int mx=0, y;
	rdm(x, i) if(!vis[y=e[i].to] && e[i].to!=fa) {
		getroot(y, x, sum);
		sz[x]+=sz[y];
		mx=max(mx, sz[y]);
	}
	mx=max(mx, sum-mx);
	if(mx<mn) mn=mx, root=x;
}
void cal(int x, int len, int num, int fa) {
	h[num]=max(h[num], len); int y;
	rdm(x, i) if(!vis[y=e[i].to] && e[i].to!=fa) {
		cal(y, len+e[i].w, num+blc[y], x);
	}
}
void fix(int len) {
	int mx=-oo;
	for1(i, 0, len) {
		mx=max(mx, g[i]);
		g[i]=mx;
	}
}
void getbsz(int x, int fa) {
	bsz[x]=blc[x];
	rdm(x, i) if(!vis[e[i].to] && e[i].to!=fa) getbsz(e[i].to, x), bsz[x]+=bsz[e[i].to];
}
struct QQ {
	int dep, id;
	bool operator<(const QQ &a) const { return dep<a.dep; }
}q[N];
void dfs(int x, int sum) {
	vis[x]=1;
	int y, maxdep=-1, kk=K-blc[x];
	int tot=0, pos;
	rdm(x, i) if(!vis[y=e[i].to]) {
		getbsz(y, x);
		q[++tot].dep=bsz[y];
		q[tot].id=i;
	}
	sort(q+1, q+1+tot);
	for1(i, 1, tot) {
		int now=q[i].id, y=e[now].to, s=min(q[i].dep, kk);
		for1(j, 0, s) h[j]=-oo;
		cal(y, e[now].w, blc[y], x);
		if(i==1) for1(j, 0, s) g[j]=h[j];
		else {
			for1(j, 0, s) {
				pos=kk-j; if(pos>maxdep) pos=maxdep;
				if(g[pos]!=-oo && h[j]!=-oo) ans=max(g[pos]+h[j], ans);
			}
			for1(j, 0, s) g[j]=max(g[j], h[j]);
		}
		maxdep=s;
		fix(maxdep);
	}
	ans=max(ans, g[min(kk, maxdep)]);
	rdm(x, i) if(!vis[y=e[i].to]) {
		int s=sz[y]>sz[x]?sum-sz[x]:sz[y];
		root=0; mn=oo; getroot(y, x, s);
		dfs(root, s);
	}
}
int main() {
	read(n); read(K); int m=getint();
	for1(i, 1, m) blc[getint()]=1;
	rep(i, n-1) { int u=getint(), v=getint(), w=getint(); add(u, v, w); }
	mn=oo;
	getroot((n+1)>>1, -1, n);
	dfs(root, n);
	print(ans);
	return 0;
}